| 2017 | PPDP | Conditional narrowing modulo SMT and axioms. | Luis Aguirre, Narciso Mart-Oliet, Miguel Palomino, Isabel Pita |
| 2010 | FORTE | Logics for Contravariant Simulations. | Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino |
| 2009 | CALCO | Non-strongly Stable Orders Also Define Interesting Simulation Relations. | Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino |
| 2009 | SOFSEM | On the Unification of Process Semantics: Observational Semantics. | David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Miguel Palomino |
| 2008 | DCAI | Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. | Gustavo Santos-Garca, Miguel Palomino, Alberto Verdejo |
| 2008 | FORTE | Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. | David de Frutos-Escrig, Miguel Palomino, Ignacio Fbregas |
| 2007 | ICTAC | Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. | Ignacio Fbregas, Miguel Palomino, David de Frutos-Escrig |
| 2005 | CALCO | A Categorical Approach to Simulations. | Miguel Palomino, Jos Meseguer, Narciso Mart-Oliet |
| 2003 | CADE | Equational Abstractions. | Jos Meseguer, Miguel Palomino, Narciso Mart-Oliet |