LUIS FERNANDO
LLANA DÍAZ
Profesor titular de universidad
CARLOS
GREGORIO RODRÍGUEZ
Profesor titular de universidad
Publications by the researcher in collaboration with CARLOS GREGORIO RODRÍGUEZ (10)
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
2018
-
An axiomatic semantics for iocos_ conformance relation
Journal of Logical and Algebraic Methods in Programming, Vol. 100, pp. 152-184
2015
-
Extending mCRL2 with ready simulation and iocos input-output conformance simulation
Proceedings of the ACM Symposium on Applied Computing
2014
-
Effectiveness for input output conformance simulation iocos
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)
2002
-
A system to generate electronic books on programming exercises
Electronic Library, Vol. 20, Núm. 4, pp. 314-321
-
Ejercicios de programación: creativos y recreativos con C++
Pearson Educación
2001
-
EXercita - A System for Archiving and Publishing Programming Exercises
Computers and Education: towards an Interconnected Society
-
EXercita: Automatic web publishing of programming exercises
Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE
2000
-
EXERCITA: una base de datos de material para prácticas de programación
VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones