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

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

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

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)

A Maude specification of an object-oriented model for telecommunication networks. - Isabel Pita; Narciso Martí-Oliet (Theor. Comput. Sci., 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)

Proving VLRL Action Properties with the Maude Model Checker. - Miguel Palomino; Isabel Pita (WRLA, 2004)

Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. - Isabel Pita; Miguel Palomino (PROLE, 2004)

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)

Verification of CRWL Programs with Rewriting Logic. - José Miguel Cleva; Isabel Pita (J. Univers. Comput. Sci., 2006)

Interactive Learning of Data Structures and Algorithmic Schemes. - Clara Segura; Isabel Pita; Rafael del Vado Vírseda; Ana Isabel Saiz; Pablo Soler (ICCS (1), 2008)

A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. - Isabel Pita; Adrián Riesco 001 (PROLE, 2011)

Formal Specification of the Kademlia and the Kad Routing Tables in Maude. - Isabel Pita; María-Inés Fernández-Camacho (WADT, 2012)

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

Specifying and Analyzing the Kademlia Protocol in Maude. - Isabel Pita; Adrián Riesco 001 (ICTAC, 2015)

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)

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)

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)

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)

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