| Publication | Date of Publication | Type |
|---|
| Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs | 2023-02-28 | Paper |
| Unification of drags and confluence of drag rewriting | 2023-02-03 | Paper |
| Open problems in rewriting | 2022-12-09 | Paper |
| More problems in rewriting | 2022-12-09 | Paper |
| Problems in rewriting III | 2022-12-09 | Paper |
| A recursive path ordering for higher-order terms in η-long β-normal form | 2022-12-09 | Paper |
| Corrigendum to: ``Inductive-data-type systems | 2020-04-01 | Paper |
| Graph Path Orderings | 2019-07-04 | Paper |
| Drags: a compositional algebraic framework for graph rewriting | 2019-06-18 | Paper |
| Coq without Type Casts: A Complete Proof of Coq Modulo Theory | 2019-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5351972 | 2017-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277844 | 2017-07-12 | Paper |
| The computability path ordering | 2015-10-29 | Paper |
| Normal Higher-Order Termination | 2015-09-17 | Paper |
| Confluence by Critical Pair Analysis | 2014-07-24 | Paper |
| Confluence: The Unifying, Expressive Power of Locality | 2014-03-25 | Paper |
| The Blossom of Finite Semantic Trees | 2013-04-19 | Paper |
| From diagrammatic confluence to modularity | 2013-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4649558 | 2012-11-22 | Paper |
| Infinite Families of Finite String Rewriting Systems and Their Confluence | 2010-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396602 | 2009-09-19 | Paper |
| Diagrammatic Confluence and Completion | 2009-07-14 | Paper |
| Building Decision Procedures in the Calculus of Inductive Constructions | 2009-03-05 | Paper |
| Polymorphic higher-order recursive path orderings | 2008-12-21 | Paper |
| The Computability Path Ordering: The End of a Quest | 2008-11-20 | Paper |
| Modular Church-Rosser Modulo | 2008-09-25 | Paper |
| Higher-Order Orderings for Normal Rewriting | 2008-09-25 | Paper |
| Higher-Order Termination: From Kruskal to Computability | 2008-05-27 | Paper |
| HORPO with Computability Closure: A Reconstruction | 2008-05-15 | Paper |
| From OBJ to ML to Coq | 2007-09-07 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| Automata-driven automated induction | 2003-01-14 | Paper |
| Inductive-data-type systems | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762628 | 2002-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938611 | 2000-09-13 | Paper |
| Specification and proof in membership equational logic | 2000-06-04 | Paper |
| A methodological view of constraint solving | 2000-03-19 | Paper |
| Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222984 | 1999-01-07 | Paper |
| Abstract data type systems | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385532 | 1998-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842538 | 1995-08-14 | Paper |
| Syntacticness, cycle-syntacticness and shallow theories | 1995-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035654 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036585 | 1993-05-18 | Paper |
| Termination and completion modulo associativity, commutativity and identity | 1993-01-17 | Paper |
| Programming with equalities, subsorts, overloading, and parametrization in OBJ | 1992-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976027 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3970984 | 1992-06-25 | Paper |
| Unification in Boolean rings and Abelian groups | 1989-01-01 | Paper |
| Automatic proofs by induction in theories without constructors | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490927 | 1989-01-01 | Paper |
| Completion of a Set of Rules Modulo a Set of Equations | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719824 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659124 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664457 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3673071 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3673082 | 1983-01-01 | Paper |
| On multiset orderings | 1982-01-01 | Paper |
| Récepteurs adaptatifs pour transmission de données a grande vitesse | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5630993 | 1971-01-01 | Paper |
