| Publication | Date of Publication | Type |
|---|
| Transforming concurrent programs with semaphores into logically constrained term rewrite systems | 2025-01-27 | Paper |
| Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting | 2023-09-25 | Paper |
| On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs | 2022-08-10 | Paper |
| Transforming orthogonal inductive definition sets into confluent term rewrite systems | 2022-05-25 | Paper |
| Determinization of inverted grammar programs via context-free expressions | 2021-09-03 | Paper |
| ReverCSP: time-travelling in CSP computations | 2021-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994129 | 2021-06-17 | Paper |
| Narrowing trees for syntactically deterministic conditional term rewriting systems | 2021-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993364 | 2021-06-15 | Paper |
| Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems | 2019-10-24 | Paper |
| Inverse Unfold Problem and Its Heuristic Solving | 2019-10-24 | Paper |
| On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings | 2019-10-24 | Paper |
| Characterizing Compatible View Updates in Syntactic Bidirectionalization | 2019-10-17 | Paper |
| Loop detection by logically constrained term rewriting | 2018-12-07 | Paper |
| A theory of reversibility for Erlang | 2018-10-01 | Paper |
| Cauder: a causal-consistent reversible debugger for Erlang | 2018-07-09 | Paper |
| Reversible computation in term rewriting | 2017-12-01 | Paper |
| Reversible term rewriting | 2017-10-17 | Paper |
| A reversible semantics for Erlang | 2017-10-13 | Paper |
| Verifying procedural programs via constrained rewriting induction | 2017-07-13 | Paper |
| Relative termination via dependency pairs | 2017-06-29 | Paper |
| Automatic constrained rewriting induction towards verifying procedural programs | 2016-02-26 | Paper |
| Constrained term rewriting tooL | 2016-01-12 | Paper |
| Reducing relative termination to dependency pair problems | 2015-12-02 | Paper |
| Confluence Competition 2015 | 2015-12-02 | Paper |
| A Finite Representation of the Narrowing Space | 2015-11-30 | Paper |
| A framework for computing finite SLD trees | 2015-02-27 | Paper |
| Completion after program inversion of injective functions | 2014-07-22 | Paper |
| Conversion to tail recursion in term rewriting | 2014-02-25 | Paper |
| Transformation for refining unraveled conditional term rewriting systems | 2013-12-06 | Paper |
| Term Rewriting with Logical Constraints | 2013-09-20 | Paper |
| Computing more specific versions of conditional rewriting systems | 2013-09-13 | Paper |
| Improving determinization of grammar programs for program inversion | 2013-09-13 | Paper |
| Narrowing-based simulation of term rewriting systems with extra variables and its termination proof | 2013-08-27 | Paper |
| Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity | 2012-08-15 | Paper |
| Program inversion for tail recursive functions | 2012-04-24 | Paper |
| Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity | 2012-04-24 | Paper |
| On proving termination of constrained term rewrite systems by eliminating edges from dependency graphs | 2011-07-29 | Paper |
| Termination of narrowing via termination of rewriting | 2010-05-07 | Paper |
| Goal-directed and relative dependency pairs for proving the termination of narrowing | 2010-05-04 | Paper |
| Proving injectivity of functions via program inversion in term rewriting | 2010-05-04 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
