| Input-output conformance simulation (iocos) for model based testing C Gregorio-Rodríguez, L Llana, R Martínez-Torres International Conference on Formal Methods for Open Object-Based Distributed …, 2013 | 28 | 2013 |
| Espacios maker: herramienta motivacional para estudiantes de ingeniería eléctrica de la Universidad Técnica de Manabí, Ecuador J Pérez, C Rodriguez, M Rodriguez, C Villacreses Espacios 41 (02), 8, 2020 | 27 | 2020 |
| Denotational semantics for probabilistic refusal testing C Gregorio-Rodríguez, M Núñez Electronic Notes in Theoretical Computer Science 22, 111-137, 1999 | 25 | 1999 |
| Bisimulations up-to for the linear time branching time spectrum D de Frutos Escrig, CG Rodríguez International Conference on Concurrency Theory, 278-292, 2005 | 22 | 2005 |
| Ready to preorder: an algebraic and general proof CG Rodríguez, M Palomino The Journal of Logic and Algebraic Programming 78 (7), 539-551, 2009 | 20 | 2009 |
| Universal coinductive characterisations of process semantics DF Escrig, CG Rodríguez Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 20 | 2008 |
| Successful therapeutic use of rituximab in refractory membranous glomerulonephritis. M Cobo, D Hernandez, C Rodriguez, L Pérez-Tamajón Clinical nephrology 66 (1), 2006 | 20 | 2006 |
| Unifying the linear time-branching time spectrum of process semantics D de Frutos Escrig, C Gregorio-Rodríguez, M Palomino, DR Hernández Logical Methods in Computer Science 9, 2013 | 17 | 2013 |
| On the unification of process semantics: Equational semantics D de Frutos Escrig, CG Rodríguez, M Palomino Electronic Notes in Theoretical Computer Science 249, 243-267, 2009 | 16 | 2009 |
| Simulations up-to and canonical preorders D de Frutos Escrig, CG Rodríguez Electronic Notes in Theoretical Computer Science 192 (1), 13-28, 2007 | 16 | 2007 |
| Coinductive characterisations reveal nice relations between preorders and equivalences D de Frutos Escrig, CG Rodríguez, M Palomino Electronic Notes in Theoretical Computer Science 212, 149-162, 2008 | 15 | 2008 |
| New bisimulation semantics for distributed systems D de Frutos-Escrig, F Rosa-Velardo, C Gregorio-Rodríguez International Conference on Formal Techniques for Networked and Distributed …, 2007 | 15 | 2007 |
| Los recursos marítimos y el registro arqueológico de Lixus (Larache, Marruecos) CA Gascó, CGR Santana, MJR García Historia de la pesca en el ámbito del Estrecho: I Conferencia Internacional …, 2006 | 15 | 2006 |
| Testing semantics for a probabilistic-timed process algebra C Gregorio-Rodríguez, L Llana-Díaz, M Núñez, P Palao-Gostanza Transformation-Based Reactive Systems Development: 4th International AMAST …, 1997 | 14 | 1997 |
| Extending mCRL2 with ready simulation and iocos input-output conformance simulation C Gregorio-Rodríguez, L Llana, R Martínez-Torres Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1781-1788, 2015 | 13 | 2015 |
| Effectiveness for input output conformance simulation iocos C Gregorio-Rodríguez, L Llana, R Martínez-Torres International Conference on Formal Techniques for Distributed Objects …, 2014 | 12 | 2014 |
| On the unification of process semantics: observational semantics D de Frutos Escrig, C Gregorio Rodríguez, M Palomino International Conference on Current Trends in Theory and Practice of …, 2009 | 11 | 2009 |
| Datos para la gestión pesquera de Lixus (Larache, Marruecos) C Aranegui, CG Rodríguez, MJ Rodrigo BAR INTERNATIONAL SERIES 1686, 205, 2007 | 11 | 2007 |
| EXercita C Gregorio Rodríguez, LF Llana Díaz, R Martínez Unanue, ... Computers and Education, 187-197, 2002 | 9 | 2002 |
| Estudio de pre-factibildiad para la producción y exportación de aceite de palta C Rodríguez Lima: Tesis Pontificia Universidad Católica del Perú, 2014 | 8 | 2014 |
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Verified email at ucm.es
