| Publication | Date of Publication | Type |
|---|
| Combining stable infiniteness and (strong) politeness | 2023-10-24 | Paper |
| Politeness for the theory of algebraic datatypes | 2022-11-09 | Paper |
| Polite combination of algebraic datatypes | 2022-10-24 | Paper |
| Non-disjoint combined unification and closure by equational paramodulation | 2022-03-24 | Paper |
| Terminating non-disjoint combined unification | 2022-03-23 | Paper |
| Politeness and stable infiniteness: stronger together | 2021-12-01 | Paper |
| Computing knowledge in equational extensions of subterm convergent theories | 2020-12-08 | Paper |
| Theory combination: beyond equality sharing | 2020-06-04 | Paper |
| Building and combining matching algorithms | 2020-06-04 | Paper |
| Politeness and combination methods for theories with bridging functions | 2020-03-03 | Paper |
| Combination techniques for non-disjoint equational theories | 2020-01-21 | Paper |
| Rule-based unification in combined theories and the finite variant property | 2019-12-04 | Paper |
| Prototyping combination of unification algorithms with the ELAN rule-based programming language | 2017-11-17 | Paper |
| Notions of knowledge in combinations of theories sharing constructors | 2017-09-22 | Paper |
| A Rewriting Approach to the Combination of Data Structures with Bridging Theories | 2017-02-27 | Paper |
| Unification and Matching in Hierarchical Combinations of Syntactic Theories | 2017-02-27 | Paper |
| Automatic Decidability: A Schematic Calculus for Theories with Counting Operators | 2017-02-01 | Paper |
| A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited | 2015-12-02 | Paper |
| REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS | 2015-04-30 | Paper |
| A Gentle Non-disjoint Combination of Satisfiability Procedures | 2014-09-26 | Paper |
| On Asymmetric Unification and the Combination Problem in Disjoint Theories | 2014-04-16 | Paper |
| Hierarchical Combination | 2013-06-14 | Paper |
| A Rule-Based Framework for Building Superposition-Based Decision Procedures | 2012-10-16 | Paper |
| Modular Termination and Combinability for Superposition Modulo Counter Arithmetic | 2011-10-07 | Paper |
| Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator | 2011-03-28 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| Data Structures with Arithmetic Constraints: A Non-disjoint Combination | 2010-01-07 | Paper |
| Combination of convex theories: modularity, deduction completeness, and explanation | 2009-12-03 | Paper |
| Combinable Extensions of Abelian Groups | 2009-07-28 | Paper |
| Satisfiability Procedures for Combination of Theories Sharing Integer Offsets | 2009-03-31 | Paper |
| Combining Proof-Producing Decision Procedures | 2008-09-16 | Paper |
| Automatic Combinability of Rewriting-Based Satisfiability Procedures | 2008-05-27 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Manipulating algebraic specifications with term-based and graph-based representations | 2004-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808748 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417783 | 2003-07-30 | Paper |
| Unions of non-disjoint theories and combinations of satisfiability procedures | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778884 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703695 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703698 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385440 | 2000-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942654 | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934146 | 2000-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264199 | 1999-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255512 | 1999-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222991 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223001 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364370 | 1997-11-17 | Paper |
| Combining decision algorithms for matching in the union of disjoint equational theories | 1997-01-12 | Paper |
| Combining symbolic constraint solvers on algebraic domains | 1994-12-18 | Paper |
