| 2008 |
|---|
| 12 | EE | Clara Segura,
Isabel Pita,
Rafael del Vado Vírseda,
Ana Isabel Saiz,
Pablo Soler:
Interactive Learning of Data Structures and Algorithmic Schemes.
ICCS (1) 2008: 800-809 |
| 2006 |
|---|
| 11 | EE | José Miguel Cleva,
Isabel Pita:
Verification of CRWL Programs with Rewriting Logic.
J. UCS 12(11): 1594-1617 (2006) |
| 2005 |
|---|
| 10 | EE | Miguel Palomino,
Isabel Pita:
Proving VLRL Action Properties with the Maude Model Checker.
Electr. Notes Theor. Comput. Sci. 117: 113-133 (2005) |
| 9 | EE | Isabel Pita,
Miguel Palomino:
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel.
Electr. Notes Theor. Comput. Sci. 137(1): 133-150 (2005) |
| 8 | EE | Narciso Martí-Oliet,
Isabel Pita,
José Luiz Fiadeiro,
José Meseguer,
T. S. E. Maibaum:
A Verification Logic for Rewriting Logic.
J. Log. Comput. 15(3): 317-352 (2005) |
| 2003 |
|---|
| 7 | EE | Alberto Verdejo,
Isabel Pita,
Narciso Martí-Oliet:
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.
Formal Asp. Comput. 14(3): 228-246 (2003) |
| 2002 |
|---|
| 6 | EE | Isabel Pita,
Narciso Martí-Oliet:
A Maude specification of an object-oriented model for telecommunication networks.
Theor. Comput. Sci. 285(2): 407-439 (2002) |
| 2000 |
|---|
| 5 | EE | Alberto Verdejo,
Isabel Pita,
Narciso Martí-Oliet:
The Leader Election Protocol of IEEE 1394 in Maude.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 1999 |
|---|
| 4 | | José Luiz Fiadeiro,
T. S. E. Maibaum,
Narciso Martí-Oliet,
José Meseguer,
Isabel Pita:
Towards a Verification Logic for Rewriting Logic.
WADT 1999: 438-458 |
| 1998 |
|---|
| 3 | EE | Isabel Pita,
Narciso Martí-Oliet:
Using Reflection to Specify Transaction Sequences in Rewriting Logic.
WADT 1998: 261-276 |
| 1997 |
|---|
| 2 | | Isabel Pita,
Narciso Martí-Oliet:
Using Reflection to Specify Transaction Sequences in Rewriting Logic.
APPIA-GULP-PRODE 1997: 369-380 |
| 1996 |
|---|
| 1 | EE | Isabel Pita,
Narciso Martí-Oliet:
A Maude specification of an object-oriented database model for telecommunication networks.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
