| Publication | Date of Publication | Type |
|---|
| Deduction by combining semantic tableaux and integer programming | 2024-06-21 | Paper |
| \textsf{lean}\textit{EA}: a lean evolving algebra compiler | 2024-06-21 | Paper |
| Using Relational Verification for Program Slicing | 2024-03-14 | Paper |
| Generalized test tables: a domain-specific specification language for automated production systems | 2023-07-28 | Paper |
| Using dependence graphs to assist verification and testing of information-flow properties | 2023-05-05 | Paper |
| Computing Exact Loop Bounds for Bounded Program Verification | 2022-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016380 | 2021-12-13 | Paper |
| A completion-based method for mixed universal and rigid E-unification | 2020-01-21 | Paper |
| LeanT A P: Lean tableau-based theorem proving | 2020-01-21 | Paper |
| Free variable tableaux for propositional modal logics | 2019-01-15 | Paper |
| The tableau-based theorem prover 3 T A P Version 4.0 | 2019-01-15 | Paper |
| Incremental theory reasoning methods for semantic tableaux | 2019-01-10 | Paper |
| Proving JDK's dual pivot quicksort correct | 2018-12-07 | Paper |
| Information Flow in Object-Oriented Software | 2015-11-30 | Paper |
| A dynamic logic for deductive verification of multi-threaded programs | 2014-11-11 | Paper |
| Dynamic Logic with Trace Semantics | 2013-06-14 | Paper |
| Analysing Vote Counting Algorithms via Logic | 2013-06-14 | Paper |
| Integrated Formal Methods | 2009-05-07 | Paper |
| Dynamic Logic with Non-rigid Functions | 2009-03-12 | Paper |
| Second-Order Principles in Specification Languages for Object-Oriented Programs | 2008-05-27 | Paper |
| KeY: A Formal Method for Object-Oriented Systems | 2007-11-28 | Paper |
| White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing | 2007-10-31 | Paper |
| Refinement and retrenchment for programming language data types | 2006-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3021903 | 2005-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738337 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043800 | 2004-08-06 | Paper |
| Depth-first proof search without backtracking for free-variable clausal tableaux | 2003-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417836 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536314 | 2002-11-25 | Paper |
| Free-variable tableaux for propositional modal logics | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539645 | 2002-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771739 | 2002-02-18 | Paper |
| Equality and other theories | 2001-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524782 | 2001-07-29 | Paper |
| The SAT problem of signed CNF formulas | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524789 | 2001-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520769 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524769 | 2001-01-15 | Paper |
| Simplification of many-valued logic formulas using anti-links | 1999-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838806 | 1998-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838804 | 1998-08-13 | Paper |
| Logic programming as a basis for lean automated deduction | 1997-11-10 | Paper |
| Fast subsumption checks using anti-links | 1997-09-07 | Paper |
| Semantic tableaux with equality | 1997-04-21 | Paper |
| lean\(T^ AP\): Lean tableau-based deduction | 1996-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282596 | 1994-08-28 | Paper |
