The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Alberto Lluch-Lafuente: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
    Cost-Algebraic Heuristic Search. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:1362-1367 [Conf]
  2. Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
    Heuristic Search for the Analysis of Graph Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:414-429 [Conf]
  3. Javier Rubio-Loyola, Joan Serrat, Marinos Charalambides, Paris Flegkas, George Pavlou, Alberto Lluch-Lafuente
    Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. [Citation Graph (0, 0)][DBLP]
    POLICY, 2005, pp:181-190 [Conf]
  4. Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
    Partial-Order Reduction for General State Exploring Algorithms. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:271-287 [Conf]
  5. Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue
    Partial Order Reduction in Directed Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:112-127 [Conf]
  6. Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
    Directed Explicit Model Checking with HSF-SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:57-79 [Conf]
  7. Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
    Trail-directed model checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
  8. Gianluigi Ferrari, Alberto Lluch-Lafuente
    A Logic for Graphs with QoS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:142, n:, pp:143-160 [Journal]
  9. Fabio Gadducci, Alberto Lluch-Lafuente
    Graphical Verification of a Spatial Logic for the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:2, pp:31-46 [Journal]
  10. Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto
    A Logic for Application Level QoS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:135-159 [Journal]
  11. Alberto Lluch-Lafuente, Ugo Montanari
    Quantitative ?-calculus and CTL Based on Constraint Semirings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:37-59 [Journal]
  12. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
    Directed explicit-state model checking in the validation of communication protocols. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:247-267 [Journal]
  13. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
    Partial-order reduction and trail improvement in directed model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:4, pp:277-301 [Journal]
  14. Alberto Lluch-Lafuente, Ugo Montanari
    Quantitative mu-calculus and CTL defined over constraint semirings. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:135-160 [Journal]
  15. Fabio Gadducci, Alberto Lluch-Lafuente
    Graphical Encoding of a Spatial Logic for the pi -Calculus. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:209-225 [Conf]
  16. Alberto Lluch-Lafuente
    Towards Model Checking Spatial Properties with SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:223-242 [Conf]
  17. Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
    A Temporal Graph Logic for Verification of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:1-20 [Conf]

  18. Graph-Based Design and Analysis of Dynamic Software Architectures. [Citation Graph (, )][DBLP]


  19. Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. [Citation Graph (, )][DBLP]


  20. Counterpart Semantics for a Second-Order µ-Calculus. [Citation Graph (, )][DBLP]


  21. A Service-Oriented UML Profile with Formal Support. [Citation Graph (, )][DBLP]


  22. Service Oriented Architectural Design. [Citation Graph (, )][DBLP]


  23. A Formalisation of Adaptable Pervasive Flows. [Citation Graph (, )][DBLP]


  24. A Graph Syntax for Processes and Services. [Citation Graph (, )][DBLP]


  25. Hierarchical Design Rewriting with Maude. [Citation Graph (, )][DBLP]


  26. On Symbolic Semantics for Name-decorated Contexts. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.304secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002