Carlos Gregorio-Rodrguez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2001–2017
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SOFSEM | Logical Characterisations and Compositionality of Input-Output Conformance Simulation. | Luca Aceto, Ignacio Fbregas, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2015 | SAC | Extending mCRL2 with ready simulation and iocos input-output conformance simulation. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2014 | FORTE | Effectiveness for Input Output Conformance Simulation iocos̱. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2013 | FORTE | Input-Output Conformance Simulation (iocos) for Model Based Testing. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2012 | SOFSEM | The Equational Theory of Weak Complete Simulation Semantics over BCCSP. | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2011 | ICTAC | Axiomatizing Weak Ready Simulation Semantics over BCCSP. | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2009 | SOFSEM | On the Unification of Process Semantics: Observational Semantics. | David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Miguel Palomino |
| 2007 | FORTE | New Bisimulation Semantics for Distributed Systems. | David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodrguez |
| 2005 | CONCUR | Bisimulations Up-to for the Linear Time Branching Time Spectrum. | David de Frutos-Escrig, Carlos Gregorio-Rodrguez |
| 2001 | ITiCSE | EXercita: automatic web publishing of programming exercises. | Carlos Gregorio-Rodrguez, Luis Fernando Llana Daz, Pedro Palao-Gostanza, Cristbal Pareja-Flores, Raquel Martnez-Unanue, J. ngel Velzquez-Iturbide |