| 2006 | Coordination | Atomic Commit and Negotiation in Service Oriented Computing. | Laura Bocchi, Roberto Lucchi |
| 2006 | Coordination | Choreography and Orchestration Conformance for System Design. | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2006 | ICSOC | : A Calculus for Service Oriented Computing. | Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro |
| 2005 | ICSOC | Choreography and Orchestration: A Synergic Approach for System Design. | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2005 | SAC | Supporting e-commerce systems formalization with choreography languages. | Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2005 | WETICE | Towards a formal framework for Choreography. | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2004 | Coordination | Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. | Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro |
| 2004 | SAC | Web Services for E-commerce: guaranteeing security access and quality of service. | Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri |
| 2004 | SAC | WSSecSpaces: a secure data-driven coordination service for Web Services applications. | Roberto Lucchi, Gianluigi Zavattaro |