Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 18.

Martín Martín, Enrique and Montenegro Montes, Manuel and Riesco Rodríguez, Adrián and Rosa Velardo, Fernando and Tamarit Muñoz, Salvador (2015) Estudio de viabilidad de un entorno de aprendizaje colaborativo de lenguajes de programación. [Proyecto de Innovación Docente]

Caballero Roldán, Rafael and Martín Martín, Enrique and Montenegro Montes, Manuel and Riesco Rodríguez, Adrián and Tamarit Muñoz, Salvador (2016) Implementación de un entorno de aprendizaje colaborativo de lenguajes de programación mediante traducción. [Proyecto de Innovación Docente]

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael (2009) A Declarative Debugger for Maude Specifications: User Guide. [ Technical Report SIC; 7-09, ] (Submitted)

Pita Andreu, Isabel and Riesco Rodríguez, Adrián (2017) A Maude specification of the Kademlia distributed hash table: centralized version. [ ] (Unpublished)

Martín Martín, Enrique and Riesco Rodríguez, Adrián and Montenegro Montes, Manuel and Tamarit Muñoz, Salvador and Sánchez Hernández, Jaime and Gregorio Rodríguez, Carlos (2016) Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad. [Proyecto de Innovación Docente]

Caballero, Rafael and Martí Oliet, Narciso and Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) Declarative Debugging of Maude Functional Modules. [ Technical Report SIC; 4-07, ] (Submitted)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Caballero, Rafael and Martí Oliet, Narciso (2008) Declarative Debugging of Maude Modules. [ Technical Report SIC; 6/08, ]

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso (2009) Declarative Debugging of Missing Answers in Rewriting Logic. [ Technical Report SIC; 6-09, ] (Unpublished)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael (2010) Declarative debugging of rewriting logic specifications. [ Technical Report SIC; nº 10, 2, ] (Unpublished)

Riesco Rodríguez, Adrián (2012) Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude. [Thesis]

Carro Albarrán, David and Riesco Rodríguez, Adrián and Rodríguez Martínez, Francisco Pedro (2005) Fractal Go. [Coursework] (Unpublished)

Montenegro Montes, Manuel and Martin Martin, Enrique and Riesco Rodríguez, Adrián and Saavedra López, Santiago and Suárez García, Gorka (2019) Herramienta interactiva de manipulación y corrección de entregas de ejercicios en asignaturas con evaluación continua. [Proyecto de Innovación Docente]

Martín Martín, Enrique and Riesco Rodríguez, Adrián and Sánchez Hernández, Jaime and Gregorio Rodríguez, Carlos and López Fraguas, Francisco Javier and Tamarit, Salvador and Congosto Sandoval, Carlos and Cartula Torrecilla, Rafael (2017) Implementación de un sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos. [Proyecto de Innovación Docente]

Codescu, Mihai and Mossakowski, Till and Riesco Rodríguez, Adrián and Christian, Maeder (2010) Integrating Maude into Hets. [ ] (Unpublished)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) Parameterized skeletons in Maude. [ Technical Report 1/07; ] (Unpublished)

Riesco Rodríguez, Adrián and Rodríguez-Hortalá, Juan (2010) Programming with Singular and Plural Non-deterministic Functions. In PEPM '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM. ACM, New York, pp. 83-92. ISBN 978-1-60558-727-1

Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) The EIGRP Protocol in Maude. Informe Técnico (3/07). (Unpublished)

Martín Martín, Enrique and Montenegro Montes, Manuel and Riesco Rodríguez, Adrián and Sánchez, Jaime and Carmona Ruber, Jorge and Tamarit, Salvador and López Fraguas, Francisco Javier and Torre Romero, Raúl and Alcobendas Pastor, José Antonio (2018) Tutoriales interactivos para el estudio de la programación: impacto en el aprendizaje. [Proyecto de Innovación Docente]

This list was generated on Thu Aug 22 07:54:27 2019 CEST.