La Potencia Expresiva de los Catamorfismos. - Carlos Gregorio-Rodríguez; M. Nunez Garcia; Pedro Palao-Gostanza (GULP-PRODE, 1995)

Testing Semantics for a Probabilistic-Timed Process Algebra. - Carlos Gregorio-Rodríguez; Luis Fernando Llana Díaz; Manuel Núñez 001; Pedro Palao-Gostanza (ARTS, 1997)

Denotational Semantics for Probabilistic Refusal Testing. - Carlos Gregorio-Rodríguez; Manuel Núñez 001 (PROBMIV, 1998)

EXercita. A System for Archiving and Publishing Programming Exercises. - Carlos Gregorio-Rodríguez; Luis Fernando Llana Díaz; R. Martínez; Pedro Palao-Gostanza; Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (Computers and Education. Towards an Interconnected Society, 2001)

EXercita: automatic web publishing of programming exercises. - Carlos Gregorio-Rodríguez; Luis Fernando Llana Díaz; Pedro Palao-Gostanza; Cristóbal Pareja-Flores; Raquel Martínez-Unanue 001; J. Ángel Velázquez-Iturbide (ITiCSE, 2001)

Ergotracer: An Internet User Behaviour Tracer. - Carlos Gregorio-Rodríguez; Pedro Palao-Gostanza (IICS, 2002)

A system to generate electronic books on programming exercises. - Carlos Gregorio-Rodríguez; Luis Fernando Llana Díaz; Cristóbal Pareja-Flores; Raquel Martínez-Unanue 001; J. Ángel Velázquez-Iturbide; Pedro Palao-Gostanza (Electron. Libr., 2002)

Preserving Contexts for Soft Conformance Relation. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez (FATES, 2004)

Bisimulations Up-to for the Linear Time Branching Time Spectrum. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez (CONCUR, 2005)

Process Equivalences as Global Bisimulations. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez (J. Univers. Comput. Sci., 2006)

New Bisimulation Semantics for Distributed Systems. - David de Frutos-Escrig; Fernando Rosa-Velardo; Carlos Gregorio-Rodríguez (FORTE, 2007)

Simulations Up-to and Canonical Preorders: (Extended Abstract). - David de Frutos-Escrig; Carlos Gregorio-Rodríguez (SOS@LICS/ICALP, 2007)

Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez (PROLE, 2007)

Universal Coinductive Characterisations of Process Semantics. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez (IFIP TCS, 2008)

Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Miguel Palomino (FICS, 2008)

On the Unification of Process Semantics: Observational Semantics. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Miguel Palomino (SOFSEM, 2009)

On the Unification of Process Semantics: Equational Semantics. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Miguel Palomino (MFPS, 2009)

(Bi)simulations up-to characterise process semantics. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez (Inf. Comput., 2009)

Ready to preorder: an algebraic and general proof. - David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Miguel Palomino (J. Log. Algebraic Methods Program., 2009)

Axiomatizing Weak Ready Simulation Semantics over BCCSP. - Luca Aceto; David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (ICTAC, 2011)

Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. - Luca Aceto; David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (Inf. Process. Lett., 2011)

The Equational Theory of Weak Complete Simulation Semantics over BCCSP. - Luca Aceto; David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (SOFSEM, 2012)

Input-Output Conformance Simulation (iocos) for Model Based Testing. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (FMOODS/FORTE, 2013)

Unifying the Linear Time-Branching Time Spectrum of Process Semantics - David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Miguel Palomino; David Romero-Hernández (Log. Methods Comput. Sci., 2013)

Effectiveness for Input Output Conformance Simulation iocos̱. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (FORTE, 2014)

Axiomatizing weak simulation semantics over BCCSP. - Luca Aceto; David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (Theor. Comput. Sci., 2014)

Extending mCRL2 with ready simulation and iocos input-output conformance simulation. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (SAC, 2015)

Logical Characterisations and Compositionality of Input-Output Conformance Simulation. - Luca Aceto; Ignacio Fábregas; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (SOFSEM, 2017)

An axiomatic semantics for iocos_ conformance relation. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (J. Log. Algebraic Methods Program., 2018)

Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study. - Jose Luis Brita-Paja; Carlos Gregorio-Rodríguez; Luis Llana; Cristóbal Pareja; Adrián Riesco 001 (Interact. Learn. Environ., 2019)

Logical characterisations, rule formats and compositionality for input-output conformance simulation. - Luca Aceto; Ignacio Fábregas; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2019)