| 2009 |
|---|
| 16 | EE | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez,
Miguel Palomino:
On the Unification of Process Semantics: Observational Semantics.
SOFSEM 2009: 279-290 |
| 15 | EE | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
(Bi)simulations up-to characterise process semantics.
Inf. Comput. 207(2): 146-170 (2009) |
| 2008 |
|---|
| 14 | EE | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
Universal Coinductive Characterisations of Process Semantics.
IFIP TCS 2008: 397-412 |
| 13 | EE | 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) |
| 12 | EE | 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 |
|---|
| 11 | EE | David de Frutos-Escrig,
Fernando Rosa Velardo,
Carlos Gregorio-Rodríguez:
New Bisimulation Semantics for Distributed Systems.
FORTE 2007: 143-159 |
| 10 | EE | 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 |
|---|
| 9 | EE | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
Process Equivalences as Global Bisimulations.
J. UCS 12(11): 1521-1550 (2006) |
| 2005 |
|---|
| 8 | EE | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
Bisimulations Up-to for the Linear Time Branching Time Spectrum.
CONCUR 2005: 278-292 |
| 2004 |
|---|
| 7 | EE | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
Preserving Contexts for Soft Conformance Relation.
FATES 2004: 33-48 |
| 2002 |
|---|
| 6 | EE | Carlos Gregorio-Rodríguez,
Pedro Palao-Gostanza:
Ergotracer: An Internet User Behaviour Tracer.
IICS 2002: 121-132 |
| 2001 |
|---|
| 5 | EE | Carlos 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 |
|---|
| 3 | EE | Carlos 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 |
