Claudio Guidi

	2009
15		Claudio Guidi, Fabrizio Montesi: Reasoning About a Service-oriented Programming Paradigm YR-SOC 2009: 67-81
	2008
14		Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198
13		Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro: Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332
	2007
12		Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro: Composing Services with JOLIE. ECOWS 2007: 13-22
11		Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone: Replicating Web Services for Scalability. TGC 2007: 204-221
10		Claudio Guidi, Roberto Lucchi, Manuel Mazzara: A Formal Framework for Web Services Coordination. Electr. Notes Theor. Comput. Sci. 180(2): 55-70 (2007)
9		Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: JOLIE: a Java Orchestration Language Interpreter Engine. Electr. Notes Theor. Comput. Sci. 181: 19-33 (2007)
8		Claudio Guidi, Roberto Lucchi: Formalizing Mobility in Service Oriented Computing. JSW 2(1): 1-13 (2007)
	2006
7		Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81
6		Claudio Guidi, Roberto Lucchi: Mobility Mechanisms in Service Oriented Computing. FMOODS 2006: 233-250
5		Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro: : A Calculus for Service Oriented Computing. ICSOC 2006: 327-338
	2005
4		Roberto Gorrieri, Claudio Guidi, Roberto Lucchi: Reasoning About Interaction Patterns in Choreography. EPEW/WS-FM 2005: 333-348
3		Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240
2		Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Supporting e-commerce systems formalization with choreography languages. SAC 2005: 831-835
1		Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Towards a formal framework for Choreography. WETICE 2005: 107-112

Coauthor Index

1	Mario Bravetti	[2] [11]
2	Nadia Busi	[1] [3] [5] [7]
3	Stephen Gilmore (Stephen T. Gilmore)	[11]
4	Roberto Gorrieri	[1] [3] [4] [5] [7]
5	Ivan Lanese	[13] [14]
6	Roberto Lucchi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
7	Manuel Mazzara	[10]
8	Fabrizio Montesi	[9] [12] [13] [14] [15]
9	Mirco Tribastone	[11]
10	Gianluigi Zavattaro	[1] [2] [3] [5] [7] [9] [12] [13] [14]