dblp.uni-trier.dewww.uni-trier.de

Carlos Gregorio-Rodríguez Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
16EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: On the Unification of Process Semantics: Observational Semantics. SOFSEM 2009: 279-290
15EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: (Bi)simulations up-to characterise process semantics. Inf. Comput. 207(2): 146-170 (2009)
2008
14EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Universal Coinductive Characterisations of Process Semantics. IFIP TCS 2008: 397-412
13EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. Electr. Notes Theor. Comput. Sci. 206: 41-58 (2008)
12EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electr. Notes Theor. Comput. Sci. 212: 149-162 (2008)
2007
11EEDavid de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodríguez: New Bisimulation Semantics for Distributed Systems. FORTE 2007: 143-159
10EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Simulations Up-to and Canonical Preorders: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 13-28 (2007)
2006
9EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Process Equivalences as Global Bisimulations. J. UCS 12(11): 1521-1550 (2006)
2005
8EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Bisimulations Up-to for the Linear Time Branching Time Spectrum. CONCUR 2005: 278-292
2004
7EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Preserving Contexts for Soft Conformance Relation. FATES 2004: 33-48
2002
6EECarlos Gregorio-Rodríguez, Pedro Palao-Gostanza: Ergotracer: An Internet User Behaviour Tracer. IICS 2002: 121-132
2001
5EECarlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, R. Martínez-Unanue, J. Ángel Velázquez-Iturbide: EXercita: automatic web publishing of programming exercises. ITiCSE 2001: 161-164
4 Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, R. Martínez, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide: EXercita. A System for Archiving and Publishing Programming Exercises. Computers and Education. Towards an Interconnected Society 2001: 187-197
1999
3EECarlos Gregorio-Rodríguez, Manuel Núñez: Denotational Semantics for Probabilistic Refusal Testing. Electr. Notes Theor. Comput. Sci. 22: (1999)
1997
2 Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza: Testing Semantics for a Probabilistic-Timed Process Algebra. ARTS 1997: 353-367
1995
1 Carlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza: La Potencia Expresiva de los Catamorfismos. GULP-PRODE 1995: 477-484

Coauthor Index

1Luis Fernando Llana Díaz [2] [4] [5]
2David de Frutos-Escrig [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
3M. Nunez Garcia [1]
4R. Martínez [4]
5R. Martínez-Unanue [5]
6Manuel Núñez [2] [3]
7Pedro Palao-Gostanza [1] [2] [4] [5] [6]
8Miguel Palomino [12] [16]
9Cristóbal Pareja-Flores (Cristóbal Pareja) [4] [5]
10Fernando Rosa Velardo [11]
11J. Ángel Velázquez-Iturbide [4] [5]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)