Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Publicaciones en las que colabora con ADRIÁN RIESCO RODRÍGUEZ (12)
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
2012
-
Declarative debugging of rewriting logic specifications
Journal of Logic and Algebraic Programming
-
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
-
A complete declarative debugger for maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPECIFICATIONS
PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10)
-
Declarative debugging of missing answers for Maude specifications
Leibniz International Proceedings in Informatics, LIPIcs
-
Enhancing the debugging of maude specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
A Declarative Debugger for Maude Functional Modules
Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81
-
Declarative debugging of rewriting logic specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
A declarative debugger for Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A declarative debugger for Maude functional modules
Electronic Notes in Theoretical Computer Science
-
Declarative debugging of membership equational logic specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)