 | 2011 |
|---|
| 7 |       | Luca Aceto,
Ignacio Fábregas,
David de Frutos-Escrig,
Anna Ingólfsdóttir,
Miguel Palomino:
Graphical representation of covariant-contravariant modal formulae
EXPRESS 2011: 1-15 |
| 6 | | Luca Aceto,
Ignacio Fábregas,
David de Frutos-Escrig,
Anna Ingólfsdóttir,
Miguel Palomino:
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.
FSEN 2011: 268-283 |
| 2010 |
|---|
| 5 | | Ignacio Fábregas,
David de Frutos-Escrig,
Miguel Palomino:
Logics for Contravariant Simulations.
FMOODS/FORTE 2010: 224-231 |
| 4 | | Ignacio Fábregas,
David de Frutos-Escrig,
Miguel Palomino:
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics
SOS 2010: 1-14 |
| 2009 |
|---|
| 3 | | Ignacio Fábregas,
David de Frutos-Escrig,
Miguel Palomino:
Non-strongly Stable Orders Also Define Interesting Simulation Relations.
CALCO 2009: 221-235 |
| 2008 |
|---|
| 2 | | David de Frutos-Escrig,
Miguel Palomino,
Ignacio Fábregas:
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.
FORTE 2008: 283-298 |
| 2007 |
|---|
| 1 | | Ignacio Fábregas,
Miguel Palomino,
David de Frutos-Escrig:
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.
ICTAC 2007: 231-245 |
Data released under the ODC-BY 1.0 license — See also our legal information page