| Publication | Date of Publication | Type |
|---|
| Symbolic Specialization of Rewriting Logic Theories with Presto | 2023-12-12 | Paper |
| Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* | 2023-11-09 | Paper |
| Optimizing Maude programs via program specialization | 2023-08-17 | Paper |
| Variant-based equational anti-unification | 2023-06-02 | Paper |
| Safety enforcement via programmable strategies in Maude | 2023-03-20 | Paper |
| Order-sorted equational generalization algorithm revisited | 2022-05-04 | Paper |
| Optimization of rewrite theories by equational partial evaluation | 2021-11-24 | Paper |
| Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework | 2021-05-20 | Paper |
| Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* | 2021-05-20 | Paper |
| Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system | 2020-10-30 | Paper |
| Symbolic Analysis of Maude Theories with Narval | 2020-05-04 | Paper |
| \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance | 2020-02-18 | Paper |
| A partial evaluation framework for order-sorted equational programs modulo axioms | 2020-01-31 | Paper |
| Inferring safe Maude programs with ÁTAME | 2018-08-17 | Paper |
| Assertion-based analysis via slicing withABETS(system description) | 2017-11-09 | Paper |
| Symbolic abstract contract synthesis in a rewriting framework | 2017-10-13 | Paper |
| Partial evaluation of order-sorted equational programs modulo axioms | 2017-10-13 | Paper |
| Specialization of inductively sequential functional logic programs | 2016-09-01 | Paper |
| Debugging Maude programs via runtime assertion checking and trace slicing | 2016-08-18 | Paper |
| Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis | 2015-09-14 | Paper |
| Order-Sorted Generalization | 2015-04-09 | Paper |
| ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance | 2015-01-14 | Paper |
| Exploring conditional rewriting logic computations | 2015-01-14 | Paper |
| Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) | 2014-03-25 | Paper |
| A modular order-sorted equational generalization algorithm | 2014-03-13 | Paper |
| Rewriting-based repairing strategies for XML repositories | 2014-02-25 | Paper |
| An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation | 2014-01-10 | Paper |
| A framework for timed concurrent constraint programming with external functions | 2013-12-20 | Paper |
| Correct and complete (positive) strategy annotations for \textsf{OBJ} | 2013-10-02 | Paper |
| Abstract model checking of \textsf{tccp} programs | 2013-09-20 | Paper |
| Abstract correction of first-order functional programs | 2013-08-27 | Paper |
| A debugging scheme for functional logic programs | 2013-07-24 | Paper |
| Declarative debugging of functional logic programs | 2013-07-24 | Paper |
| Backward Trace Slicing for Conditional Rewrite Theories | 2012-06-15 | Paper |
| Modular termination of basic narrowing and equational unification | 2012-06-08 | Paper |
| Backward Trace Slicing for Rewriting Logic Theories | 2011-07-29 | Paper |
| Removing Redundant Arguments of Functions* | 2011-05-06 | Paper |
| Abstract Diagnosis of Functional Programs | 2011-03-04 | Paper |
| Abstract Certification of Global Non-interference in Rewriting Logic | 2011-01-08 | Paper |
| An integrated framework for the diagnosis and correction of rule-based programs | 2010-11-11 | Paper |
| A compact fixpoint semantics for term rewriting systems | 2010-08-24 | Paper |
| Transformation and Debugging of Functional Logic Programs | 2010-07-20 | Paper |
| On-demand strategy annotations revisited: an improved on-demand evaluation strategy | 2009-12-15 | Paper |
| Termination of narrowing revisited | 2009-11-04 | Paper |
| A Modular Equational Generalization Algorithm | 2009-03-24 | Paper |
| Termination of Narrowing Using Dependency Pairs | 2009-01-22 | Paper |
| Modular Termination of Basic Narrowing | 2008-08-28 | Paper |
| Removing redundant arguments automatically | 2007-03-23 | Paper |
| Specialization of functional logic programs based on needed narrowing | 2006-02-08 | Paper |
| A semantic framework for the abstract model checking of tccp programs | 2005-12-29 | Paper |
| Rules + strategies for transforming lazy functional logic programs | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471989 | 2004-08-03 | Paper |
| Uniform Lazy Narrowing | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428288 | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417882 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766777 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537508 | 2002-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217931 | 1999-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364365 | 1997-11-17 | Paper |
| Incremental constraint satisfaction for equational logic programming | 1997-09-29 | Paper |
| A compositional semantic basis for the analysis of equational Horn programs | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858579 | 1995-12-17 | Paper |
| Analyses of unsatisfiability for equational logic programming | 1995-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287469 | 1994-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281615 | 1993-01-01 | Paper |
