| Publication | Date of Publication | Type |
|---|
Transforming concurrent programs with semaphores into logically constrained term rewrite systems
Journal of Logical and Algebraic Methods in Programming | 2025-01-27 | Paper |
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting
Journal of Logical and Algebraic Methods in Programming | 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
Journal of Logical and Algebraic Methods in Programming | 2022-05-25 | Paper |
Determinization of inverted grammar programs via context-free expressions
Journal of Logical and Algebraic Methods in Programming | 2021-09-03 | Paper |
| ReverCSP: time-travelling in CSP computations | 2021-07-05 | Paper |
| scientific article; zbMATH DE number 7360252 (Why is no real title available?) | 2021-06-17 | Paper |
scientific article; zbMATH DE number 7360252 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-17 | Paper |
| Narrowing trees for syntactically deterministic conditional term rewriting systems | 2021-06-15 | Paper |
| scientific article; zbMATH DE number 7359428 (Why is no real title available?) | 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
Reversible Computation | 2019-10-17 | Paper |
| Loop detection by logically constrained term rewriting | 2018-12-07 | Paper |
A theory of reversibility for Erlang
Journal of Logical and Algebraic Methods in Programming | 2018-10-01 | Paper |
A theory of reversibility for Erlang
Journal of Logical and Algebraic Methods in Programming | 2018-10-01 | Paper |
| Cauder: a causal-consistent reversible debugger for Erlang | 2018-07-09 | Paper |
Reversible computation in term rewriting
Journal of Logical and Algebraic Methods in Programming | 2017-12-01 | Paper |
Reversible computation in term rewriting
Journal of Logical and Algebraic Methods in Programming | 2017-12-01 | Paper |
| Reversible term rewriting | 2017-10-17 | Paper |
A reversible semantics for Erlang
(available as arXiv preprint) | 2017-10-13 | Paper |
Verifying procedural programs via constrained rewriting induction
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
Verifying procedural programs via constrained rewriting induction
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
Relative termination via dependency pairs
Journal of Automated Reasoning | 2017-06-29 | Paper |
Automatic constrained rewriting induction towards verifying procedural programs
Programming Languages and Systems | 2016-02-26 | Paper |
Constrained term rewriting tooL
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Reducing relative termination to dependency pair problems
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Confluence Competition 2015
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
A Finite Representation of the Narrowing Space
Logic-Based Program Synthesis and Transformation | 2015-11-30 | Paper |
A framework for computing finite SLD trees
Journal of Logical and Algebraic Methods in Programming | 2015-02-27 | Paper |
Completion after program inversion of injective functions
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
Conversion to tail recursion in term rewriting
The Journal of Logic and Algebraic Programming | 2014-02-25 | Paper |
Transformation for refining unraveled conditional term rewriting systems
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Term Rewriting with Logical Constraints
Frontiers of Combining Systems | 2013-09-20 | Paper |
Computing more specific versions of conditional rewriting systems
Logic-Based Program Synthesis and Transformation | 2013-09-13 | Paper |
Improving determinization of grammar programs for program inversion
Logic-Based Program Synthesis and Transformation | 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
Logical Methods in Computer Science | 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 |
Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity
(available as arXiv preprint) | 2012-04-24 | Paper |
On proving termination of constrained term rewrite systems by eliminating edges from dependency graphs
Functional and Constraint Logic Programming | 2011-07-29 | Paper |
Termination of narrowing via termination of rewriting
Applicable Algebra in Engineering, Communication and Computing | 2010-05-07 | Paper |
Goal-directed and relative dependency pairs for proving the termination of narrowing
Logic-Based Program Synthesis and Transformation | 2010-05-04 | Paper |
Proving injectivity of functions via program inversion in term rewriting
Functional and Logic Programming | 2010-05-04 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
