Roberto Lucchi

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Anders Friis-Christensen, Roberto Lucchi, Michael Lutz, Nicole Ostländer
Service chaining architectures for applications implementing distributed geographic information processing. Int. J. Geogr. Inf. Sci. 23 (5) (2009)
Claudio Guidi, Roberto Lucchi, Manuel Mazzara
A Formal Framework for Web Services Coordination. Electron. Notes Theor. Comput. Sci. 180 (2) (2007)
Roberto Lucchi, Manuel Mazzara
A pi-calculus based semantics for WS-BPEL. J. Log. Algebraic Methods Program. 70 (1) (2007)
Michael Lutz, Roberto Lucchi, Anders Friis-Christensen, Nicole Ostländer
A Rule-Based Description Framework for the Composition of Geographic Information Services. GeoS (2007)
Claudio Guidi, Roberto Lucchi
Formalizing Mobility in Service Oriented Computing. J. Softw. 2 (1) (2007)
Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
JOLIE: a Java Orchestration Language Interpreter Engine. Electron. Notes Theor. Comput. Sci. 181 (2007)
Claudio Guidi, Roberto Lucchi
Mobility Mechanisms in Service Oriented Computing. FMOODS (2006)
Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Supporting Secure Coordination in SecSpaces. Fundam. Informaticae 73 (4) (2006)
Laura Bocchi, Roberto Lucchi
Atomic Commit and Negotiation in Service Oriented Computing. COORDINATION (2006)
Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro
Secure shared data-space coordination languages: A process algebraic survey. Sci. Comput. Program. 63 (1) (2006)
Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
: A Calculus for Service Oriented Computing. ICSOC (2006)
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
SensoriaProcess Calculi for Service-Oriented Computing. TGC (2006)
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Choreography and Orchestration Conformance for System Design. COORDINATION (2006)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346 (1) (2005)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. Electron. Notes Theor. Comput. Sci. 128 (5) (2005)
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Towards a formal framework for Choreography. WETICE (2005)
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Choreography and Orchestration: A Synergic Approach for System Design. ICSOC (2005)
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
Reasoning About Interaction Patterns in Choreography. EPEW/WS-FM (2005)
Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Supporting e-commerce systems formalization with choreography languages. SAC (2005)
Roberto Lucchi, Gianluigi Zavattaro
WSSecSpaces: a secure data-driven coordination service for Web Services applications. SAC (2004)
Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
Web Services for E-commerce: guaranteeing security access and quality of service. SAC (2004)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Combining Partitions in SecSpaces. Electron. Notes Theor. Comput. Sci. 99 (2004)
Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust (2004)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION (2004)
Manuel Mazzara, Roberto Lucchi
A Framework for Generic Error Handling in Business Processes. Electron. Notes Theor. Comput. Sci. 105 (2004)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
A formal approach for checking security properties in SecSpaces. Electron. Notes Theor. Comput. Sci. 85 (3) (2003)
Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. Electron. Notes Theor. Comput. Sci. 68 (3) (2003)