| Publication | Date of Publication | Type |
|---|
| QMaude: quantitative specification and verification in rewriting logic | 2023-08-17 | Paper |
| The Maude strategy language | 2023-08-08 | Paper |
| Parameterized programming for compositional system specification | 2023-07-28 | Paper |
| Strategies, Model Checking and Branching-Time Properties in Maude | 2022-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089038 | 2022-07-18 | Paper |
| Simulating and model checking membrane systems using strategies in Maude | 2021-11-24 | Paper |
| Metalevel transformation of strategies | 2021-11-24 | Paper |
| Strategies, model checking and branching-time properties in Maude | 2021-11-03 | Paper |
| Parameterized strategies specification in Maude | 2020-06-08 | Paper |
| Compositional Specification in Rewriting Logic | 2020-05-04 | Paper |
| Synchronous products of rewrite systems | 2018-10-25 | Paper |
| Egalitarian State-Transition Systems | 2016-10-21 | Paper |
| Equational Abstractions in Rewriting Logic and Maude | 2016-04-01 | Paper |
| A Declarative Debugger for Maude Functional Modules | 2015-03-19 | Paper |
| A Rewriting Semantics for Maude Strategies | 2015-03-19 | Paper |
| Model Checking TLR* Guarantee Formulas on Infinite Systems | 2014-03-25 | Paper |
| Modular Structural Operational Semantics with Strategies | 2013-12-13 | Paper |
| Deduction, Strategies, and Rewriting | 2013-12-06 | Paper |
| Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863877 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2850669 | 2013-09-27 | Paper |
| Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees | 2013-03-13 | Paper |
| Rewriting logic bibliography by topic: 1990--2011 | 2013-01-16 | Paper |
| Declarative debugging of rewriting logic specifications | 2013-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2906938 | 2012-09-05 | Paper |
| Declarative Debugging of Missing Answers for Maude. | 2012-04-25 | Paper |
| A Complete Declarative Debugger for Maude | 2011-01-21 | Paper |
| Enhancing the Debugging of Maude Specifications | 2010-10-12 | Paper |
| Declarative Debugging of Rewriting Logic Specifications | 2009-10-22 | Paper |
| Declarative Debugging of Membership Equational Logic Specifications | 2008-06-19 | Paper |
| Strategies and simulations in a semantic framework | 2007-11-30 | Paper |
| Executable structural operational semantics in Maude | 2006-04-28 | Paper |
| Two case studies of semantics execution in Maude: CCS and LOTOS | 2006-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422086 | 2003-09-03 | Paper |
| Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic | 2003-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703710 | 2001-05-07 | Paper |
