Publicaciones en las que colabora con ADRIÁN RIESCO RODRÍGUEZ (12)

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

2012

  1. Declarative debugging of rewriting logic specifications

    Journal of Logic and Algebraic Programming

  2. Simplifying questions in maude declarative debugger by transforming proof trees

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

2011

  1. A complete declarative debugger for maude

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

2010

  1. DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPECIFICATIONS

    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10)

  2. Declarative debugging of missing answers for Maude specifications

    Leibniz International Proceedings in Informatics, LIPIcs

  3. Enhancing the debugging of maude specifications

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

2009

  1. A Declarative Debugger for Maude Functional Modules

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81

  2. Declarative debugging of rewriting logic specifications

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

2008

  1. A declarative debugger for Maude

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

  2. A declarative debugger for Maude functional modules

    Electronic Notes in Theoretical Computer Science

  3. Declarative debugging of membership equational logic specifications

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