| 8 |
  | Electronic Proceedings Article |
| |
| 2 |
| Electronic Journal Article |
| |
| 26 |
| Thesis - Doctoral dissertation |
| |
| 9 |
| Thesis - Habilitation thesis |
| |
| | Baumgartner, Peter
Suchanek, Fabian | 2005 |  | Model-Generation Theorem Proving for First-Order Logic Ontologies | |
| | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | 2006 | | Thread-Modular Verification and Cartesian Abstraction | |
| | Nonnengart, Andreas
Ohlbach, Hans Jürgen
Szalas, Andrzej | 2001 | | Quantifier Elimination for Second-Order Predicate Logic | |
| | Ohlbach, Hans Jürgen | 1995 | | Clause Killer Transformations | |
| | Podelski, Andreas
Rybalchenko, Andrey
Cook, Byron | 2005 | | Counterexample-Guided Abstraction Refinement for Termination | |
| | Schmidt, Renate A.
Tishkovsky, Dmitry | 2003 | | Multi-Agent Logic of Dynamic Belief and Knowledge | |
| | Schmidt, Renate A.
Tishkovsky, Dmitry
Hustadt, Ullrich | 2002 | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic | |
