| # |  | Year | Author(s) [non member] | | Title | Type | |
|---|
| 1 |
 | Abdel-Rahman, Essam O. |
| |
| 2 |
| |
| 1 |
| Althaus, Ernst |
| |
| 1 |
| |
| 1 |
| Autexier, Serge (ed.) |
| |
| 1 |
| |
| 1 |
| Aziz, Zaheer (ed.) |
| |
| 1 |
| |
| 8 |
| Baader, Franz (ed.) |
| |
| 5 |
| |
| 1 |
| Bajcsy, R. (ed.) |
| |
| 1 |
| |
| 2 |
| Bankstahl, Jan |
| |
| 1 |
| |
| 1 |
| Basin, David (ed.) |
| |
| 1 |
| |
| 2 |
| Baumgartner, Peter |
| |
| 1 |
| |
| 4 |
| Becker, Bernd (ed.) |
| |
| 1 |
| |
| 1 |
| Beringer, Lennart (ed.) |
| |
| 4 |
| |
| 1 |
| Berns, Karsten (ed.) |
| |
| 1 |
| |
| 1 |
| Billington, Jonathan |
| |
| 1 |
| |
| 3 |
| Bjørner, Nikolaj (ed.) |
| |
| 1 |
| Blanchette, Jasmin Christian |
| |
| 4 |
| Bonacina, Maria Paola (ed.) |
| |
| 1 |
| |
| 2 |
| Brahm, Uwe |
| |
| 1 |
| |
| 1 |
| Broda, Krysia (ed.) |
| |
| 1 |
| |
| 1 |
| Bruni, Roberto (ed.) |
| |
| 1 |
| |
| 2 |
| Burel, Guillaume |
| |
| 1 |
| |
| 1 |
| Charatonik, Witold (ed.) |
| |
| 1 |
| Cha, Sungdeok (Steve) (ed.) |
| |
| 1 |
| Choi, Jin-Young (ed.) |
| |
| 1 |
| Christophe Ringeissen (ed.) |
| |
| 1 |
| Ciobanu, Gabriel (ed.) |
| |
| 1 |
| |
| 2 |
| Cohrs, Christian |
| |
| 1 |
| |
| 3 |
| Cook, Byron (ed.) |
| |
| 1 |
| |
| 1 |
| D'Agostino, Marcello (ed.) |
| |
| 1 |
| |
| 8 |
| Damm, Werner |
| |
| 3 |
| Damm, Werner Martin (ed.) |
| |
| 5 |
| Damm, Werner (ed.) |
| |
| 1 |
| |
| 1 |
| Dawar, Anuj (ed.) |
| |
| 1 |
| |
| 2 |
| de Nivelle, Hans (ed.) |
| |
| 1 |
| |
| 1 |
| Denney, Ewen (ed.) |
| |
| 1 |
| |
| 1 |
| Dhungana, Deepak |
| |
| 2 |
| |
| 3 |
| Dimova, Dilyana |
| |
| 1 |
| |
| 5 |
| Disch, Stefan |
| |
| 1 |
| Dreschler-Fischer, Leonie (ed.) |
| |
| 1 |
| Dressler, Christian |
| |
| 1 |
| |
| 1 |
| Eggers, Andreas |
| |
| 1 |
| |
| 1 |
| Eiswirth, M. |
| |
| 1 |
| |
| 2 |
| Engel, Thorsten |
| |
| 1 |
| |
| 1 |
| Escalada-Imaz, Gonzalo (ed.) |
| |
| 1 |
| Esquivel Pinto, Claudia So fia |
| |
| 1 |
| et. al. (ed.) |
| |
| 3 |
| |
| 1 |
| Fehrer, Detlef |
| |
| 1 |
| |
| 1 |
| Fermüller, Christian G. (ed.) |
| |
| 1 |
| Fermüller, Christian (ed.) |
| |
| 1 |
| Ferreirim, Isabel (ed.) |
| |
| 1 |
| |
| 9 |
| Fietzke, Arnaud |
| |
| 1 |
| |
| 1 |
| Fitting, Melvin (ed.) |
| |
| 1 |
| |
| 1 |
| Fontaine, Pascal (ed.) |
| |
| 8 |
| |
| 1 |
| Frazzoli, Emilio (ed.) |
| |
| 7 |
| |
| 2 |
| Furbach, Ulrich (ed.) |
| |
| 1 |
| |
| 1 |
| Gaillourdet, Jean-Marie |
| |
| 15 |
| |
| 5 |
| Ganzinger, Harald (ed.) |
| |
| 1 |
| |
| 1 |
| Ghilardi, Silvio |
| |
| 5 |
| |
| 1 |
| Gibbons, Jeremy (ed.) |
| |
| 5 |
| |
| 1 |
| Goldblatt, Robert (ed.) |
| |
| 2 |
| |
| 1 |
| Gorny, Peter (ed.) |
| |
| 1 |
| |
| 1 |
| Grädel, Erich (ed.) |
| |
| 1 |
| |
| 1 |
| Gramlich, Bernhard (ed.) |
| |
| 1 |
| |
| 1 |
| Grigoriev. D. |
| |
| 1 |
| |
| 1 |
| Haehnle, Reiner (ed.) |
| |
| 3 |
| |
| 1 |
| Hähnle, Reiner |
| |
| 4 |
| |
| 1 |
| Hermanns, Holger |
| |
| 5 |
| |
| 1 |
| Higashino, Teruo (ed.) |
| |
| 18 |
| |
| 2 |
| Hirth, Simon |
| |
| 1 |
| Hölldobler, Steffen (ed.) |
| |
| 11 |
| Horbach, Matthias |
| |
| 1 |
| |
| 1 |
| Hotz, Günter (ed.) |
| |
| 1 |
| |
| 2 |
| Hungar, Hardi |
| |
| 2 |
| |
| 14 |
| Ihlemann, Carsten |
| |
| 1 |
| Iorgulescu, Afrodita (ed.) |
| |
| 1 |
| Iturrioz, Luisa |
| |
| 2 |
| |
| 14 |
| Jacobs, Swen |
| |
| 1 |
| |
| 1 |
| Jaeger, Manfred |
| |
| 1 |
| |
| 2 |
| Kapur, Deepak |
| |
| 2 |
| |
| 1 |
| Karrenberg, Ralf |
| |
| 3 |
| |
| 1 |
| Kepser, Stephan (ed.) |
| |
| 1 |
| |
| 1 |
| Kerner, I. O. (ed.) |
| |
| 1 |
| Kijania-Placek, Katarzyna (ed.) |
| |
| 1 |
| Kim Moonzoo (ed.) |
| |
| 2 |
| |
| 1 |
| Kirchner, Helene |
| |
| 3 |
| |
| 1 |
| Kleine Büning, Hans |
| |
| 1 |
| |
| 1 |
| Konev, Boris (ed.) |
| |
| 2 |
| |
| 2 |
| Košta, Marek |
| |
| 1 |
| |
| 8 |
| Kruglov, Evgeny |
| |
| 1 |
| |
| 1 |
| Kupferschmid, Stefan |
| |
| 3 |
| |
| 1 |
| Lamotte, Manuel |
| |
| 1 |
| |
| 1 |
| Lee, Insup (ed.) |
| |
| 3 |
| |
| 1 |
| Lenzerini, Maurizio (ed.) |
| |
| 1 |
| |
| 1 |
| Letz, Reinhold |
| |
| 1 |
| |
| 1 |
| Lev-Ami, Tal |
| |
| 1 |
| |
| 1 |
| Leykin, Anton (ed.) |
| |
| 1 |
| |
| 5 |
| Löchner, Bernd |
| |
| 2 |
| |
| 1 |
| Lutz, Carsten (ed.) |
| |
| 1 |
| |
| 1 |
| Lu, Qi |
| |
| 3 |
| |
| 1 |
| Lynch, Christopher |
| |
| 1 |
| |
| 1 |
| Maler, Oded (ed.) |
| |
| 1 |
| |
| 1 |
| Marcus, Solomon (ed.) |
| |
| 2 |
| |
| 2 |
| McAllester, David (ed.) |
| |
| 1 |
| |
| 1 |
| McRobbie, Michael A. (ed.) |
| |
| 2 |
| |
| 1 |
| Mendling, Jan (ed.) |
| |
| 1 |
| |
| 1 |
| Mery, Dominique (ed.) |
| |
| 3 |
| |
| 1 |
| Merz, Stephan (ed.) |
| |
| 3 |
| |
| 1 |
| Miller, Dale (ed.) |
| |
| 1 |
| |
| 1 |
| Münch, Susanne |
| |
| 1 |
| |
| 1 |
| Nadif, Mohamed (ed.) |
| |
| 1 |
| |
| 1 |
| Napoli, Amedeo (ed.) |
| |
| 1 |
| |
| 1 |
| Neumann, Stephan Rouven |
| |
| 1 |
| |
| 2 |
| Nieuwenhuis, Robert |
| |
| 3 |
| Nieuwenhuis, Robert (ed.) |
| |
| 4 |
| Nipkow, Tobias (ed.) |
| |
| 3 |
| |
| 1 |
| Nüttgens, Markus (ed.) |
| |
| 1 |
| |
| 2 |
| Ohlbach, Hans Jürgen |
| |
| 1 |
| Ohlbach, Hans Jürgen (ed.) |
| |
| 1 |
| Okamura, Yoshio (ed.) |
| |
| 1 |
| |
| 8 |
| Olderog, Ernst-Rüdiger (ed.) |
| |
| 3 |
| |
| 2 |
| Pang, Jun |
| |
| 1 |
| |
| 1 |
| Patel-Schneider, Peter F. (ed.) |
| |
| 1 |
| |
| 1 |
| Peltier, Nicolas |
| |
| 5 |
| |
| 1 |
| Pfenning, Frank (ed.) |
| |
| 4 |
| |
| 1 |
| Piskac, Ruzica |
| |
| 1 |
| |
| 9 |
| Podelski, Andreas (ed.) |
| |
| 1 |
| |
| 1 |
| Prade, Henri (ed.) |
| |
| 1 |
| |
| 1 |
| Pribbenow, Simone (ed.) |
| |
| 1 |
| Ramakrishnan, C. R. (ed.) |
| |
| 1 |
| Ranise, Silvio |
| |
| 1 |
| |
| 2 |
| Ratschan, Stefan (ed.) |
| |
| 1 |
| |
| 1 |
| Reischuk, Rüdiger (ed.) |
| |
| 1 |
| |
| 1 |
| Rémy, J.-L. (ed.) |
| |
| 1 |
| |
| 1 |
| Reps, Thomas |
| |
| 1 |
| |
| 1 |
| Riazanov, Alexandre |
| |
| 1 |
| Ringeissen, Christophe (ed.) |
| |
| 1 |
| Ringeissen, Christopher |
| |
| 2 |
| |
| 2 |
| Rock, Georg |
| |
| 1 |
| |
| 1 |
| Rosati, Riccardo (ed.) |
| |
| 1 |
| |
| 1 |
| Rudolph, Sebastian (ed.) |
| |
| 1 |
| |
| 2 |
| Rusev, Rostislav |
| |
| 1 |
| Rusinowitch, Michael (ed.) |
| |
| 1 |
| Rusinowitch, M. (ed.) |
| |
| 3 |
| |
| 1 |
| Sagiv, Mooly |
| |
| 1 |
| |
| 1 |
| SanJuan, Eric (ed.) |
| |
| 1 |
| |
| 1 |
| Sattler, Ulrike |
| |
| 4 |
| |
| 1 |
| Scheibler, Karsten |
| |
| 1 |
| |
| 2 |
| Schmidt, Renate A. |
| |
| 6 |
| |
| 1 |
| Schmidt, Renate (ed.) |
| |
| 1 |
| |
| 5 |
| Scholl, Christoph |
| |
| 1 |
| |
| 2 |
| Schulz, Stephan (ed.) |
| |
| 2 |
| Sebastiani, Roberto (ed.) |
| |
| 1 |
| Seiler, W. |
| |
| 1 |
| |
| 1 |
| Sigayret, Alain (ed.) |
| |
| 1 |
| |
| 1 |
| Simon, Carlo |
| |
| 1 |
| |
| 2 |
| Slaney, J. K. (ed.) |
| |
| 75 |
| Sofronie-Stokkermans, Viorica |
| |
| 12 |
| Sofronie-Stokkermans, Viorica (ed.) |
| |
| 1 |
| |
| 1 |
| Stickel, Mark E. (ed.) |
| |
| 1 |
| |
| 1 |
| Stokkermans, Karel |
| |
| 1 |
| |
| 4 |
| Sturm, Thomas |
| |
| 3 |
| |
| 1 |
| Sturm, T. |
| |
| 6 |
| |
| 1 |
| Sutcliffe, Geoff |
| |
| 1 |
| |
| 1 |
| Tang, Ching Hoo |
| |
| 1 |
| |
| 1 |
| Teucke, Andreas |
| |
| 2 |
| |
| 2 |
| Tinelli, Cesare (ed.) |
| |
| 2 |
| |
| 2 |
| Tiwari, Ashish (ed.) |
| |
| 2 |
| |
| 3 |
| Topić, Dalibor |
| |
| 2 |
| |
| 2 |
| Turunen, Esko (ed.) |
| |
| 1 |
| |
| 1 |
| Vaz de Carvalho, Júlia (ed.) |
| |
| 1 |
| |
| 1 |
| Vigneron, Laurent (ed.) |
| |
| 1 |
| Viswanathan, Mahesh (ed.) |
| |
| 1 |
| Vojtas, Peter (ed.) |
| |
| 2 |
| |
| 1 |
| Voronkov, Andrei Voronkov |
| |
| 15 |
| |
| 32 |
| Waldmann, Uwe |
| |
| 1 |
| |
| 1 |
| Weber, Andreas |
| |
| 1 |
| |
| 75 |
 | Weidenbach, Christoph |
