Publicaciones en las que colabora con CARLOS GREGORIO RODRÍGUEZ (22)

2019

  1. 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

  2. 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

  1. An axiomatic semantics for iocos_ conformance relation

    Journal of Logical and Algebraic Methods in Programming, Vol. 100, pp. 152-184

2017

  1. 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

  2. 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

  1. Extending mCRL2 with ready simulation and iocos input-output conformance simulation

    Proceedings of the ACM Symposium on Applied Computing

2014

  1. 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

  1. 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)

  2. Unifying the linear time-branching time spectrum of strong process semantics

    Logical Methods in Computer Science, Vol. 9, Núm. 2

2009

  1. A Decentralized Model for Self-managed Web Services Applications

    International symposium on distributed computing and artificial intelligence 2008

  2. On the Unification of Process Semantics: Equational Semantics

    Electronic Notes in Theoretical Computer Science, Vol. 249, pp. 243-267

  3. 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)

  4. Ready to preorder: an algebraic and general proof

    Journal of Logic and Algebraic Programming, Vol. 78, Núm. 7, pp. 539-551

2008

  1. Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences

    Electronic Notes in Theoretical Computer Science, Vol. 212, Núm. C, pp. 149-162

2007

  1. New bisimulation semantics for distributed systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. Un campus virtual alternativo

    Cómo integrar investigación y docencia en el CV-UCM

2002

  1. A system to generate electronic books on programming exercises

    Electronic Library, Vol. 20, Núm. 4, pp. 314-321

  2. Ejercicios de programación: creativos y recreativos con C++

    Pearson Educación

2001

  1. EXercita - A System for Archiving and Publishing Programming Exercises

    Computers and Education: towards an Interconnected Society

  2. EXercita: Automatic web publishing of programming exercises

    Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE