The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luca Spalazzi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fausto Giunchiglia, Luca Spalazzi, Paolo Traverso
    Planning with Failure. [Citation Graph (0, 0)][DBLP]
    AIPS, 1994, pp:74-79 [Conf]
  2. Loris Penserini, Lin Liu, John Mylopoulos, Luca Spalazzi
    Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. [Citation Graph (0, 0)][DBLP]
    AP2PC, 2002, pp:87-99 [Conf]
  3. Loris Penserini, Maurizio Panti, Luca Spalazzi
    Agent-based transactions into decentralised P2P. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:1288-1289 [Conf]
  4. Paolo Traverso, Luca Spalazzi, Fausto Giunchiglia
    Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. [Citation Graph (0, 0)][DBLP]
    ATAL, 1995, pp:65-78 [Conf]
  5. Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
    Verification of Payment Protocols via MultiAgent Model Checking. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2002, pp:311-327 [Conf]
  6. Maurizio Panti, Luca Spalazzi, Loris Penserini
    Cooperation Strategies for Information Integration. [Citation Graph (0, 0)][DBLP]
    CoopIS, 2001, pp:123-134 [Conf]
  7. Paolo Traverso, Alessandro Cimatti, Luca Spalazzi
    Beyond the Single Planning Paradigm: Introspective Planning. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:643-647 [Conf]
  8. Marco Pistore, Luca Spalazzi, Paolo Traverso
    A Minimalist Approach to Semantic Annotations for Web Processes Compositions. [Citation Graph (0, 0)][DBLP]
    ESWC, 2006, pp:620-634 [Conf]
  9. Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi
    A Logic of Belief and a Model Checking Algorithm for Security Protocols. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:393-408 [Conf]
  10. Loris Penserini, Manuel Kolp, Luca Spalazzi, Maurizio Panti
    Socially-Based Design Meets Agent Capabilities. [Citation Graph (0, 0)][DBLP]
    IAT, 2004, pp:72-78 [Conf]
  11. Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti
    Automatic Verification of Security in Payment Protocols for Electronic Commerce. [Citation Graph (0, 0)][DBLP]
    ICEIS, 2002, pp:968-974 [Conf]
  12. Loris Penserini, Luca Spalazzi, Maurizio Panti
    A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management. [Citation Graph (0, 0)][DBLP]
    ICEIS (4), 2004, pp:316-321 [Conf]
  13. Maurizio Panti, Luca Spalazzi, Loris Penserini
    A Distributed Case-Based Query Rewriting. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:1005-1010 [Conf]
  14. Paolo Traverso, Luca Spalazzi
    A Logic for Acting, Sensing and Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1941-1949 [Conf]
  15. Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
    Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:126-138 [Conf]
  16. Maurizio Panti, Loris Penserini, Luca Spalazzi
    A critical discussion about an agent platform based on FIPA specification. [Citation Graph (0, 0)][DBLP]
    SEBD, 2000, pp:345-356 [Conf]
  17. Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
    An Agent-Based Supply-Chain Management. [Citation Graph (0, 0)][DBLP]
    SEBD, 2005, pp:117-124 [Conf]
  18. Maurizio Panti, Luca Spalazzi, Simone Tacconi
    Verifica formale dei protocolli di sicurezza mediante model checking. [Citation Graph (0, 0)][DBLP]
    SEBD, 2000, pp:167-180 [Conf]
  19. Marco Pistore, Luca Spalazzi, Paolo Traverso
    A Minimalist Approach to Semantic Annotations for Web Processes Compositions. [Citation Graph (0, 0)][DBLP]
    SEBD, 2006, pp:208-216 [Conf]
  20. Maurizio Panti, Luca Spalazzi, Alberto Giretti
    A Case-Based Approach to Information Integration. [Citation Graph (0, 0)][DBLP]
    VLDB, 2000, pp:557-565 [Conf]
  21. Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia
    MRG: Building planers for real-world complex applications. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1994, v:8, n:3, pp:333-357 [Journal]
  22. Fausto Giunchiglia, Luca Spalazzi
    Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:111, n:1-2, pp:329-338 [Journal]
  23. Luca Spalazzi
    An Architecture for Planning in Embedded Systems. [Citation Graph (0, 0)][DBLP]
    Appl. Intell., 1998, v:8, n:2, pp:157-172 [Journal]
  24. Luca Spalazzi
    A planning language for embedded systems. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1999, v:11, n:2, pp:219-238 [Journal]
  25. Luca Spalazzi, Paolo Traverso
    A dynamic logic for acting, sensing, and planning. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:6, pp:787-821 [Journal]
  26. Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi
    Cooperation strategies for agent-based P2P systems. [Citation Graph (0, 0)][DBLP]
    Web Intelligence and Agent Systems, 2003, v:1, n:1, pp:3-21 [Journal]
  27. Loris Penserini, Manuel Kolp, Luca Spalazzi
    Social-oriented engineering of intelligent software. [Citation Graph (0, 0)][DBLP]
    Web Intelligence and Agent Systems, 2007, v:5, n:1, pp:69-87 [Journal]
  28. Francesco Pagliarecci, Loris Penserini, Luca Spalazzi
    From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (1), 2007, pp:105-114 [Conf]
  29. Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
    Web Service Discovery at Process-level Based on Semantic Annotation. [Citation Graph (0, 0)][DBLP]
    SEBD, 2007, pp:220-232 [Conf]

  30. JEAP - JAVA environment for Agent platform. [Citation Graph (, )][DBLP]


  31. Performance indicator in collaborative systems for business process management. [Citation Graph (, )][DBLP]


  32. Semantic Annotation for Web Service Processes. [Citation Graph (, )][DBLP]


  33. Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. [Citation Graph (, )][DBLP]


  34. Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study. [Citation Graph (, )][DBLP]


  35. XAL: A Web Oriented Programming Language Based on Timed-Automata. [Citation Graph (, )][DBLP]


  36. Semantic model checking security requirements for web services. [Citation Graph (, )][DBLP]


Search in 0.028secs, Finished in 0.030secs
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