Search the dblp DataBase

Publications of Author

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