From Petri Nets to Linear Logic through Categories: A Survey. - Narciso Martí-Oliet; José Meseguer 001 (Int. J. Found. Comput. Sci., 1991)

From Petri Nets to Linear Logic. - Narciso Martí-Oliet; José Meseguer 001 (Math. Struct. Comput. Sci., 1991)

From Abstract Data Types to Logical Frameworks. - José Meseguer 001; Narciso Martí-Oliet (COMPASS/ADT, 1994)

Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. - Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001 (Specification of Parallel Algorithms, 1994)

Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. - Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Livio Ricciulli (PARLE, 1994)

Rewriting logic as a logical and semantic framework. - Narciso Martí-Oliet; José Meseguer 001 (WRLA, 1996)

A Maude specification of an object-oriented database model for telecommunication networks. - Isabel Pita; Narciso Martí-Oliet (WRLA, 1996)

Inclusions and Subtypes I: First-Order Case. - Narciso Martí-Oliet; José Meseguer 001 (J. Log. Comput., 1996)

Inclusions and Subtypes II: Higher-Order Case. - Narciso Martí-Oliet; José Meseguer 001 (J. Log. Comput., 1996)

Rewriting logic and its applications. - Narciso Martí-Oliet (APPIA-GULP-PRODE, 1997)

Using Reflection to Specify Transaction Sequences in Rewriting Logic. - Isabel Pita; Narciso Martí-Oliet (APPIA-GULP-PRODE, 1997)

Metalevel computation in Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001 (WRLA, 1998)

Maude as a metalanguage. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (WRLA, 1998)

The Maude System. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (RTA, 1999)

Towards a Verification Logic for Rewriting Logic. - José Luiz Fiadeiro; T. S. E. Maibaum; Narciso Martí-Oliet; José Meseguer 001; Isabel Pita (WADT, 1999)

Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. - Roberto Bruni 001; David de Frutos-Escrig; Narciso Martí-Oliet; Ugo Montanari (CONCUR, 2000)

Using Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (FASE, 2000)

Implementing CCS in Maude. - Alberto Verdejo; Narciso Martí-Oliet (FORTE, 2000)

Towards Maude 2.0. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (WRLA, 2000)

Polytypic Programming in Maude. - Manuel Clavel; Francisco Durán 001; Narciso Martí-Oliet (WRLA, 2000)

The Leader Election Protocol of IEEE 1394 in Maude. - Alberto Verdejo; Isabel Pita; Narciso Martí-Oliet (WRLA, 2000)

Proving modal and temporal properties of rewriting logic programs. - Isabel Pita; Narciso Martí-Oliet (APPIA-GULP-PRODE, 2001)

An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. - Prasanna Thati; Koushik Sen; Narciso Martí-Oliet (WRLA, 2002)

Implementing CCS in Maude 2. - Alberto Verdejo; Narciso Martí-Oliet (WRLA, 2002)

Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala. - Narciso Martí-Oliet (Log. J. IGPL, 2002)

Maude: specification and programming in rewriting logic. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (Theor. Comput. Sci., 2002)

Rewriting logic: roadmap and bibliography. - Narciso Martí-Oliet; José Meseguer 001 (Theor. Comput. Sci., 2002)

Preface. - Narciso Martí-Oliet; José Meseguer 001 (Theor. Comput. Sci., 2002)

A Maude specification of an object-oriented model for telecommunication networks. - Isabel Pita; Narciso Martí-Oliet (Theor. Comput. Sci., 2002)

The Maude 2.0 System. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (RTA, 2003)

Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. - Alberto Verdejo; Isabel Pita; Narciso Martí-Oliet (Formal Aspects Comput., 2003)

Formalizing and Proving Semantic Relations between Specifications by Reflection. - Manuel Clavel; Narciso Martí-Oliet; Miguel Palomino (AMAST, 2004)

Theoroidal Maps as Algebraic Simulations. - Narciso Martí-Oliet; José Meseguer 001; Miguel Palomino (WADT, 2004)

Preface. - Narciso Martí-Oliet (WRLA, 2004)

Towards a Strategy Language for Maude. - Narciso Martí-Oliet; José Meseguer 001; Alberto Verdejo (WRLA, 2004)

A Tutorial on Specifying Data Structures in Maude. - Narciso Martí-Oliet; Miguel Palomino; Alberto Verdejo (PROLE, 2004)

Playing with Maude. - Miguel Palomino; Narciso Martí-Oliet; Alberto Verdejo (RULE@RDP, 2004)

A Categorical Approach to Simulations. - Miguel Palomino; José Meseguer 001; Narciso Martí-Oliet (CALCO, 2005)

Transforming Information in RDF to Rewriting Logic. - Alberto Verdejo; Narciso Martí-Oliet; Tomás Robles 001; Joaquín Salvachúa; Luis Llana; Margarita Bradley (FMOODS, 2005)

