Follow
Ignacio Fábregas
Ignacio Fábregas
Associate Profesor of Computer Science at Universidad Complutense de Madrid
Verified email at ucm.es
Title
Cited by
Cited by
Year
Logics for contravariant simulations
I Fábregas, D de Frutos Escrig, M Palomino
International Conference on Formal Methods for Open Object-Based Distributed …, 2010
242010
Non-strongly stable orders also define interesting simulation relations
I Fábregas, D de Frutos Escrig, M Palomino
Algebra and Coalgebra in Computer Science: Third International Conference …, 2009
232009
Relating modal refinements, covariant-contravariant simulations and partial bisimulations
L Aceto, I Fábregas, D de Frutos Escrig, A Ingólfsdóttir, M Palomino
Fundamentals of Software Engineering: 4th IPM International Conference, FSEN …, 2012
172012
Graphical representation of covariant-contravariant modal formulae
L Aceto, I Fábregas, D de Frutos-Escrig, A Ingólfsdóttir, M Palomino
arXiv preprint arXiv:1108.4464, 2011
132011
Specifying concurrent programs in separation logic: morphisms and simulations
A Nanevski, A Banerjee, GA Delbianco, I Fábregas
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
122019
On algebraic abstractions for concurrent separation logics
F Farka, A Nanevski, A Banerjee, GA Delbianco, I Fábregas
Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021
112021
On the specification of modal systems: A comparison of three frameworks
L Aceto, I Fábregas, D de Frutos-Escrig, A Ingólfsdóttir, M Palomino
Science of Computer Programming 78 (12), 2468-2487, 2013
82013
Multiset bisimulations as a common framework for ordinary and probabilistic bisimulations
D de Frutos Escrig, M Palomino, I Fábregas
International Conference on Formal Techniques for Networked and Distributed …, 2008
82008
Equational characterization of covariant-contravariant simulation and conformance simulation semantics
I Fábregas, DF Escrig, M Palomino
arXiv preprint arXiv:1008.2108, 2010
72010
When are prime formulae characteristic?
L Aceto, D Della Monica, I Fábregas, A Ingólfsdóttir
International Symposium on Mathematical Foundations of Computer Science, 76-88, 2015
42015
Rule formats for nominal process calculi
L Aceto, I Fábregas, Á García-Pérez, A Ingólfsdóttir, Y Ortega-Mallén
arXiv preprint arXiv:2402.00982, 2024
32024
A unified rule format for bounded nondeterminism in SOS with terms as labels
L Aceto, I Fábregas, Á García-Pérez, A Ingólfsdóttir
Journal of Logical and Algebraic Methods in Programming 92, 64-86, 2017
32017
Rule Formats for Nominal Process Calculi
L Aceto, I Fábregas, Á García-Pérez, A Ingólfsdóttir, Y Ortega-Mallén
Logical Methods in Computer Science 15, 2019
22019
When are prime formulae characteristic?
L Aceto, D Della Monica, I Fábregas, A Ingólfsdóttir
Theoretical Computer Science 777, 3-31, 2019
22019
Logical characterisations and compositionality of input-output conformance simulation
L Aceto, I Fábregas, C Gregorio-Rodríguez, A Ingólfsdóttir
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International …, 2017
22017
Reflection and preservation of properties in coalgebraic (bi) simulations
I Fábregas, M Palomino, D de Frutos Escrig
Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007
22007
Logical characterisations, rule formats and compositionality for input-output conformance simulation
L Aceto, I Fábregas, C Gregorio-Rodríguez, A Ingólfsdóttir
Journal of Logical and Algebraic Methods in Programming 106, 78-106, 2019
2019
When are prime formulae characteristic?
L Aceto, D Della Monica, I Fábregas, A Ingólfsdóttir
International Symposium on Mathematical Foundations of Computer Science, 76-88, 2015
2015
On Linear Contravariant Semantics
I Fábregas, D de Frutos Escrig, M Palomino
WADT 2012 Preliminary Proceedings, 51, 2012
2012
Reflection and Preservation of Properties in Coalgebraic (bi) Simulations
I Fabregas, M Palomino, D de Frutos Escrig
Theoretical aspects of computing: ICTAC 2007: 4th international colloquium …, 2007
2007
The system can't perform the operation now. Try again later.
Articles 1–20