Roberto Lucchi

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

Coauthor Index

1	Laura Bocchi	[21]
2	Mario Bravetti	[1] [3] [5] [7] [8] [9] [10] [12]
3	Nadia Busi	[2] [7] [11] [13] [18] [20]
4	Riccardo Focardi	[15]
5	Anders Friis-Christensen	[26]
6	Stephen Gilmore (Stephen T. Gilmore)	[17]
7	Roberto Gorrieri	[1] [2] [3] [5] [7] [8] [9] [10] [11] [13] [14] [16] [18] [20]
8	Claudio Guidi	[11] [12] [13] [14] [18] [19] [20] [22] [24] [25]
9	Matthias M. Hölzl	[17]
10	Michael Lutz	[26]
11	Manuel Mazzara	[4] [23] [25]
12	Fabrizio Montesi	[24]
13	Rocco De Nicola	[17]
14	Nicole Ostländer	[26]
15	Mirco Tribastone	[17]
16	Martin Wirsing	[17]
17	Gianluigi Zavattaro	[2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] [18] [20] [24]

Colors in the list of coauthors