Travelled to:1 × Austria
1 × Spain
1 × United Kingdom
Collaborated with:D.d.Frutos-Escrig L.Llana R.Martínez-Torres L.F.L.Díaz P.Palao-Gostanza C.Pareja-Flores R.Martínez-Unanue J.Á.Velázquez-Iturbide
Talks about:conform (2) simul (2) xercita (1) publish (1) program (1) preserv (1) exercis (1) context (1) automat (1) output (1)
Person: Carlos Gregorio-Rodríguez
DBLP: Gregorio-Rodr=iacute=guez:Carlos
Contributed to:
2015
2004
2001Wrote 3 papers:
- SAC-2015-Gregorio-Rodriguez #consistency #simulation
- Extending mCRL2 with ready simulation and iocos input-output conformance simulation (CGR, LL, RMT), pp. 1781–1788.
- FATES-2004-Frutos-EscrigG #consistency
- Preserving Contexts for Soft Conformance Relation (DdFE, CGR), pp. 33–48.
- ITiCSE-2001-Gregorio-RodriguezDPPMV #automation #named #programming #web
- EXercita: automatic web publishing of programming exercises (CGR, LFLD, PPG, CPF, RMU, JÁVI), pp. 161–164.