Equational Abstractions. - José Meseguer 001; Miguel Palomino; Narciso Martí-Oliet (CADE, 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)

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)

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 Categorical Approach to Simulations. - Miguel Palomino; José Meseguer 001; Narciso Martí-Oliet (CALCO, 2005)

Solving Sudoku Puzzles with Rewriting Rules. - Gustavo Santos-García; Miguel Palomino (WRLA, 2006)

Introducing the ITP Tool: a Tutorial. - Manuel Clavel; Miguel Palomino; Adrián Riesco 001 (J. Univers. Comput. Sci., 2006)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. - Ignacio Fábregas; Miguel Palomino; David de Frutos-Escrig (ICTAC, 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)

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)

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. - Manuel Clavel; José Meseguer 001; Miguel Palomino (Theor. Comput. Sci., 2007)

A comparison between two logical formalisms for rewriting. - Miguel Palomino (Theory Pract. Log. Program., 2007)

Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. - Gustavo Santos-García; Miguel Palomino; Alberto Verdejo (DCAI, 2008)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. - David de Frutos-Escrig; Miguel Palomino; Ignacio Fábregas (FORTE, 2008)

Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Miguel Palomino (FICS, 2008)

Formal Logic. - Miguel Palomino (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Non-strongly Stable Orders Also Define Interesting Simulation Relations. - Ignacio Fábregas; David de Frutos-Escrig; Miguel Palomino (CALCO, 2009)

On the Unification of Process Semantics: Observational Semantics. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Miguel Palomino (SOFSEM, 2009)

On the Unification of Process Semantics: Equational Semantics. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Miguel Palomino (MFPS, 2009)

Ready to preorder: an algebraic and general proof. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Miguel Palomino (J. Log. Algebraic Methods Program., 2009)

Logics for Contravariant Simulations. - Ignacio Fábregas; David de Frutos-Escrig; Miguel Palomino (FMOODS/FORTE, 2010)

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics - Ignacio Fábregas; David de Frutos-Escrig; Miguel Palomino (SOS, 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)

Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. - Luca Aceto; Ignacio Fábregas; David de Frutos-Escrig; Anna Ingólfsdóttir; Miguel Palomino (FSEN, 2011)

Graphical representation of covariant-contravariant modal formulae - Luca Aceto; Ignacio Fábregas; David de Frutos-Escrig; Anna Ingólfsdóttir; Miguel Palomino (EXPRESS, 2011)

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

Unifying the Linear Time-Branching Time Spectrum of Process Semantics - David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Miguel Palomino; David Romero-Hernández (Log. Methods Comput. Sci., 2013)

On the specification of modal systems: A comparison of three frameworks. - Luca Aceto; Ignacio Fábregas; David de Frutos-Escrig; Anna Ingólfsdóttir; Miguel Palomino (Sci. Comput. Program., 2013)

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

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

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

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)