|
Search the dblp DataBase
Ignacio Fábregas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. [Citation Graph (0, 0)][DBLP] ICTAC, 2007, pp:231-245 [Conf]
Non-strongly Stable Orders Also Define Interesting Simulation Relations. [Citation Graph (, )][DBLP]
Logics for Contravariant Simulations. [Citation Graph (, )][DBLP]
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. [Citation Graph (, )][DBLP]
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|