Ignacio Fbregas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2007–2017
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CONCUR | Rule Formats for Nominal Process Calculi. | Luca Aceto, Ignacio Fbregas, lvaro Garca-Prez, Anna Inglfsdttir, Yolanda Ortega-Malln |
| 2017 | SOFSEM | Logical Characterisations and Compositionality of Input-Output Conformance Simulation. | Luca Aceto, Ignacio Fbregas, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2015 | MFCS | When Are Prime Formulae Characteristic? | Luca Aceto, Dario Della Monica, Ignacio Fbregas, Anna Inglfsdttir |
| 2010 | FORTE | Logics for Contravariant Simulations. | Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino |
| 2009 | CALCO | Non-strongly Stable Orders Also Define Interesting Simulation Relations. | Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino |
| 2008 | FORTE | Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. | David de Frutos-Escrig, Miguel Palomino, Ignacio Fbregas |
| 2007 | ICTAC | Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. | Ignacio Fbregas, Miguel Palomino, David de Frutos-Escrig |