| 2007 |
|---|
| 12 | EE | Fabrizio Montesi,
Claudio Guidi,
Gianluigi Zavattaro:
Composing Services with JOLIE.
ECOWS 2007: 13-22 |
| 11 | EE | Mario Bravetti,
Stephen Gilmore,
Claudio Guidi,
Mirco Tribastone:
Replicating Web Services for Scalability.
TGC 2007: 204-221 |
| 10 | EE | Claudio Guidi,
Roberto Lucchi,
Manuel Mazzara:
A Formal Framework for Web Services Coordination.
Electr. Notes Theor. Comput. Sci. 180(2): 55-70 (2007) |
| 9 | 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) |
| 8 | EE | Claudio Guidi,
Roberto Lucchi:
Formalizing Mobility in Service Oriented Computing.
JSW 2(1): 1-13 (2007) |
| 2006 |
|---|
| 7 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Choreography and Orchestration Conformance for System Design.
COORDINATION 2006: 63-81 |
| 6 | EE | Claudio Guidi,
Roberto Lucchi:
Mobility Mechanisms in Service Oriented Computing.
FMOODS 2006: 233-250 |
| 5 | EE | Claudio Guidi,
Roberto Lucchi,
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro:
: A Calculus for Service Oriented Computing.
ICSOC 2006: 327-338 |
| 2005 |
|---|
| 4 | EE | Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi:
Reasoning About Interaction Patterns in Choreography.
EPEW/WS-FM 2005: 333-348 |
| 3 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Choreography and Orchestration: A Synergic Approach for System Design.
ICSOC 2005: 228-240 |
| 2 | EE | Mario Bravetti,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Supporting e-commerce systems formalization with choreography languages.
SAC 2005: 831-835 |
| 1 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Towards a formal framework for Choreography.
WETICE 2005: 107-112 |