| |
| | 2013 | [Dhungana, Deepak]
Tang, Ching Hoo
Weidenbach, Christoph
[Wischnewski, Patrick] |  | Automated Verification of Interactive Rule-Based Configuration Systems
In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 551-561 | Proceedings Article | |
| | 2013 | Hillenbrand, Thomas
[Piskac, Ruzica]
Waldmann, Uwe
Weidenbach, Christoph | | From Search to Computation: Redundancy Criteria and Simplification at Work
In: Programming Logics, Essays in Memory of Harald Ganzinger, ? | Part of a Book | |
| | 2013 | [Kapur, Deepak]
[Nieuwenhuis, Robert]
[Voronkov, Andrei]
Weidenbach, Christoph
[Wilhelm, Reinhard] | | Harald Ganzinger's Legacy: Contributions to Logics and Programming
In: Programming Logics, | Proceedings Article | |
| | 2013 | Voronkov, Andrei Voronkov
Weidenbach, Christoph | | Programming Logics - Essays in Memory of Harald Ganzinger | Book | |
| | 2013 | Hillenbrand, Thomas
Weidenbach, Christoph | | Superposition for Bounded Domains
In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, 68-100 | Part of a Book | |
| | 2012 | Suda, Martin
Weidenbach, Christoph | | A PLTL-prover based on labelled superposition with partial model guidance
In: Automated Reasoning : 6th International Joint Conference, IJCAR 2012, 537-543 | Proceedings Article | |
| | 2012 | Fietzke, Arnaud
Kruglov, Evgeny
Weidenbach, Christoph | | Automatic Generation of Invariants for Circular Derivations in SUP(LA)
In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, 197-211 | Proceedings Article | |
| | 2012 | [Fontaine, Pascal]
[Merz, Stephan]
Weidenbach, Christoph | | Combination of Disjoint Theories: Beyond Decidability
In: Proceedings of the 6th International Joint Conference on Automated Reasoning, | Proceedings Article | |
| | 2012 | Suda, Martin
Weidenbach, Christoph | | Labelled Superposition for PLTL
In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, 391-405 | Proceedings Article | |
| | 2012 | [Blanchette, Jasmin Christian]
[Popescu, Andrei]
Wand, Daniel
Weidenbach, Christoph | | More SPASS with Isabelle : Superposition with Hard Sorts and Configurable Simplification
In: Interactive Theorem Proving : Third International Conference, ITP 2012, 345-360 | Proceedings Article | |
| | 2012 | Weidenbach, Christoph
Wischnewski, Patrick | | Satisfiability Checking and Query Answering for large Ontologies
In: PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning, 163-177 | Electronic Proceedings Article | |
| | 2012 | Fietzke, Arnaud
Weidenbach, Christoph | | Superposition as a Decision Procedure for Timed Automata
In: Mathematics in Computer Science [6], 409-425 | Electronic Journal Article | |
| | 2012 | Kruglov, Evgeny
Weidenbach, Christoph | | Superposition Decides the First-Order Logic Fragment Over Ground Theories
In: Mathematics in Computer Science [6], 427-456 | Journal Article | |
| | 2012 | Kruglov, Evgeny
Weidenbach, Christoph | | Superposition Decides the First-Order Logic Fragment Over Ground Theories
In: Mathematics in Computer Science [6], 427-456 | Journal Article | |
| | 2011 | Fietzke, Arnaud
Weidenbach, Christoph | | Superposition as a Decision Procedure for Timed Automata
In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), | Proceedings Article | |
| | 2011 | [Eggers, Andreas]
Kruglov, Evgeny
[Kupferschmid, Stefan]
[Scheibler, Karsten]
[Teige, Teige]
Weidenbach, Christoph | | SUP(NLA) -- Combining Superposition and Non-Linear Arithmetic
In: 8th International Symposium on Frontiers of Combining Systems, 119-134 | Proceedings Article | |
| | 2011 | Kruglov, Evgeny
Weidenbach, Christoph | | SUP(T) Decides First-Order Logic Fragment Over Ground Theories
In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS-4), | Proceedings Article | |
| | 2011 | Lu, Tianxiang
[Merz, Stephan]
Weidenbach, Christoph | | Towards Verification of the Pastry Routing Protocol using TLA+
In: Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, 244-258 | Proceedings Article | |
| | 2010 | Lu, Tianxiang
[Merz, Stephan]
Weidenbach, Christoph | | Model Checking the Pastry Routing Protocol
In: 10th International Workshop Automatic Verification of Critical Systems (AVOCS 2010), 19-21 | Proceedings Article | |
| | 2010 | Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick | | On the Saturation of YAGO | Report | |
| | 2010 | Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick | | On the Saturation of YAGO
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 441-456 | Proceedings Article | |
| | 2010 | Weidenbach, Christoph
Wischnewski, Patrick | | Subterm Contextual Rewriting
In: AI Communications [23], 97-109 | Journal Article | |
| | 2010 | Fietzke, Arnaud
[Hermanns, Holger]
Weidenbach, Christoph | | Superposition-based Analysis of First-Order Probabilistic Timed Automata
In: Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, 302-316 | Proceedings Article | |
| | 2010 | Horbach, Matthias
Weidenbach, Christoph | | Superposition for Fixed Domains
In: ACM Transactions on Computational Logic [11], 27,1-27,35 | Journal Article | |
| | 2009 | Lamotte-Schubert, Manuel
Weidenbach, Christoph | | Analysis of Authorizations in SAP R/3
In: First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving proceedings, 90-104 | Proceedings Article | |
| | 2009 | Lamotte-Schubert, Manuel
Weidenbach, Christoph | | Analysis of Authorizations in SAP R/3
In: FTP 2009 : First-Order Theorem Proving, 90-104 | Electronic Proceedings Article | |
| | 2009 | Weidenbach, Christoph
Wischnewski, Patrick | | Contextual Rewriting | Report | |
| | 2009 | Horbach, Matthias
Weidenbach, Christoph | | Decidability Results for Saturation-Based Model Building
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 404-420 | Proceedings Article | |
| | 2009 | Horbach, Matthias
Weidenbach, Christoph | | Deciding the Inductive Validity of FOR ALL THERE EXISTS* Queries
In: Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, 332-347 | Proceedings Article | |
| | 2009 | Horbach, Matthias
Weidenbach, Christoph | | Deciding the Inductive Validity of Forall Exists* Queries | Report | |
| | 2009 | Fietzke, Arnaud
Weidenbach, Christoph | | Labelled Splitting
In: Annals of Mathematics and Artificial Intelligence [55], 3-34 | Journal Article | |
| | 2009 | Weidenbach, Christoph
Dimova, Dilyana
Fietzke, Arnaud
Suda, Martin
Wischnewski, Patrick | | SPASS Version 3.5
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 140-145 | Proceedings Article | |
| | 2009 | Horbach, Matthias
Weidenbach, Christoph | | Superposition for Fixed Domains | Report | |
| | 2009 | Althaus, Ernst
Kruglov, Evgeny
Weidenbach, Christoph | | Superposition Modulo Linear Arithmetic SUP(LA)
In: Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, 84-99 | Proceedings Article | |
| | 2008 | Weidenbach, Christoph
Wischnewski, Patrick | | Contextual Rewriting in SPASS
In: PAAR/ESHOL, 115-124 | Proceedings Article | |
| | 2008 | Fietzke, Arnaud
Weidenbach, Christoph | | Labelled Splitting | Report | |
| | 2008 | Fietzke, Arnaud
Weidenbach, Christoph | | Labelled Splitting
In: IJCAR, 459-474 | Proceedings Article | |
| | 2008 | Horbach, Matthias
Weidenbach, Christoph | | Superposition for Fixed Domains
In: CSL, 293-307 | Proceedings Article | |
| | 2007 | Hirth, Simon
Karl, Carsten
Weidenbach, Christoph | | Automatic Analysis of LAN Infrastructures | Report | |
| | 2007 | [Lev-Ami, Tal]
Weidenbach, Christoph
[Reps, Thomas]
[Sagiv, Mooly] | | Labelled Clauses
In: 21st International Conference on Automated Deduction (CADE-21), 311-327 | Proceedings Article | |
| | 2007 | Hillenbrand, Thomas
Weidenbach, Christoph | | Superposition for Finite Domains | Report | |
| | 2007 | Weidenbach, Christoph
[Schmidt, Renate]
Hillenbrand, Thomas
Rusev, Rostislav
Topic, Dalibor | | System Description: Spass Version 3.0
In: Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction, 514-520 | Proceedings Article | |
| | 2006 | Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph | | Sudokus as Logical Puzzles
In: Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 2-12 | Proceedings Article | |
| | 2002 | Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor | | SPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279 | Proceedings Article | |
| | 2001 | Weidenbach, Christoph | | Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013 | Part of a Book | |
| | 2001 | Nonnengart, Andreas
Weidenbach, Christoph | | Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367 | Part of a Book | |
| | 2001 | Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph | | First-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319 | Proceedings Article | |
| | 2000 | Weidenbach, Christoph | | Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät | Thesis - Habilitation thesis | |
| | 1999 | Weidenbach, Christoph | | SPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21 | Journal Article | |
| | 1999 | Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor | | System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318 | Proceedings Article | |
| | 1999 | Weidenbach, Christoph | | Towards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382 | Proceedings Article | |
| | 1998 | Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph | | On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article | |
| | 1998 | Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph | | Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37 | Proceedings Article | |
| | 1998 | [Letz, Reinhold]
Weidenbach, Christoph | | Paradigmen und Perspektiven der automatischen Deduktion
In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19 | Journal Article | |
| | 1998 | Weidenbach, Christoph | | Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197 | Part of a Book | |
| | 1998 | Weidenbach, Christoph | | Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320 | Part of a Book | |
| | 1998 | Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno | | SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113 | Journal Article | |
| | 1998 | [Jacquemard, Florent]
Meyer, Christoph
Weidenbach, Christoph | | Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90 | Proceedings Article | |
| | 1997 | Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph | | Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335 | Proceedings Article | |
| | 1997 | Weidenbach, Christoph | | SPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252 | Journal Article | |
| | 1996 | [Hähnle, Reiner]
[Kerber, Manfred]
Weidenbach, Christoph | | Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion'' | Report | |
| | 1996 | Weidenbach, Christoph | | Computational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes | Thesis - PhD thesis | |
| | 1996 | Weidenbach, Christoph | | Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76 | Proceedings Article | |
| | 1996 | Weidenbach, Christoph
[Gaede, Bernd]
[Rock, Georg] | | SPASS & FLOTTER, Version 0.42
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145 | Proceedings Article | |
| | 1996 | Weidenbach, Christoph | | Unification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357 | Proceedings Article | |
| | 1996 | Weidenbach, Christoph | | Unification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25 | Proceedings Article | |
| | 1996 | Weidenbach, Christoph | | Unification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293 | Journal Article | |
| | 1995 | Ohlbach, Hans Jürgen
Weidenbach, Christoph | | A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275 | Journal Article | |
| | 1995 | Weidenbach, Christoph | | First-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906 | Journal Article | |
| | 1995 | Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph | | Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72 | Proceedings Article | |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | |
| | 1994 | Weidenbach, Christoph | | First-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261 | Proceedings Article | |
| | 1994 | Weidenbach, Christoph | | Sorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316 | Proceedings Article | |
| | 1993 | Weidenbach, Christoph | | A New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54 | Proceedings Article | |
| | 1993 | Weidenbach, Christoph | | Extending the Resolution Method with Sorts
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65 | Proceedings Article | |
| 3 |
| Weidenbach, Christoph (ed.) |
| |
| 1 |
| |
| 1 |
| Wilhelm, Reinhard |
| |
| 7 |
| |
| 5 |
| Wirtz, Boris |
| |
| 11 |
| |
| 1 |
| Wolter, Frank (ed.) |
| |
| 1 |
| |
| 1 |
| Zakharyaschev, Michael (ed.) |
| |
| 3 |
| |
| 1 |
| Zeller, Andreas (ed.) |
| |
| 2 |
| |
| 1 |
| Zhang, Wenhui (ed.) |
| |
| 1 |
| |
| 1 |
| Zhao, Hantao |
| |
| 2 |
| |
| 1 |
| Zimmer, Stephan |
| |
| 841 |
| |
