Logics for contravariant simulations I Fábregas, D de Frutos Escrig, M Palomino International Conference on Formal Methods for Open Object-Based Distributed …, 2010 | 24 | 2010 |
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 | 23 | 2009 |
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 | 17 | 2012 |
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 | 13 | 2011 |
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 | 12 | 2019 |
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 | 11 | 2021 |
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 | 8 | 2013 |
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 | 8 | 2008 |
Equational characterization of covariant-contravariant simulation and conformance simulation semantics I Fábregas, DF Escrig, M Palomino arXiv preprint arXiv:1008.2108, 2010 | 7 | 2010 |
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 | 4 | 2015 |
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 | 3 | 2024 |
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 | 3 | 2017 |
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 | 2 | 2019 |
When are prime formulae characteristic? L Aceto, D Della Monica, I Fábregas, A Ingólfsdóttir Theoretical Computer Science 777, 3-31, 2019 | 2 | 2019 |
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 | 2 | 2017 |
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 | 2 | 2007 |
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 |