| Publication | Date of Publication | Type |
|---|
QMaude: quantitative specification and verification in rewriting logic
Formal Methods | 2023-08-17 | Paper |
Strategies in conditional narrowing modulo SMT plus axioms
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
The Maude strategy language
Journal of Logical and Algebraic Methods in Programming | 2023-08-08 | Paper |
Associative unification and symbolic reasoning modulo associativity in Maude
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
Parameterized programming for compositional system specification
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
Strategies, Model Checking and Branching-Time Properties in Maude
1517.6817 | 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
Category Theory and Computer Science | 2022-08-16 | Paper |
| scientific article; zbMATH DE number 7559300 (Why is no real title available?) | 2022-07-18 | Paper |
Simulating and model checking membrane systems using strategies in Maude
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
Metalevel transformation of strategies
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
Strategies, model checking and branching-time properties in Maude
Journal of Logical and Algebraic Methods in Programming | 2021-11-03 | Paper |
| Parameterized strategies specification in Maude | 2020-06-08 | Paper |
Programming and symbolic computation in Maude
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
| Synchronous products of rewrite systems | 2018-10-25 | Paper |
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
Journal of Automated Reasoning | 2018-08-09 | Paper |
Egalitarian State-Transition Systems
Rewriting Logic and Its Applications | 2016-10-21 | Paper |
Built-in variant generation and unification, and their applications in Maude 2.7
Automated Reasoning | 2016-09-05 | Paper |
Equational abstractions in rewriting logic and Maude
Lecture Notes in Computer Science | 2016-04-01 | Paper |
Two Decades of Maude
Lecture Notes in Computer Science | 2015-09-14 | Paper |
José Meseguer: scientist and friend extraordinaire
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Conditional narrowing modulo in rewriting logic and Maude
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
A declarative debugger for Maude functional modules
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
A rewriting semantics for Maude strategies
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Model checking TLR* guarantee formulas on infinite systems
Specification, Algebra, and Software | 2014-03-25 | Paper |
| Algebraic stuttering simulations | 2014-01-10 | Paper |
Deduction, strategies, and rewriting
Electronic Notes in Theoretical Computer Science | 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
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Declarative debugging of rewriting logic specifications
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
Rewriting logic bibliography by topic: 1990--2011
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
| Declarative debugging of missing answers for Maude | 2012-04-25 | Paper |
A complete declarative debugger for Maude
Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
Enhancing the debugging of Maude specifications
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
Automated Deduction – CADE-19
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Algebraic simulations
The Journal of Logic and Algebraic Programming | 2010-02-05 | Paper |
Declarative Debugging of Rewriting Logic Specifications
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Equational abstractions
Theoretical Computer Science | 2008-09-16 | Paper |
Declarative Debugging of Membership Equational Logic Specifications
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Strategies and simulations in a semantic framework
Journal of Algorithms | 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.
Lecture Notes in Computer Science | 2007-08-08 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Executable structural operational semantics in Maude
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Two case studies of semantics execution in Maude: CCS and LOTOS
Formal Methods in System Design | 2006-02-20 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
A Verification Logic for Rewriting Logic
Journal Of Logic And Computation | 2005-07-13 | Paper |
| scientific article; zbMATH DE number 2043522 (Why is no real title available?) | 2004-02-16 | Paper |
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
Formal Aspects of Computing | 2003-08-27 | Paper |
Rewriting logic: Roadmap and bibliography
Theoretical Computer Science | 2002-09-10 | Paper |
Maude: specification and programming in rewriting logic
Theoretical Computer Science | 2002-08-13 | Paper |
A Maude specification of an object-oriented model for telecommunication networks
Theoretical Computer Science | 2002-08-13 | Paper |
| scientific article; zbMATH DE number 1759616 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1617312 (Why is no real title available?) | 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
Journal Of Logic And Computation | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1301603 (Why is no real title available?) | 2000-02-08 | Paper |
Inclusions and subtypes I: first-order case
Journal Of Logic And Computation | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 1231654 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231667 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231543 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1231552 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 753781 (Why is no real title available?) | 1995-07-27 | Paper |
FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
International Journal of Foundations of Computer Science | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 17706 (Why is no real title available?) | 1992-06-26 | Paper |
From Petri nets to linear logic
Mathematical Structures in Computer Science | 1992-06-25 | Paper |
