# | | Author/Editor | Month | Year | | | Title | |
| | Rock, Georg | Jul | 1995 | | | Transformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes | |
| | Rybalchenko, Andrey | Sep | 2002 | | | A Model Checker based on Abstraction Refinement
Universität des Saarlandes | |
| | Schäf, Martin | Apr | 2006 | | | Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | |
| | Schlobach, Stefan | | 1996 | | | Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes | |
| | Schmolzi, Christian | Mar | 1999 | | | Kooperative koevolutionäre Entwicklung von Fuzzy-Reglern
Universität des Saarlandes | |
| | Smaus, Jan-Georg | Mar | 1996 | | | Finding Resolution K-Transformations
Universität des Saarlandes | |
| | Stuber, Jürgen | | 1991 | | | Inductive Theorem Proving for Horn Clauses
Universität Dortmund | |
| | Suchanek, Fabian M. | | 2005 | | | Ontological Reasoning for Natural Language Understanding
Universität des Saarlandes | |
| | Timm, Jan-Georg | Oct | 1997 | | | Testing the Satisfiability of RPO Constraints
Universität des Saarlandes | |
| | Veit, Jörg | Oct | 1999 | | | Formal Fairness Proofs for Optimistic Contract Signing Protocols
Universität des Saarlandes | |
| | Wies, Thomas | Sep | 2004 | | | Symbolic Shape Analysis
Universität des Saarlandes | |
26 |
| |
| | Backes, Werner | Jan | 2005 | | | Programmanalyse des XRTL Zwischencodes
Universität des Saarlandes | |
| | Barth, Peter | Feb | 1995 | | | Logic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany | |
| | Baumeister, Hubert | Nov | 1999 | | | Relations between Abstract Datatypes modeled as Abstract Datatypes
Universität des Saarlandes | |
| | Eisenbrand, Friedrich | Jul | 2000 | | | Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra
Universität des Saarlandes | |
| | Fehrer, Detlef | | 1995 | | | A unifying logical framework for reason maintenance
Universität des Saarlandes | |
| | Gamkrelidze, Alexander | Dec | 2001 | | | Einige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes | |
| | Graf, Peter | | 1995 | | | Term Indexing
Universität des Saarlandes | |
| | Hopf, Jörn | Jun | 2001 | | | Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem
Universität des Saarlandes | |
| | Hustadt, Ullrich | Mar | 1999 | | | Resolution-Based Decision Procedures for Subclasses of First-Order Logic
Universität des Saarlandes | |
| | Jaeger, Manfred | Nov | 1995 | | | Default Reasoning about Probabilities
Universität des Saarlandes | |
| | Kasper, Thomas | Dec | 1998 | | | A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming
Universität des Saarlandes | |
| | Kazakov, Yevgeny | Mar | 2006 | | | Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes | |
| | Korovin, Konstantin | Nov | 2003 | | | Knuth-Bendix orders in automated deduction and term rewriting
University of Manchester | |
| | Maier, Patrick | Jul | 2003 | | | A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes | |
| | Meyer, Christoph | | 1999 | | | Soft Typing for Clausal Inference Systems
Universität des Saarlandes | |
| | Mukhopadhyay, Supratik | May | 2001 | | | A Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes | |
| | Nonnengart, Andreas | Dec | 1995 | | | A Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes | |
| | Ohlbach, Hans Jürgen | | 1988 | | | A Resolution Calculus for Modal Logics
Universität Kaiserslautern | |