| Publication | Date of Publication | Type |
|---|
| New results on rewrite-based satisfiability procedures | 2017-07-12 | Paper |
| Universal guards, relativization of quantifiers, and failure models in model checking modulo theories | 2016-02-23 | Paper |
| Light-Weight SMT-based Model Checking | 2015-03-18 | Paper |
| An extension of lazy abstraction with interpolation for programs with arrays | 2014-12-05 | Paper |
| Quantifier-free interpolation in combinations of equality interpolating theories | 2014-04-16 | Paper |
| Symbolic backward reachability with effectively propositional logic. Application to security policy analysis | 2014-03-28 | Paper |
| Distributing the workload in a lazy theorem-prover | 2014-01-17 | Paper |
| Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows | 2013-09-20 | Paper |
| Automated termination in model-checking modulo theories | 2013-07-30 | Paper |
| Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs | 2013-04-19 | Paper |
| From Strong Amalgamability to Modularity of Quantifier-Free Interpolation | 2012-09-05 | Paper |
| On the verification of security-aware E-services | 2012-06-20 | Paper |
| Lazy Abstraction with Interpolants for Arrays | 2012-06-15 | Paper |
| Quantifier-free interpolation of a theory of arrays | 2012-05-16 | Paper |
| Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. | 2012-04-24 | Paper |
| A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints | 2011-10-07 | Paper |
| Automated Termination in Model Checking Modulo Theories | 2011-10-07 | Paper |
| Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis | 2011-03-08 | Paper |
| MCMT: A Model Checker Modulo Theories | 2010-09-14 | Paper |
| Combination of convex theories: modularity, deduction completeness, and explanation | 2009-12-03 | Paper |
| Goal-Directed Invariant Synthesis for Model Checking Modulo Theories | 2009-12-01 | Paper |
| Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures | 2009-03-12 | Paper |
| Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems | 2009-03-06 | Paper |
| Towards SMT Model Checking of Array-Based Systems | 2008-11-27 | Paper |
| Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies | 2008-10-30 | Paper |
| Building Extended Canonizers by Graph-Based Deduction | 2008-09-17 | Paper |
| Noetherianity and Combination Problems | 2008-09-16 | Paper |
| Combining Proof-Producing Decision Procedures | 2008-09-16 | Paper |
| Automatic Combinability of Rewriting-Based Satisfiability Procedures | 2008-05-27 | Paper |
| Decision procedures for extensions of the theory of arrays | 2007-10-23 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Efficient theory combination via Boolean search | 2006-10-25 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Artificial Intelligence and Symbolic Computation | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808727 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475649 | 2004-08-09 | Paper |
| Constraint contextual rewriting. | 2003-08-25 | Paper |
| A rewriting approach to satisfiability procedures. | 2003-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4785507 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539649 | 2002-07-10 | Paper |
| Communication protocols for mathematical services based on KQML and OMRS | 2002-06-13 | Paper |
| The control layer in open mechanized reasoning systems: Annotations and tactics | 2002-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518863 | 2001-10-30 | Paper |
| A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic | 2001-08-13 | Paper |
