Carlos Gregorio-Rodríguez

	2012
22		Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir: The Equational Theory of Weak Complete Simulation Semantics over BCCSP. SOFSEM 2012: 141-152
	2011
21		Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir: Axiomatizing Weak Ready Simulation Semantics over BCCSP. ICTAC 2011: 7-24
20		Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir: Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Inf. Process. Lett. 111(9): 408-413 (2011)
	2009
19		David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: On the Unification of Process Semantics: Observational Semantics. SOFSEM 2009: 279-290
18		David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: On the Unification of Process Semantics: Equational Semantics. Electr. Notes Theor. Comput. Sci. 249: 243-267 (2009)
17		David de Frutos-Escrig, Carlos Gregorio-Rodríguez: (Bi)simulations up-to characterise process semantics. Inf. Comput. 207(2): 146-170 (2009)
16		David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: Ready to preorder: an algebraic and general proof. J. Log. Algebr. Program. 78(7): 539-551 (2009)
	2008
15		David de Frutos-Escrig, Carlos Gregorio-Rodríguez: Universal Coinductive Characterisations of Process Semantics. IFIP TCS 2008: 397-412
14		David de Frutos-Escrig, Carlos Gregorio-Rodríguez: Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. Electr. Notes Theor. Comput. Sci. 206: 41-58 (2008)
13		David 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
12		David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez: New Bisimulation Semantics for Distributed Systems. FORTE 2007: 143-159
11		David 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
10		David de Frutos-Escrig, Carlos Gregorio-Rodríguez: Process Equivalences as Global Bisimulations. J. UCS 12(11): 1521-1550 (2006)
	2005
9		David de Frutos-Escrig, Carlos Gregorio-Rodríguez: Bisimulations Up-to for the Linear Time Branching Time Spectrum. CONCUR 2005: 278-292
	2004
8		David de Frutos-Escrig, Carlos Gregorio-Rodríguez: Preserving Contexts for Soft Conformance Relation. FATES 2004: 33-48
	2002
7		Carlos Gregorio-Rodríguez, Pedro Palao-Gostanza: Ergotracer: An Internet User Behaviour Tracer. IICS 2002: 121-132
6		Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, J. Ángel Velázquez-Iturbide, Pedro Palao-Gostanza: A system to generate electronic books on programming exercises. The Electronic Library 20(4): 314-321 (2002)
	2001
5		Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, Raquel 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
3		Carlos Gregorio-Rodríguez, Manuel Núñez: Denotational Semantics for Probabilistic Refusal Testing. Electr. Notes Theor. Comput. Sci. 22: 111-137 (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

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

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page