CARLOS
GREGORIO RODRÍGUEZ
Profesor titular de universidad
Publicaciones (41) Publicaciones en las que ha participado algún/a investigador/a
2022
-
Self-organization of plasticity and specialization in a primitively social insect
Cell Systems, Vol. 13, Núm. 9, pp. 768-779.e4
2019
-
Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study
Interactive Learning Environments, Vol. 27, Núm. 1, pp. 15-32
-
Logical characterisations, rule formats and compositionality for input-output conformance simulation
Journal of Logical and Algebraic Methods in Programming, Vol. 106, pp. 78-106
2018
-
An axiomatic semantics for iocos_ conformance relation
Journal of Logical and Algebraic Methods in Programming, Vol. 100, pp. 152-184
2017
-
Aplicando técnicas inspiradas en MOOCs en una asignatura de introducción a la programación
Las TIC en la enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de marzo de 2017, Facultad de Geografía e Historia (Universidad Complutense de Madrid), pp. 125-129
-
Logical characterisations and compositionality of input-output conformance simulation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
Extending mCRL2 with ready simulation and iocos input-output conformance simulation
Proceedings of the ACM Symposium on Applied Computing
2014
-
Axiomatizing weak simulation semantics over BCCSP
Theoretical Computer Science, Vol. 537, Núm. C, pp. 42-71
-
Effectiveness for input output conformance simulation iocos
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
WS-FMDS organizers' message
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
Input-output conformance simulation (iocos) for model based testing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Unifying the linear time-branching time spectrum of strong process semantics
Logical Methods in Computer Science, Vol. 9, Núm. 2
2012
-
The equational theory of weak complete simulation semantics over BCCSP
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
-
Axiomatizing weak ready simulation semantics over BCCSP
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
Information Processing Letters, Vol. 111, Núm. 9, pp. 408-413
2009
-
(Bi)simulations up-to characterise process semantics
Information and Computation
-
A Decentralized Model for Self-managed Web Services Applications
International symposium on distributed computing and artificial intelligence 2008
-
Internet: libertad, identidad y seguridad
Crítica, Año 59, Núm. 959, pp. 52-58
-
On the Unification of Process Semantics: Equational Semantics
Electronic Notes in Theoretical Computer Science, Vol. 249, pp. 243-267
-
On the unification of process semantics: Observational semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)