| Publication | Date of Publication | Type |
|---|
| QMaude: quantitative specification and verification in rewriting logic | 2023-08-17 | Paper |
| Strategies in conditional narrowing modulo SMT plus axioms | 2023-08-17 | Paper |
| The Maude strategy language | 2023-08-08 | Paper |
| Associative unification and symbolic reasoning modulo associativity in Maude | 2023-07-28 | Paper |
| Parameterized programming for compositional system specification | 2023-07-28 | Paper |
| Strategies, Model Checking and Branching-Time Properties in Maude | 2022-12-22 | Paper |
| Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) | 2022-12-07 | Paper |
| From Petri nets to linear logic | 2022-08-16 | 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 |
| Programming and symbolic computation in Maude | 2020-01-31 | Paper |
| Synchronous products of rewrite systems | 2018-10-25 | Paper |
| Sentence-normalized conditional narrowing modulo in rewriting logic and Maude | 2018-08-09 | Paper |
| Egalitarian State-Transition Systems | 2016-10-21 | Paper |
| Built-in variant generation and unification, and their applications in Maude 2.7 | 2016-09-05 | Paper |
| Equational abstractions in rewriting logic and Maude | 2016-04-01 | Paper |
| Two Decades of Maude | 2015-09-14 | Paper |
| José Meseguer: scientist and friend extraordinaire | 2015-09-14 | Paper |
| Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude | 2015-09-14 | Paper |
| Conditional narrowing modulo in rewriting logic and Maude | 2015-09-09 | 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 |
| Algebraic stuttering simulations | 2014-01-10 | Paper |
| Deduction, strategies, and rewriting | 2013-12-06 | Paper |
| An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0 | 2013-10-02 | Paper |
| A tutorial on specifying data structures in Maude | 2013-09-27 | Paper |
| Simplifying questions in Maude declarative debugger by transforming proof trees | 2013-03-13 | Paper |
| Declarative debugging of rewriting logic specifications | 2013-01-16 | Paper |
| Rewriting logic bibliography by topic: 1990--2011 | 2013-01-16 | 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 |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| Algebraic simulations | 2010-02-05 | Paper |
| Declarative Debugging of Rewriting Logic Specifications | 2009-10-22 | Paper |
| Equational abstractions | 2008-09-16 | Paper |
| Declarative Debugging of Membership Equational Logic Specifications | 2008-06-19 | Paper |
| Strategies and simulations in a semantic framework | 2007-11-30 | Paper |
| All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. | 2007-08-08 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | 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 |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| A Verification Logic for Rewriting Logic | 2005-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447224 | 2004-02-16 | Paper |
| Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic | 2003-08-27 | Paper |
| Rewriting logic: Roadmap and bibliography | 2002-09-10 | Paper |
| Maude: specification and programming in rewriting logic | 2002-08-13 | Paper |
| A Maude specification of an object-oriented model for telecommunication networks | 2002-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536607 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722043 | 2001-07-11 | Paper |
| Towards Maude 2. 0 | 2001-05-07 | Paper |
| Polytypic programming in Maude | 2001-05-07 | Paper |
| The leader election protocol of IEEE 1394 in Maude | 2001-05-07 | Paper |
| Inclusions and subtypes II: higher-order case | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246796 | 2000-02-08 | Paper |
| Inclusions and subtypes I: first-order case | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222979 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222994 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222859 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222867 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698614 | 1995-07-27 | Paper |
| FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975037 | 1992-06-26 | Paper |
| From Petri nets to linear logic | 1992-06-25 | Paper |
