Get started
Author

Ignacio Fábregas

Observed names: Fábregas, Ignacio, I. Fábregas
ORCID: 0000-0002-3045-4180
Observed ORCID: 0000-0002-3045-4180
OpenAlex ID: A5045544723
Specifying concurrent programs in separation logic: morphisms and simulations
2019 · Aleksandar Nanevski, Anindya Banerjee, et al. · Proceedings of the ACM on Programming Languages · 18
PDF
Logics for Contravariant Simulations
2010 · Ignacio Fábregas, David de Frutos Escrig, et al. · Lecture notes in computer science · 14
PDF
Non-strongly Stable Orders Also Define Interesting Simulation Relations
2009 · Ignacio Fábregas, David de Frutos Escrig, et al. · Lecture notes in computer science · 13
PDF
Graphical representation of covariant-contravariant modal formulae
2011 · Luca Aceto, Ignacio Fábregas, et al. · Electronic Proceedings in Theoretical Computer Science · 11
PDF
On algebraic abstractions for concurrent separation logics
2021 · František Farka, Aleksandar Nanevski, et al. · Proceedings of the ACM on Programming Languages · 7
PDF
On the specification of modal systems: A comparison of three frameworks
2013 · Luca Aceto, Ignacio Fábregas, et al. · Science of Computer Programming · 7
PDF
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations
2012 · Luca Aceto, Ignacio Fábregas, et al. · Lecture notes in computer science · 7
When are prime formulae characteristic?
2018 · Luca Aceto, Dario Della Monica, et al. · Theoretical Computer Science · 5
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics
2010 · Ignacio Fábregas, David de Frutos Escrig, et al. · Electronic Proceedings in Theoretical Computer Science · 4
PDF
When Are Prime Formulae Characteristic?
2015 · L. Aceto, D. Della Monica, et al. · Lecture notes in computer science · 3
Rule Formats for Nominal Process Calculi
2019 · Luca Aceto, Ignacio Fábregas, et al. · Logical Methods in Computer Science · 2
PDF
Rule Formats for Nominal Process Calculi
2018 · Aceto, Luca, Fábregas, Ignacio, et al. · Opin vísindi (Opin vísindi) · 2
PDF
Logical Characterisations and Compositionality of Input-Output Conformance Simulation
2017 · Luca Aceto, Ignacio Fábregas, et al. · Lecture notes in computer science · 2
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
2008 · David de Frutos Escrig, Miguel Palomino, et al. · Lecture notes in computer science · 2
PDF
A unified rule format for bounded nondeterminism in SOS with terms as labels
2017 · L. Aceto, I. Fábregas, et al. · Journal of Logical and Algebraic Methods in Programming · 1
PDF
Rule Formats for Nominal Process Calculi
2017 · Aceto, Luca, Fábregas, Ignacio, et al. · arXiv (Cornell University) · 1
PDF
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
2007 · Ignacio Fábregas, Miguel Palomino, et al. · Lecture notes in computer science · 1
PDF
On Algebraic Abstractions for Concurrent Separation Logics (artefact)
2020 · Farka, František, Nanevski, Aleksandar, et al. · Zenodo (CERN European Organization for Nuclear Research)
Logical characterisations, rule formats and compositionality for input-output conformance simulation
2019 · Luca Aceto, Ignacio Fábregas, et al. · Journal of Logical and Algebraic Methods in Programming
PDF
Works count: 23
Citation count: 100
H-index: 7
I10-index: 4
Year
Topic
Type