Parameterized Strategies Specification in Maude. - Rubén Rubio; Narciso Martí-Oliet; Isabel Pita; Alberto Verdejo (WADT, 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)

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)

A Simple Rewrite System for the Normalization of Linear Temporal Logic. - Javier Esparza; Rubén Rubio; Salomon Sickert (Principles of Systems Design, 2022)

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)

Theorem Proving for Maude Specifications Using Lean. - Rubén Rubio; Adrián Riesco 001 (ICFEM, 2022)

Improving Database Learning with an Automatic Judge. - Enrique Martin-Martin; Manuel Montenegro; Adrián Riesco 001; Rubén Rubio (SEKE, 2022)

An Overview of the Maude Strategy Language and its Applications. - Rubén Rubio (WRLA@ETAPS, 2022)

Maude as a Library: An Efficient All-Purpose Programming Interface. - Rubén Rubio (WRLA@ETAPS, 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)

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

Verification of the ROS NavFn planner using executable specification languages. - Enrique Martin-Martin; Manuel Montenegro; Adrián Riesco 001; Juan Rodríguez-Hortalá; Rubén Rubio (J. Log. Algebraic Methods Program., 2023)

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

Validity of Contextual Formulas. - Javier Esparza; Rubén Rubio (CONCUR, 2024)

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)

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

Validity of contextual formulas (extended version). - Javier Esparza; Rubén Rubio (CoRR, 2024)

Efficient Normalization of Linear Temporal Logic. - Javier Esparza; Rubén Rubio; Salomon Sickert (J. ACM, 2024)

Maude2Lean: Theorem proving for Maude specifications using Lean. - Rubén Rubio; Adrián Riesco 001 (J. Log. Algebraic Methods Program., 2025)