Ignacio Fábregas

According to our database, Ignacio Fábregas authored at least 15 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

On algebraic abstractions for concurrent separation logics.

Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas

Proc. ACM Program. Lang., 2021

2019

When are prime formulae characteristic?

Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir

Theor. Comput. Sci., 2019

Specifying concurrent programs in separation logic: morphisms and simulations.

Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas

Proc. ACM Program. Lang., 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

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

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 and Compositionality of Input-Output Conformance Simulation.

Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

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

2011

Graphical representation of covariant-contravariant modal formulae

Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 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

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010

Logics for Contravariant Simulations.

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino

Proceedings of the Formal Techniques for Distributed Systems, 2010

2009

Non-strongly Stable Orders Also Define Interesting Simulation Relations.

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.

David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.

Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig

Proceedings of the Theoretical Aspects of Computing, 2007