| Publication | Date of Publication | Type |
|---|
| Minimal relative normalization in orthogonal expression reduction systems | 2024-07-05 | Paper |
| Relative normalization in Deterministic Residual Structures | 2023-02-23 | Paper |
| Optimal normalization in orthogonal term rewriting systems | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015097 | 2021-12-08 | Paper |
| The geometry of orthogonal reduction spaces | 2018-07-04 | Paper |
| Symbolic trajectory evaluation for word-level verification: theory and implementation | 2017-05-15 | Paper |
| Discrete Normalization and Standardization in Deterministic Residual Structures | 2017-01-19 | Paper |
| Predicate Elimination for Preprocessing in First-Order Theorem Proving | 2016-09-05 | Paper |
| Encoding RTL constructs for \textsc{MathSAT}: a preliminary report | 2013-09-26 | Paper |
| SAT-based methods for sequential hardware equivalence verification without synchronization | 2013-08-30 | Paper |
| An abstract concept of optimal implementation | 2013-08-27 | Paper |
| An abstract Böhm-normalization | 2013-08-23 | Paper |
| EPR-Based Bounded Model Checking at Word Level | 2012-09-05 | Paper |
| On Formal Equivalence Verification of Hardware | 2008-06-05 | Paper |
| Hardware and Software, Verification and Testing | 2007-02-12 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| The conflict-free reduction geometry | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808737 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447252 | 2004-02-16 | Paper |
| Perpetuality and uniform normalization in orthogonal rewrite systems | 2003-01-14 | Paper |
| Relating conflict-free stable transition and event models via redex families | 2002-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778875 | 2002-03-21 | Paper |
| On the longest perpetual reductions in orthogonal expression reduction systems | 2002-03-03 | Paper |
| Stable results and relative normalization | 2001-08-16 | Paper |
| A syntactical analysis of normalization | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501151 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699303 | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4954449 | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942642 | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263802 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222804 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364379 | 1998-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3356291 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3202988 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358241 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358242 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3199388 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3199389 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3199390 | 1988-01-01 | Paper |
