| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6202803 | 2024-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6159940 | 2023-06-23 | Paper |
| Higher-order families | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013813 | 2021-12-02 | Paper |
| Triangulation in rewriting | 2020-05-27 | Paper |
| Confluence by critical pair analysis revisited | 2020-03-10 | Paper |
| Development closed critical pairs | 2019-01-11 | Paper |
| Finite family developments | 2017-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5369497 | 2017-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2958383 | 2017-02-01 | Paper |
| Meaningless terms in rewriting | 2017-01-19 | Paper |
| Layer Systems for Proving Confluence | 2015-09-17 | Paper |
| Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples | 2014-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849584 | 2013-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843602 | 2013-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389133 | 2012-04-25 | Paper |
| Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting | 2012-04-25 | Paper |
| ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM | 2011-11-14 | Paper |
| On equal \(\mu \)-terms | 2011-07-07 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| Diagrammatic Confluence and Completion | 2009-07-14 | Paper |
| Reduction Strategies and Acyclicity | 2009-03-06 | Paper |
| Using groups for investigating rewrite systems | 2008-12-10 | Paper |
| Modularity of Confluence | 2008-11-27 | Paper |
| Confluence by Decreasing Diagrams | 2008-08-28 | Paper |
| Lambda calculus with patterns | 2008-06-24 | Paper |
| Random Descent | 2008-01-02 | Paper |
| Functional and Logic Programming | 2007-09-25 | Paper |
| Iterative Lexicographic Path Orders | 2007-09-07 | Paper |
| Decomposition orders -- another generalisation of the fundamental theorem of arithmetic | 2005-06-10 | Paper |
| Perpetuality and uniform normalization in orthogonal rewrite systems | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778875 | 2002-03-21 | Paper |
| A geometric proof of confluence by decreasing diagrams | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501166 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942659 | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4259973 | 1999-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222804 | 1998-12-13 | Paper |
| Diagram techniques for confluence | 1998-11-10 | Paper |
| Logical description of context-free graph languages | 1998-08-04 | Paper |
| Developing developments | 1998-07-23 | Paper |
| Regular description of context-free graph languages | 1997-03-18 | Paper |
| Combinatory reduction systems: Introduction and survey | 1994-09-26 | Paper |
| Confluence by decreasing diagrams | 1994-05-05 | Paper |
