The SCEAS System
Navigation Menu

Search the dblp DataBase


Adrián Riesco: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002