Search the dblp DataBase

Publications of Author

1. Manuel Clavel, Miguel Palomino, Adrián Riesco
   Introducing the ITP Tool: a Tutorial. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2006, v:12, n:11, pp:1618-1650 [Journal]
   
2. Adrián Riesco, Alberto Verdejo
   Distributed Applications Implemented in Maude with Parameterized Skeletons. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:91-106 [Conf]
   
3. Francisco Durán, Adrián Riesco, Alberto Verdejo
   A Distributed Implementation of Mobile Maude. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:113-131 [Journal]
   
4. 
   A Declarative Debugger for Maude. [Citation Graph (, )][DBLP]
   
   
5. 
   Declarative Debugging of Membership Equational Logic Specifications. [Citation Graph (, )][DBLP]
   
   
6. 
   Programming with singular and plural non-deterministic functions. [Citation Graph (, )][DBLP]
   
   
7. 
   Declarative Debugging of Missing Answers for Maude. [Citation Graph (, )][DBLP]
   
   
8. 
   Declarative Debugging of Rewriting Logic Specifications. [Citation Graph (, )][DBLP]
   
   
9. 
   Mobile Maude. [Citation Graph (, )][DBLP]
   
   
10. 
    A Declarative Debugger for Maude Functional Modules. [Citation Graph (, )][DBLP]
    
    
11. 
    Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. [Citation Graph (, )][DBLP]