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

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

A case study in abstraction using E-LOTOS and the FireWire. - Carron Shankland; Alberto Verdejo (Comput. Networks, 2001)

Building Tools for LOTOS Symbolic Semantics in Maude. - Alberto Verdejo (FORTE, 2002)

A Conference Reviewing System in Mobile Maude. - Francisco Durán 001; Alberto Verdejo (WRLA, 2002)

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

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)

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)

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)

Typed Mobile Ambients in Maude. - Fernando Rosa-Velardo; Clara Segura; Alberto Verdejo (RULE@RDP, 2005)

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

Modular Structural Operational Semantics with Strategies. - Christiano Braga; Alberto Verdejo (SOS@CONCUR, 2006)

A Distributed Implementation of Mobile Maude. - Francisco Durán 001; Adrián Riesco 001; Alberto Verdejo (WRLA, 2006)

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

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. - Mercedes Hidalgo-Herrero; Alberto Verdejo; Yolanda Ortega-Mallén (WRS@FLoC, 2006)

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

Distributed Applications Implemented in Maude with Parameterized Skeletons. - Adrián Riesco 001; Alberto Verdejo (FMOODS, 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)

Strategies and simulations in a semantic framework. - Narciso Martí-Oliet; Miguel Palomino; Alberto Verdejo (J. Algorithms, 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)

Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. - Gustavo Santos-García; Miguel Palomino; Alberto Verdejo (DCAI, 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)

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. - Adrián Riesco 001; Alberto Verdejo (WRLA, 2008)

A Complete Declarative Debugger for Maude. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet (AMAST, 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)

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)

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)

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

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

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

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

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

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

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)

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)

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)

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

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