| Publication | Date of Publication | Type |
|---|
| \( \alpha\)-avoidance | 2024-10-21 | Paper |
| scientific article; zbMATH DE number 7809760 (Why is no real title available?) | 2024-02-27 | Paper |
| scientific article; zbMATH DE number 7700629 (Why is no real title available?) | 2023-06-23 | Paper |
| Higher-order families | 2022-12-09 | Paper |
| Nested term graphs (work in progress) | 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 |
| scientific article; zbMATH DE number 6792365 (Why is no real title available?) | 2017-10-17 | Paper |
| Proof orders for decreasing diagrams | 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 |
| Vicious circles in orthogonal term rewriting systems | 2013-09-20 | Paper |
| Four equivalent equivalences of reductions | 2013-08-23 | Paper |
| scientific article; zbMATH DE number 6027889 (Why is no real title available?) | 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 |
| \(\rightthreetimes\) | 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 |
| scientific article; zbMATH DE number 1722703 (Why is no real title available?) | 2002-03-21 | Paper |
| A geometric proof of confluence by decreasing diagrams | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1499112 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1414322 (Why is no real title available?) | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1332646 (Why is no real title available?) | 1999-09-09 | Paper |
| scientific article; zbMATH DE number 1231495 (Why is no real title available?) | 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 |
