| BibTeX cite key | Author/Editor | Year | | Title | Type |
|---|
| Ohlbach88 | Ohlbach, Hans Jürgen | 1988 | | A Resolution Calculus for Modal Logics
Universität Kaiserslautern | Thesis - PhD thesis |
| Ohlbach91a | Ohlbach, Hans Jürgen | 1991 | | Semantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746 | Journal Article |
| Ohlbach92a | Ohlbach, Hans Jürgen | 1992 | | Logic Engineering: Konstruktion von Logiken
In: KI [3], 34-38 | Journal Article |
| Ohlbach93a | Ohlbach, Hans Jürgen | 1993 | | Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik
In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 19-26 | Proceedings Article |
| Ohlbach93c | Ohlbach, Hans Jürgen | 1993 | | Translation Methods for Non-Classical Logics: An Overview
In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90 | Journal Article |
| Ohlbach95a | Ohlbach, Hans Jürgen | 1995 | | Clause Killer Transformations | Unpublished/Draft |
| Ohlbach95b | Ohlbach, Hans Jürgen | 1995 | | Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination | Unpublished/Draft |
| Ohlbach96-CADE-13 | Ohlbach, Hans Jürgen | 1996 | | SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165 | Proceedings Article |
| OhlbachHabil1993 | Ohlbach, Hans Jürgen | 1993 | | Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes | Thesis - Habilitation thesis |
| OhlbachHerzig91a | Ohlbach, Hans Jürgen
Herzig, A. | 1991 | | Parameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517 | Proceedings Article |
| OhlbachKoehler96 | Ohlbach, Hans Jürgen
Koehler, Jana | 1996 | | Reasoning about Sets via Atomic Decomposition | Report |
| OhlbachLPAR93 | Ohlbach, Hans Jürgen | 1993 | | Optimized Translation of Multi Modal Logic into Predicate Logic
In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), 253-264 | Proceedings Article |
| OhlbachSchmidt97 | Ohlbach, Hans Jürgen
Schmidt, Renate A. | 1997 | | Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603 | Journal Article |
| OhlbachSchmidtHustadt95b | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | 1995 | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article |
| OhlbachSchmidtHustadt96 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | 1996 | | Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291 | Part of a Book |
| OhlbachSiekmann91a | Ohlbach, Hans Jürgen
Siekmann, Jörg H. | 1991 | | The Markgraf Karl Refutation Procedure
In: Computational Logic, Essays in Honor of Alan Robinson, 41-112 | Proceedings Article |
| OhlbachWeidenbach95 | Ohlbach, Hans Jürgen
Weidenbach, Christoph | 1995 | | A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275 | Journal Article |
| P-SAS00 | Podelski, Andreas | 2000 | | Model Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237 | Proceedings Article |
| P-VMCAI03 | Podelski, Andreas | 2003 | | Software Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13 | Proceedings Article |
| PacholskiPodelski97 | Pacholski, Leszek
Podelski, Andreas | 1997 | | Set Constraints: a Pearl in Research on Constraints
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | Proceedings Article |
| Piskac2005 | Piskac, Ruzica | 2005 | | Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes | Thesis - Masters thesis |
| plaisted.survey | Plaisted, David A. | 1993 | | Equational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364 | Proceedings Article |
| plaisted:94b | Plaisted, David A. | 1994 | | The Search Efficiency of Theorem Proving Strategies
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 57-71 | Proceedings Article |
| PnueliPodelskiRybalchenkoTACAS2005 | Pnueli, Amir
Podelski, Andreas
Rybalchenko, Andrey | 2005 | | Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
In: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 124-139 | Proceedings Article |
| Podelski1998 | Delzanno, Giorgio
Podelski, Andreas | 1999 | | Model Checking in CLP
In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), 223-239 | Proceedings Article |
| Podelski2006d | Dräge, Klaus
Finkbeiner, Bernd
Podelski, Andreas | 2006 | | Directed Model Checking with Distance-Preserving Abstractions
In: Model checking software : 13th International SPIN Workshop, 19-34 | Proceedings Article |
| Podelski2006e | Jensen, Kurt
Podelski, Andreas | 2006 | | Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179 | Journal Article |
| Podelski95a | Podelski (ed.) | 1995 | | Constraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328 | Proceedings |
| Podelski97 | Podelski, Andreas | 1997 | | Set-Based Analysis of Logic Programs and Reactive Logic Programs
In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36 | Proceedings Article |
| PodelskiCharatonikMueller-ESOP99 | Podelski, Andreas
Charatonik, Witold
Müller, Martin | 1999 | | Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), 177-192 | Proceedings Article |
