| Publication | Date of Publication | Type |
|---|
| Completeness of combinations of constructor systems | 2022-12-09 | Paper |
| Semantics and strong sequentially of priority term rewriting systems | 2022-12-09 | Paper |
| Termination for the direct sum of left-linear term rewriting systems | 2022-12-09 | Paper |
| Improving rewriting induction approach for proving ground confluence | 2020-05-26 | Paper |
| Automated proofs of unique normal forms w.r.t. conversion for term rewriting systems | 2020-05-13 | Paper |
| Parallel closure theorem for left-linear nominal rewriting systems | 2018-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5369497 | 2017-10-17 | Paper |
| Ground confluence prover based on rewriting induction | 2017-10-17 | Paper |
| Confluence of orthogonal nominal rewriting systems revisited | 2017-07-12 | Paper |
| Correctness of Context-Moving Transformations for Term Rewriting Systems | 2016-02-05 | Paper |
| Proving confluence of term rewriting systems via persistency and decreasing diagrams | 2014-07-24 | Paper |
| A reduction-preserving completion for proving confluence of non-terminating term rewriting systems | 2012-04-24 | Paper |
| A reduction-preserving completion for proving confluence of non-terminating term rewriting systems | 2012-04-03 | Paper |
| Proving Confluence of Term Rewriting Systems Automatically | 2009-06-30 | Paper |
| Rewriting Techniques and Applications | 2009-04-30 | Paper |
| Rewriting Techniques and Applications | 2009-04-30 | Paper |
| On the Church-Rosser property for the direct sum of term rewriting systems | 2009-01-13 | Paper |
| Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations | 2008-08-28 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536455 | 2002-11-25 | Paper |
| Decidability for left-linear growing term rewriting systems. | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520528 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494366 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938609 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4937190 | 2000-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705608 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705622 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4253324 | 1999-11-08 | Paper |
| Semantics and strong sequentiality of priority term rewriting systems | 1999-01-12 | Paper |
| Termination for direct sums of left-linear complete term rewriting systems | 1998-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364373 | 1997-11-17 | Paper |
| Modularity of confluence: A simplified proof | 1994-04-04 | Paper |
| Completeness of combinations of constructor systems | 1993-08-22 | Paper |
| How to prove equivalence of term rewriting systems without induction | 1992-06-28 | Paper |
| Fast Knuth-Bendix completion with a term rewriting system compiler | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830525 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3819991 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809229 | 1988-01-01 | Paper |
| Counterexamples to termination for the direct sum of term rewriting systems | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719825 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783518 | 1986-01-01 | Paper |
