Ignacio Fábregas

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 21

Top Topics

Sets Of Probability Measures

Propositional Calculus

Concurrent Programs

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When Are Prime Formulae Characteristic? CoRR (2024)
Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. CoRR (2024)
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Non-strongly Stable Orders Also Define Interesting Simulation Relations. CoRR (2024)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
A unified rule format for bounded nondeterminism in SOS with terms as labels. CoRR (2024)
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Logics for Contravariant Simulations. CoRR (2024)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CoRR (2024)
David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. CoRR (2024)
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
Logical characterisations, rule formats and compositionality for input-output conformance simulation. CoRR (2024)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
On the specification of modal systems: A comparison of three frameworks. CoRR (2024)
Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
On algebraic abstractions for concurrent separation logics. Proc. ACM Program. Lang. 5 (POPL) (2021)
Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
On Algebraic Abstractions for Concurrent Separation Logics. CoRR (2020)
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
Specifying concurrent programs in separation logic: morphisms and simulations. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When are prime formulae characteristic? Theor. Comput. Sci. 777 (2019)
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations. CoRR (2019)
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
Logical characterisations, rule formats and compositionality for input-output conformance simulation. J. Log. Algebraic Methods Program. 106 (2019)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. Log. Methods Comput. Sci. 15 (4) (2019)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CoRR (2018)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CONCUR (2017)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
A unified rule format for bounded nondeterminism in SOS with terms as labels. J. Log. Algebraic Methods Program. 92 (2017)
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
Logical Characterisations and Compositionality of Input-Output Conformance Simulation. SOFSEM (2017)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When Are Prime Formulae Characteristic? MFCS (1) (2015)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
On the specification of modal systems: A comparison of three frameworks. Sci. Comput. Program. 78 (12) (2013)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. FSEN (2011)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
Graphical representation of covariant-contravariant modal formulae EXPRESS (2011)
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Logics for Contravariant Simulations. FMOODS/FORTE (2010)
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics SOS (2010)
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Non-strongly Stable Orders Also Define Interesting Simulation Relations. CALCO (2009)
David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. FORTE (2008)
Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. ICTAC (2007)