| Publication | Date of Publication | Type |
|---|
| A metatheory of a mechanized object theory | 2022-09-27 | Paper |
| A new method for testing decision procedures in modal logics | 2019-10-01 | Paper |
| Ideal and real belief about belief | 2019-04-29 | Paper |
| ABSFOL: A proof checker with abstraction | 2019-01-15 | Paper |
| Building decision procedures for modal logics from propositional decision procedures — The case study of modal K | 2019-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5324177 | 2009-08-03 | Paper |
| Semantic Matching: Algorithms and Implementation | 2009-03-06 | Paper |
| Encoding Classifications into Lightweight Ontologies | 2007-11-29 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818818 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817549 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739282 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473434 | 2004-08-04 | Paper |
| SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation | 2004-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413386 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708112 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804909 | 2003-05-01 | Paper |
| ML systems: A proof theory for contexts | 2003-03-12 | Paper |
| Ideal and real belief about belief | 2003-02-06 | Paper |
| Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). | 2003-01-14 | Paper |
| SAT-based decision procedures for classical modal logics | 2002-08-20 | Paper |
| A Foundation for Metareasoning Part II: The Model Theory | 2002-08-12 | Paper |
| A Foundation for Metareasoning Part I: The Proof Theory | 2002-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536746 | 2002-07-22 | Paper |
| Reasoning theories. Toward an architecture for open mechanized reasoning systems | 2002-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769583 | 2002-02-05 | Paper |
| The control layer in open mechanized reasoning systems: Annotations and tactics | 2002-01-02 | Paper |
| SAT-based decision procedures for classical modal logics | 2001-11-21 | Paper |
| Local Models Semantics, or contextual reasoning = locality + compatibility | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518909 | 2001-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524508 | 2001-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518914 | 2001-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499163 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499164 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518871 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934140 | 2000-12-18 | Paper |
| NuSMV: A new symbolic model checker | 2000-01-01 | Paper |
| Theorem proving in technology transfer: The user's point of view | 2000-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217952 | 1999-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222995 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385442 | 1998-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4209291 | 1998-09-27 | Paper |
| Calculating criticalities | 1998-07-23 | Paper |
| Program tactics and logic tactics | 1998-07-19 | Paper |
| Abstract proof checking: An example motivated by an incompleteness theorem | 1998-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4837946 | 1995-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4303116 | 1995-03-23 | Paper |
| Multilanguage hierarchical logics, or: How we can do without modal logics | 1994-02-24 | Paper |
| The inevitability of inconsistent abstract spaces | 1994-01-13 | Paper |
| A theory of abstraction | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012173 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490995 | 1989-01-01 | Paper |
