Publications (23) IGNACIO FÁBREGAS ALFARO publications

2021

  1. On algebraic abstractions for concurrent separation logics

    Proceedings of the ACM on Programming Languages, Vol. 5, Núm. POPL

2019

  1. La complejidad se ha comido a mi videojuego

    Ensayos y errores: arte, ciencia y filosofía en los videojuegos (Anaitgames), pp. 157-177

  2. Logical characterisations, rule formats and compositionality for input-output conformance simulation

    Journal of Logical and Algebraic Methods in Programming, Vol. 106, pp. 78-106

  3. Rule formats for nominal process calculi

    Logical Methods in Computer Science, Vol. 15, Núm. 4

  4. Specifying concurrent programs in separation logic: Morphisms and simulations

    Proceedings of the ACM on Programming Languages, Vol. 3, Núm. OOPSLA

  5. When are prime formulae characteristic?

    Theoretical Computer Science, Vol. 777, pp. 3-31

2017

  1. A unified rule format for bounded nondeterminism in SOS with terms as labels

    Journal of Logical and Algebraic Methods in Programming, Vol. 92, pp. 64-86

  2. Logical characterisations and compositionality of input-output conformance simulation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Rule formats for nominal process calculi

    Leibniz International Proceedings in Informatics, LIPIcs

2015

  1. When are prime formulae characteristic?

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2013

  1. On the specification of modal systems: A comparison of three frameworks

    Science of Computer Programming

2012

  1. Relating modal refinements, covariant-contravariant simulations and partial bisimulations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011

  1. Graphical representation of covariant-contravariant modal formulae

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2010

  1. Equational characterization of covariant-contravariant simulation and conformance simulation semantics

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Logics for contravariant simulations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. Moodle: una experiencia de comunicación profesor-alumno desde el software libre

    Buenas prácticas e indicios de calidad

  2. Non-strongly stable orders also define interesting simulation relations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2008

  1. Multiset bisimulations as a common framework for ordinary and probabilistic bisimulations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. Reflection and preservation of properties in coalgebraic (bi)simulations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. Sobre redes de Petri difusas

    Actas del I Simposio sobre Lógica Fuzzy y Soft Computing