 | 2009 |
|---|
| 9 |       | Adrián Riesco,
Alberto Verdejo:
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol.
Electr. Notes Theor. Comput. Sci. 238(3): 249-266 (2009) |
| 8 | | Rafael Caballero,
Narciso Martí-Oliet,
Adrián Riesco,
Alberto Verdejo:
A Declarative Debugger for Maude Functional Modules.
Electr. Notes Theor. Comput. Sci. 238(3): 63-81 (2009) |
| 2008 |
|---|
| 7 | | Adrián Riesco,
Alberto Verdejo,
Narciso Martí-Oliet,
Rafael Caballero:
A Declarative Debugger for Maude.
AMAST 2008: 116-121 |
| 6 | | Rafael Caballero,
Narciso Martí-Oliet,
Adrián Riesco,
Alberto Verdejo:
Declarative Debugging of Membership Equational Logic Specifications.
Concurrency, Graphs and Models 2008: 174-193 |
| 5 | | Adrián Riesco,
Alberto Verdejo,
Rafael Caballero,
Narciso Martí-Oliet:
Declarative Debugging of Rewriting Logic Specifications.
WADT 2008: 308-325 |
| 2007 |
|---|
| 4 | | 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 | | Adrián Riesco,
Alberto Verdejo:
Distributed Applications Implemented in Maude with Parameterized Skeletons.
FMOODS 2007: 91-106 |
| 2 | | 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 | | Manuel Clavel,
Miguel Palomino,
Adrián Riesco:
Introducing the ITP Tool: a Tutorial.
J. UCS 12(11): 1618-1650 (2006) |
