 | 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,
R. 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,
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 | | 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 |
