The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberto Lucchi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Laura Bocchi, Roberto Lucchi
    Atomic Commit and Negotiation in Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:16-27 [Conf]
  2. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:55-70 [Conf]
  3. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Choreography and Orchestration Conformance for System Design. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:63-81 [Conf]
  4. Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
    Reasoning About Interaction Patterns in Choreography. [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:333-348 [Conf]
  5. Claudio Guidi, Roberto Lucchi
    Mobility Mechanisms in Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:233-250 [Conf]
  6. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Choreography and Orchestration: A Synergic Approach for System Design. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:228-240 [Conf]
  7. Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
    : A Calculus for Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2006, pp:327-338 [Conf]
  8. Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Security Issues in the Tuple-Space Coordination Model. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2004, pp:1-12 [Conf]
  9. Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
    Web Services for E-commerce: guaranteeing security access and quality of service. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:800-806 [Conf]
  10. Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Supporting e-commerce systems formalization with choreography languages. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:831-835 [Conf]
  11. Roberto Lucchi, Gianluigi Zavattaro
    WSSecSpaces: a secure data-driven coordination service for Web Services applications. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:487-491 [Conf]
  12. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Towards a formal framework for Choreography. [Citation Graph (0, 0)][DBLP]
    WETICE, 2005, pp:107-112 [Conf]
  13. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
    A formal approach for checking security properties in SecSpaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
  14. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Combining Partitions in SecSpaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:31-47 [Journal]
  15. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:39-53 [Journal]
  16. Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  17. Manuel Mazzara, Roberto Lucchi
    A Framework for Generic Error Handling in Business Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:133-145 [Journal]
  18. Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Supporting Secure Coordination in SecSpaces. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:4, pp:479-506 [Journal]
  19. Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro
    Secure shared data-space coordination languages: A process algebraic survey. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:1, pp:3-15 [Journal]
  20. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Quantitative information in the tuple space coordination model. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:28-57 [Journal]
  21. Michael Lutz, Roberto Lucchi, Anders Friis-Christensen, Nicole Ostländer
    A Rule-Based Description Framework for the Composition of Geographic Information Services. [Citation Graph (0, 0)][DBLP]
    GeoS, 2007, pp:114-127 [Conf]
  22. Claudio Guidi, Roberto Lucchi, Manuel Mazzara
    A Formal Framework for Web Services Coordination. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:55-70 [Journal]
  23. Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    JOLIE: a Java Orchestration Language Interpreter Engine. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:19-33 [Journal]
  24. Roberto Lucchi, Manuel Mazzara
    A pi-calculus based semantics for WS-BPEL. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:1, pp:96-118 [Journal]

  25. SensoriaProcess Calculi for Service-Oriented Computing. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.327secs
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