| 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
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Using dependence graphs to assist verification and testing of information-flow properties
Tests and Proofs | 2023-05-05 | Paper |
Computing exact loop bounds for bounded program verification
Dependable Software Engineering. Theories, Tools, and Applications | 2022-11-04 | Paper |
| Understanding counterexamples for relational properties with \textit{DIbugger} | 2021-12-13 | Paper |
Understanding counterexamples for relational properties with \textit{DIbugger}
(available as arXiv preprint) | 2021-12-13 | Paper |
A completion-based method for mixed universal and rigid \(E\)-unification
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
LeanT A P: Lean tableau-based theorem proving
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
Free variable tableaux for propositional modal logics
Lecture Notes in Computer Science | 2019-01-15 | Paper |
The tableau-based theorem prover 3 T A P Version 4.0
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Incremental theory reasoning methods for semantic tableaux
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
| Proving JDK's dual pivot quicksort correct | 2018-12-07 | Paper |
Information flow in object-oriented software
Logic-Based Program Synthesis and Transformation | 2015-11-30 | Paper |
A dynamic logic for deductive verification of multi-threaded programs
Formal Aspects of Computing | 2014-11-11 | Paper |
Dynamic logic with trace semantics
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
Analysing vote counting algorithms via logic. And its application to the CADE election scheme
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
Integrated Formal Methods
Lecture Notes in Computer Science | 2009-05-07 | Paper |
Dynamic Logic with Non-rigid Functions
Automated Reasoning | 2009-03-12 | Paper |
Second-Order Principles in Specification Languages for Object-Oriented Programs
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
KeY: A Formal Method for Object-Oriented Systems
Lecture Notes in Computer Science | 2007-11-28 | Paper |
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
Tests and Proofs | 2007-10-31 | Paper |
Refinement and retrenchment for programming language data types
Formal Aspects of Computing | 2006-10-25 | Paper |
| scientific article; zbMATH DE number 2177623 (Why is no real title available?) | 2005-06-21 | Paper |
| scientific article; zbMATH DE number 2087530 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084328 (Why is no real title available?) | 2004-08-06 | Paper |
Depth-first proof search without backtracking for free-variable clausal tableaux
Journal of Symbolic Computation | 2003-08-25 | Paper |
| scientific article; zbMATH DE number 1956492 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1759367 (Why is no real title available?) | 2002-11-25 | Paper |
Free-variable tableaux for propositional modal logics
Studia Logica | 2002-09-03 | Paper |
| scientific article; zbMATH DE number 1765704 (Why is no real title available?) | 2002-07-10 | Paper |
| scientific article; zbMATH DE number 1706329 (Why is no real title available?) | 2002-02-18 | Paper |
| Equality and other theories | 2001-11-14 | Paper |
| scientific article; zbMATH DE number 1552522 (Why is no real title available?) | 2001-07-29 | Paper |
| The SAT problem of signed CNF formulas | 2001-07-05 | Paper |
| scientific article; zbMATH DE number 1552529 (Why is no real title available?) | 2001-07-03 | Paper |
| scientific article; zbMATH DE number 1543302 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1552511 (Why is no real title available?) | 2001-01-15 | Paper |
Simplification of many-valued logic formulas using anti-links
Journal Of Logic And Computation | 1999-03-02 | Paper |
| scientific article; zbMATH DE number 1189098 (Why is no real title available?) | 1998-10-08 | Paper |
| scientific article; zbMATH DE number 1189097 (Why is no real title available?) | 1998-08-13 | Paper |
Logic programming as a basis for lean automated deduction
The Journal of Logic Programming | 1997-11-10 | Paper |
Fast subsumption checks using anti-links
Journal of Automated Reasoning | 1997-09-07 | Paper |
Semantic tableaux with equality
Journal of Logic and Computation | 1997-04-21 | Paper |
lean\(T^ AP\): Lean tableau-based deduction
Journal of Automated Reasoning | 1996-05-28 | Paper |
| scientific article; zbMATH DE number 517067 (Why is no real title available?) | 1994-08-28 | Paper |
