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.

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)

Verdejo López, José Alberto (2002) A tool for Full LOTOS in Maude. Technical report, 123-02 . pp. 1-51.

Gómez Martín, Marco Antonio and Gómez Martín, Pedro Pablo and Verdejo López, José Alberto and Pita Andreu, María Isabel and Segura Díaz, Clara María and Gómez Albarrán, Mª De Las Mercedes and Hernández Bécares, Jénnifer and Domenech Arellano, Jesús Javier and Costero Valero, Luís María and Doménech Arellano, Pedro Pablo (2019) Añadiendo mecanismos de ayuda en un juez on-line automático para soporte a mentorías académicas. [Proyecto de Innovación Docente]

Durán, Francisco and Verdejo López, José Alberto (2002) Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System. Technical report, 124-02 . pp. 1-31.

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)

Verdejo López, José Alberto and Martí Oliet, Narciso (2003) Executable Structural Operational Semantics in Maude. Technical report, 134-03 . pp. 1-73.

Verdejo López, José Alberto and Martí Oliet, Narciso (2000) Executing and verifying CCS in Maude. Technical report, 99-00 . pp. 1-47.

Verdejo López, José Alberto (2002) LOTOS Symbolic Semantics in Maude. Technical report, 122-02 . pp. 1-43.

Gómez Martín, Marco Antonio and Segura Díaz, Clara María and Ortega Mallén, Yolanda and Verdejo López, José Alberto and Martí Oliet, Narciso and Gómez Martín, Pedro Pablo and Carballa Corredoira, Boris and García Baameiro, Daniel and Martín Sánchez, Oscar and Domenech Arellano, Jesús Javier and Costero Valero, Luis María and Jacynycz García, Viktor Shamel (2019) La gamificación en la educación universitaria: aplicación a asignaturas de programación. [Proyecto de Innovación Docente]

Verdejo López, José Alberto (2004) Maude como marco semántico ejecutable. [Thesis]

Martín Sánchez, Óscar and Verdejo López, José Alberto and Martí-Oliet, Narciso (2017) Modular specification in rewriting logic (extended version). [ ] (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 Verdejo López, José Alberto (2007) The EIGRP Protocol in Maude. Informe Técnico (3/07). (Unpublished)

Verdejo López, José Alberto and Pita Andreu, María Isabel and Martí Oliet, Narciso (2001) The Leader Election Protocol of IEEE 1394 in Maude. Technical report, 118.01 . pp. 1-40.

Hidalgo Herrero, Mercedes and Verdejo López, José Alberto and Ortega Mallén, Yolanda (2007) Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electronic Notes in Theoretical Computer Science, 174 . pp. 119-137. ISSN 15710661

This list was generated on Thu Nov 14 13:29:30 2019 CET.