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
Formal Techniques for Distributed Systems, 224-231, 2010
212010
Non-strongly stable orders also define interesting simulation relations
I Fábregas, D de Frutos Escrig, M Palomino
International Conference on Algebra and Coalgebra in Computer Science, 221-235, 2009
192009
Relating modal refinements, covariant-contravariant simulations and partial bisimulations
L Aceto, I Fábregas, D de Frutos Escrig, A Ingólfsdóttir, M Palomino
International Conference on Fundamentals of Software Engineering, 268-283, 2011
142011
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
122011
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
Equational characterization of covariant-contravariant simulation and conformance simulation semantics
I Fábregas, DF Escrig, M Palomino
arXiv preprint arXiv:1008.2108, 2010
72010
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
72008
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
62019
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
5*2015
Rule formats for nominal process calculi
L Aceto, I Fábregas, Á García-Pérez, A Ingólfsdóttir, Y Ortega-Mallén
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
42017
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
Logical characterisations and compositionality of input-output conformance simulation
L Aceto, I Fábregas, C Gregorio-Rodríguez, A Ingólfsdóttir
International Conference on Current Trends in Theory and Practice of …, 2017
32017
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
22021
Reflection and preservation of properties in coalgebraic (bi) simulations
I Fábregas, M Palomino, D de Frutos Escrig
International Colloquium on Theoretical Aspects of Computing, 231-245, 2007
22007
Rule Formats for Nominal Process Calculi
Y Ortega-Mallén, A Ingólfsdóttir, Á García-Pérez, I Fábregas, L Aceto
Logical Methods in Computer Science 15, 2019
2019
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
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:1807.02081, 2018
2018
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
Multiset bisimulations as a common framework for ordinary and probabilistic bisimulations?
I Fábregas
The system can't perform the operation now. Try again later.
Articles 1–20