Publicaciones en las que colabora con MIGUEL PALOMINO TARJUELO (8)

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. 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)