The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alberto Verdejo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley
    Transforming Information in RDF to Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:227-242 [Conf]
  2. Alberto Verdejo
    Building Tools for LOTOS Symbolic Semantics in Maude. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:292-307 [Conf]
  3. Alberto Verdejo, Narciso Martí-Oliet
    Implementing CCS in Maude. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:351-366 [Conf]
  4. Carron Shankland, Alberto Verdejo
    A case study in abstraction using E-LOTOS and the FireWire. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:37, n:3/4, pp:481-502 [Journal]
  5. Francisco Durán, Alberto Verdejo
    A Conference Reviewing System in Mobile Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  6. Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
    Towards a Strategy Language for Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:417-441 [Journal]
  7. Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
    A Tutorial on Specifying Data Structures in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:105-132 [Journal]
  8. Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo
    Playing with Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:3-23 [Journal]
  9. Fernando Rosa Velardo, Clara Segura, Alberto Verdejo
    Typed Mobile Ambients in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:135-161 [Journal]
  10. Alberto Verdejo, Narciso Martí-Oliet
    Implementing CCS in Maude 2. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  11. 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]
  12. Christiano Braga, Alberto Verdejo
    Modular Structural Operational Semantics with Strategies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:3-17 [Journal]
  13. 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]
  14. Alberto Verdejo, Narciso Martí-Oliet
    Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:27, n:1-2, pp:113-172 [Journal]
  15. Alberto Verdejo, Narciso Martí-Oliet
    Executable structural operational semantics in Maude. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:226-293 [Journal]
  16. Adrián Riesco, Alberto Verdejo
    Distributed Applications Implemented in Maude with Parameterized Skeletons. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:91-106 [Conf]
  17. Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
    Deduction, Strategies, and Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:3-25 [Journal]
  18. Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén
    Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:119-137 [Journal]
  19. 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]

  20. A Declarative Debugger for Maude. [Citation Graph (, )][DBLP]


  21. Declarative Debugging of Membership Equational Logic Specifications. [Citation Graph (, )][DBLP]


  22. Declarative Debugging of Missing Answers for Maude. [Citation Graph (, )][DBLP]


  23. Declarative Debugging of Rewriting Logic Specifications. [Citation Graph (, )][DBLP]


  24. Some Tools. [Citation Graph (, )][DBLP]


  25. Playing with Maude. [Citation Graph (, )][DBLP]


  26. Specifying Parameterized Data Structures in Maude. [Citation Graph (, )][DBLP]


  27. Mobile Maude. [Citation Graph (, )][DBLP]


  28. Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. [Citation Graph (, )][DBLP]


  29. A Declarative Debugger for Maude Functional Modules. [Citation Graph (, )][DBLP]


  30. Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. [Citation Graph (, )][DBLP]


  31. A Rewriting Semantics for Maude Strategies. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002