Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. - Ignacio Fábregas; Miguel Palomino; David de Frutos-Escrig (ICTAC, 2007)

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

Non-strongly Stable Orders Also Define Interesting Simulation Relations. - Ignacio Fábregas; David de Frutos-Escrig; Miguel Palomino (CALCO, 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)

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)

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)

Logical Characterisations and Compositionality of Input-Output Conformance Simulation. - Luca Aceto; Ignacio Fábregas; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (SOFSEM, 2017)

A unified rule format for bounded nondeterminism in SOS with terms as labels. - Luca Aceto; Ignacio Fábregas; Álvaro García-Pérez; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2017)

Logical characterisations, rule formats and compositionality for input-output conformance simulation. - Luca Aceto; Ignacio Fábregas; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2019)

Rule Formats for Nominal Process Calculi. - Luca Aceto; Ignacio Fábregas; Álvaro García-Pérez; Anna Ingólfsdóttir; Yolanda Ortega-Mallén (Log. Methods Comput. Sci., 2019)

Specifying concurrent programs in separation logic: morphisms and simulations. - Aleksandar Nanevski; Anindya Banerjee 001; Germán Andrés Delbianco; Ignacio Fábregas (Proc. ACM Program. Lang., 2019)

When are prime formulae characteristic? - Luca Aceto; Dario Della Monica; Ignacio Fábregas; Anna Ingólfsdóttir (Theor. Comput. Sci., 2019)

On algebraic abstractions for concurrent separation logics. - Frantisek Farka; Aleksandar Nanevski; Anindya Banerjee 001; Germán Andrés Delbianco; Ignacio Fábregas (Proc. ACM Program. Lang., 2021)