| Publication | Date of Publication | Type |
|---|
| Formalization and analysis of the post-quantum signature scheme FALCON with Maude | 2025-01-27 | Paper |
| 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 |
| An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis | 2023-09-25 | Paper |
| Optimizing Maude programs via program specialization | 2023-08-17 | Paper |
| Associative unification and symbolic reasoning modulo associativity in Maude | 2023-07-28 | Paper |
| Variant-based equational anti-unification | 2023-06-02 | Paper |
| Safety enforcement via programmable strategies in Maude | 2023-03-20 | Paper |
| An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA | 2022-12-22 | Paper |
| Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) | 2022-12-07 | Paper |
| Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method | 2022-12-07 | Paper |
| Protocol analysis with time and space | 2022-07-13 | Paper |
| Protocol analysis with time | 2022-07-06 | Paper |
| Order-sorted equational generalization algorithm revisited | 2022-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020960 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020553 | 2022-01-06 | Paper |
| Optimization of rewrite theories by equational partial evaluation | 2021-11-24 | Paper |
| Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* | 2021-05-20 | Paper |
| Symbolic Analysis of Maude Theories with Narval | 2020-05-04 | Paper |
| Canonical narrowing with irreducibility constraints as a symbolic protocol analysis method | 2020-03-03 | Paper |
| \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance | 2020-02-18 | Paper |
| Programming and symbolic computation in Maude | 2020-01-31 | Paper |
| A partial evaluation framework for order-sorted equational programs modulo axioms | 2020-01-31 | Paper |
| Partial evaluation of order-sorted equational programs modulo axioms | 2017-10-13 | Paper |
| Abstract Logical Model Checking of Infinite-State Systems Using Narrowing | 2017-02-01 | Paper |
| Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 | 2016-09-05 | Paper |
| Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories | 2016-01-08 | Paper |
| Two Decades of Maude | 2015-09-14 | Paper |
| Order-Sorted Generalization | 2015-04-09 | Paper |
| Variant Narrowing and Equational Unification | 2015-03-19 | Paper |
| ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance | 2015-01-14 | Paper |
| State space reduction in the Maude-NRL protocol analyzer | 2014-10-20 | Paper |
| Functional Logic Programming in Maude | 2014-03-25 | Paper |
| A modular order-sorted equational generalization algorithm | 2014-03-13 | Paper |
| Narrowing and rewriting logic: from foundations to applications | 2014-01-24 | Paper |
| Correct and complete (positive) strategy annotations for \textsf{OBJ} | 2013-10-02 | Paper |
| Abstract correction of first-order functional programs | 2013-08-27 | Paper |
| Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis | 2013-06-14 | Paper |
| Folding variant narrowing and optimal variant termination | 2013-01-16 | Paper |
| Modular termination of basic narrowing and equational unification | 2012-06-08 | Paper |
| Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 | 2012-04-24 | 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 |
| Folding Variant Narrowing and Optimal Variant Termination | 2010-10-12 | Paper |
| A compact fixpoint semantics for term rewriting systems | 2010-08-24 | Paper |
| On-demand strategy annotations revisited: an improved on-demand evaluation strategy | 2009-12-15 | Paper |
| Termination of narrowing revisited | 2009-11-04 | Paper |
| Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties | 2009-10-22 | Paper |
| A Modular Equational Generalization Algorithm | 2009-03-24 | Paper |
| Termination of Narrowing Using Dependency Pairs | 2009-01-22 | Paper |
| Effectively Checking the Finite Variant Property | 2008-08-28 | Paper |
| Modular Termination of Basic Narrowing | 2008-08-28 | Paper |
| Natural Rewriting for General Term Rewriting Systems | 2008-04-24 | Paper |
| Symbolic Model Checking of Infinite-State Systems Using Narrowing | 2008-01-02 | Paper |
| Functional and Logic Programming | 2007-09-25 | Paper |
| Removing redundant arguments automatically | 2007-03-23 | Paper |
| A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties | 2007-01-09 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4832299 | 2005-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428288 | 2003-09-15 | Paper |