Preface. - Horatiu Cirstea; Narciso Martí-Oliet (RULE@RDP, 2005)

Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. - Alberto Verdejo; Narciso Martí-Oliet (Formal Methods Syst. Des., 2005)

A Verification Logic for Rewriting Logic. - Narciso Martí-Oliet; Isabel Pita; José Luiz Fiadeiro; José Meseguer 001; T. S. E. Maibaum (J. Log. Comput., 2005)

Deduction, Strategies, and Rewriting. - Steven Eker; Narciso Martí-Oliet; José Meseguer 001; Alberto Verdejo (STRATEGIES@IJCAR, 2006)

Executable structural operational semantics in Maude. - Alberto Verdejo; Narciso Martí-Oliet (J. Log. Algebraic Methods Program., 2006)

Introduction. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Using Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Syntax and Basic Parsing. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Functional Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

A Hierarchy of Data Types: From Trees to Sets. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

System Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Module Operations. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Predefined Data Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Object-Based Programming. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Model Checking Invariants Through Search. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

LTL Model Checking. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Reflection, Metalevel Computation, and Strategies. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Metaprogramming Applications. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

User Interfaces and Metalanguage Applications. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Full Maude: Extending Core Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Object-Oriented Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

A Sampler of Application Areas. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Debugging and Troubleshooting. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Complete List of Maude Commands. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Core Maude Grammar. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Some Tools. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Christiano Braga; Azadeh Farzan; Joe Hendrix; Peter Csaba Ölveczky; Miguel Palomino; et al. (All About Maude, 2007)

Playing with Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Miguel Palomino; Alberto Verdejo (All About Maude, 2007)

Specifying Parameterized Data Structures in Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Miguel Palomino; Alberto Verdejo (All About Maude, 2007)

Mobile Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Adrián Riesco 001; Alberto Verdejo (All About Maude, 2007)

Algebraic Stuttering Simulations. - Narciso Martí-Oliet; José Meseguer 001; Miguel Palomino (PROLE, 2007)

Strategies and simulations in a semantic framework. - Narciso Martí-Oliet; Miguel Palomino; Alberto Verdejo (J. Algorithms, 2007)

Editorial. - Narciso Martí-Oliet; Grigore Rosu; Carolyn L. Talcott (High. Order Symb. Comput., 2007)

A Declarative Debugger for Maude. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet; Rafael Caballero 001 (AMAST, 2008)

Declarative Debugging of Membership Equational Logic Specifications. - Rafael Caballero 001; Narciso Martí-Oliet; Adrián Riesco 001; Alberto Verdejo (Concurrency, Graphs and Models, 2008)

A Declarative Debugger for Maude Functional Modules. - Rafael Caballero 001; Narciso Martí-Oliet; Adrián Riesco 001; Alberto Verdejo (WRLA, 2008)

A Rewriting Semantics for Maude Strategies. - Narciso Martí-Oliet; José Meseguer 001; Alberto Verdejo (WRLA, 2008)

Equational abstractions. - José Meseguer 001; Miguel Palomino; Narciso Martí-Oliet (Theor. Comput. Sci., 2008)

Unification and Narrowing in Maude 2.4. - Manuel Clavel; Francisco Durán 001; Steven Eker; Santiago Escobar 001; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (RTA, 2009)

A Complete Declarative Debugger for Maude. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet (AMAST, 2010)

An Introduction to Maude and Some of Its Applications. - Narciso Martí-Oliet (PADL, 2010)

Declarative Debugging of Missing Answers for Maude. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet (RTA, 2010)

Enhancing the Debugging of Maude Specifications. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet (WRLA, 2010)

Algebraic simulations. - José Meseguer 001; Miguel Palomino; Narciso Martí-Oliet (J. Log. Algebraic Methods Program., 2010)

Parameterized Metareasoning in Membership Equational Logic. - Manuel Clavel; Narciso Martí-Oliet; Miguel Palomino (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. - Rafael Caballero 001; Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet (LOPSTR, 2011)

Basic completion strategies as another application of the Maude strategy language - Alberto Verdejo; Narciso Martí-Oliet (WRS, 2011)

Preface. - Narciso Martí-Oliet; Peter Csaba Ölveczky (J. Log. Algebraic Methods Program., 2012)

Rewriting logic bibliography by topic: 1990-2011. - Narciso Martí-Oliet; Miguel Palomino; Alberto Verdejo (J. Log. Algebraic Methods Program., 2012)

Declarative debugging of rewriting logic specifications. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet; Rafael Caballero 001 (J. Log. Algebraic Methods Program., 2012)

Model Checking TLR* Guarantee Formulas on Infinite Systems. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (Specification, Algebra, and Software, 2014)

Equational Abstractions in Rewriting Logic and Maude. - Narciso Martí-Oliet; Francisco Durán 001; Alberto Verdejo (SBMF, 2014)

Conditional Narrowing Modulo in Rewriting Logic and Maude. - Luis Aguirre 001; Narciso Martí-Oliet; Miguel Palomino; Isabel Pita (WRLA, 2014)

Two Decades of Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Santiago Escobar 001; Patrick Lincoln; Narciso Martí-Oliet; Carolyn L. Talcott (Logic, Rewriting, and Concurrency, 2015)

José Meseguer: Scientist and Friend Extraordinaire. - Narciso Martí-Oliet; Peter Csaba Ölveczky; Carolyn L. Talcott (Logic, Rewriting, and Concurrency, 2015)

Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). - Francisco Durán 001; Narciso Martí-Oliet (Sci. Comput. Program., 2015)

