| Publication | Date of Publication | Type |
|---|
| CoProver: a recommender system for proof construction | 2024-02-28 | Paper |
| An augmented MetiTarski dataset for real quantifier elimination using machine learning | 2024-02-28 | Paper |
| Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs | 2022-03-25 | Paper |
| The Verified Software Initiative: A Manifesto | 2022-02-14 | Paper |
| The correctness of a code generator for a functional language | 2020-08-05 | Paper |
| Conflict-driven satisfiability for theory combination: transition system and completeness | 2020-03-03 | Paper |
| TeLEx: learning signal temporal logic from positive examples using tightness metric | 2019-11-25 | Paper |
| Automated deduction for verification | 2019-08-09 | Paper |
| The verified software initiative | 2019-08-09 | Paper |
| On Shostak's decision procedure for combinations of theories | 2019-01-15 | Paper |
| Duality-based nested controller synthesis from STL specifications for stochastic linear systems | 2018-12-06 | Paper |
| Combining Model Checking and Deduction | 2018-07-20 | Paper |
| Satisfiability modulo theories and assignments | 2017-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740949 | 2016-07-20 | Paper |
| The Mechanical Verification of a DPLL-Based Satisfiability Solver | 2015-03-18 | Paper |
| The Semantics of Datalog for the Evidential Tool Bus | 2014-03-25 | Paper |
| Justifying equality | 2013-09-25 | Paper |
| Automated Reasoning, Fast and Slow | 2013-06-14 | Paper |
| A mechanical verification of the stressing algorithm for negative cost cycle detection in networks | 2011-05-04 | Paper |
| Rewriting, inference, and proof | 2010-10-12 | Paper |
| Unraveling a card trick | 2010-09-07 | Paper |
| Beyond satisfiability: extensions and applications | 2010-06-02 | Paper |
| Fixpoints and search in PVS | 2010-05-11 | Paper |
| Formal Methods at the Crossroads. From Panacea to Foundational Support | 2010-03-30 | Paper |
| A Brief Overview of PVS | 2008-12-04 | Paper |
| A Tutorial on Satisfiability Modulo Theories | 2007-11-29 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818812 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808819 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809071 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808733 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808804 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790648 | 2003-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536588 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553256 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769581 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753714 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722014 | 2001-07-11 | Paper |
| A finite element method for electrostrictive ceramic devices | 1999-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395614 | 1998-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364538 | 1997-11-17 | Paper |
| Metamathematics, Machines and Gödel's Proof | 1994-06-23 | Paper |
| Linearizing intuitionistic implication | 1993-05-16 | Paper |
| Decision problems for propositional linear logic | 1992-09-27 | Paper |
