| 2008 |
|---|
| 6 | EE | Adrián Riesco,
Alberto Verdejo,
Narciso Martí-Oliet,
Rafael Caballero:
A Declarative Debugger for Maude.
AMAST 2008: 116-121 |
| 5 | EE | Rafael Caballero,
Narciso Martí-Oliet,
Adrián Riesco,
Alberto Verdejo:
Declarative Debugging of Membership Equational Logic Specifications.
Concurrency, Graphs and Models 2008: 174-193 |
| 2007 |
|---|
| 4 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Adrián Riesco,
Alberto Verdejo:
Mobile Maude.
All About Maude 2007: 485-522 |
| 3 | EE | Adrián Riesco,
Alberto Verdejo:
Distributed Applications Implemented in Maude with Parameterized Skeletons.
FMOODS 2007: 91-106 |
| 2 | EE | Francisco Durán,
Adrián Riesco,
Alberto Verdejo:
A Distributed Implementation of Mobile Maude.
Electr. Notes Theor. Comput. Sci. 176(4): 113-131 (2007) |
| 2006 |
|---|
| 1 | EE | Manuel Clavel,
Miguel Palomino,
Adrián Riesco:
Introducing the ITP Tool: a Tutorial.
J. UCS 12(11): 1618-1650 (2006) |