Synchronous Products of Rewrite Systems. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (ATVA, 2016)

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (IJCAR, 2016)

Egalitarian State-Transition Systems. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (WRLA, 2016)

Preface to SCP special issue with extended selected papers from SBMF 2014. - Christiano Braga; Narciso Martí-Oliet (Sci. Comput. Program., 2016)

Conditional narrowing modulo SMT and axioms. - Luis Aguirre 001; Narciso Martí-Oliet; Miguel Palomino; Isabel Pita (PPDP, 2017)

Parameterized Strategies Specification in Maude. - Rubén Rubio; Narciso Martí-Oliet; Isabel Pita; Alberto Verdejo (WADT, 2018)

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (WRLA@ETAPS, 2018)

Parameterized Programming for Compositional System Specification. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (WRLA@ETAPS, 2018)

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. - Luis Aguirre 001; Narciso Martí-Oliet; Miguel Palomino; Isabel Pita (J. Autom. Reason., 2018)

Model Checking Strategy-Controlled Rewriting Systems (System Description). - Rubén Rubio; Narciso Martí-Oliet; Isabel Pita; Alberto Verdejo (FSCD, 2019)

Programming and symbolic computation in Maude. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2020)

Compositional Specification in Rewriting Logic. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (Theory Pract. Log. Program., 2020)

B Maude: A formal executable environment for Abstract Machine Notation Descriptions. - Christiano Braga; Narciso Martí-Oliet (CoRR, 2021)

Strategies, model checking and branching-time properties in Maude. - Rubén Rubio; Narciso Martí-Oliet; Isabel Pita; Alberto Verdejo (J. Log. Algebraic Methods Program., 2021)

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Carolyn L. Talcott (IJCAR, 2022)

Model checking strategy-controlled systems in rewriting logic. - Rubén Rubio; Narciso Martí-Oliet; Isabel Pita; Alberto Verdejo (Autom. Softw. Eng., 2022)

Simulating and model checking membrane systems using strategies in Maude. - Rubén Rubio; Narciso Martí-Oliet; Isabel Pita; Alberto Verdejo (J. Log. Algebraic Methods Program., 2022)

Metalevel transformation of strategies. - Rubén Rubio; Narciso Martí-Oliet; Isabel Pita; Alberto Verdejo (J. Log. Algebraic Methods Program., 2022)

Generalization and completeness of stochastic local search algorithms. - Daniel Loscos; Narciso Martí-Oliet; Ismael Rodríguez 001 (Swarm Evol. Comput., 2022)

Strategies in Conditional Narrowing Modulo SMT Plus Axioms. - Luis Aguirre 001; Narciso Martí-Oliet; Miguel Palomino; Isabel Pita (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

QMaude: Quantitative Specification and Verification in Rewriting Logic. - Rubén Rubio; Narciso Martí-Oliet; Isabel Pita; Alberto Verdejo (FM, 2023)

The Maude strategy language. - Steven Eker; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Alberto Verdejo (J. Log. Algebraic Methods Program., 2023)

Programming Open Distributed Systems in Maude. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Carolyn L. Talcott (PPDP, 2024)

Learning Circuit Complexity of Boolean Functions. - Daniel Loscos; Narciso Martí-Oliet; Ismael Rodríguez 001; Jorge Villarrubia (SMC, 2024)

Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. - Rubén Rubio; Narciso Martí-Oliet; Isabel Pita; Alberto Verdejo (WRLA, 2024)

Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021). - Narciso Martí-Oliet (J. Log. Algebraic Methods Program., 2024)

Compositional Verification in Rewriting Logic. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (Theory Pract. Log. Program., 2024)

Preface to Rewriting Logic and Its Applications (revised selected papers from WRLA 2020). - Santiago Escobar 001; Narciso Martí-Oliet (J. Log. Algebraic Methods Program., 2025)

The difficulty of predicting behavior on stochastic local search algorithms. - Daniel Loscos; Narciso Martí-Oliet; Ismael Rodríguez 001 (Swarm Evol. Comput., 2025)