Ignacio Fábregas Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir: Logical Characterisations and Compositionality of Input-Output Conformance Simulation. SOFSEM 2017: 37-48
2015
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir: When Are Prime Formulae Characteristic? MFCS (1) 2015: 76-88
2013
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino: On the specification of modal systems: A comparison of three frameworks. Sci. Comput. Program. 78(12): 2468-2487 (2013)
2011
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
2010
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgnacio Fábregas, David de Frutos-Escrig, Miguel Palomino: Logics for Contravariant Simulations. FMOODS/FORTE 2010: 224-231
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgnacio Fábregas, David de Frutos-Escrig, Miguel Palomino: Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics .SOS 2010: 1-14
2009
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgnacio Fábregas, David de Frutos-Escrig, Miguel Palomino: Non-strongly Stable Orders Also Define Interesting Simulation Relations. CALCO 2009: 221-235
2008
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas: Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. FORTE 2008: 283-298
2007
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgnacio Fábregas, Miguel Palomino, David de Frutos-Escrig: Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. ICTAC 2007: 231-245

Coauthor Index

1Luca Aceto[c9] [c8] [j1] [c7] [c6]
2David de Frutos-Escrig[j1] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
3Carlos Gregorio-Rodríguez[c9]
4Anna Ingólfsdóttir[c9] [c8] [j1] [c7] [c6]
5Dario Della Monica[c8]
6Miguel Palomino[j1] [c7] [c6] [c5] [c4] [c3] [c2] [c1]

 

Last update 2017-05-28 23:16 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page