| 2025 | CONCUR | Abstract Subtyping for Asynchronous Multiparty Sessions. | Laura Bocchi, Andy King, Maurizio Murgia, Simon Thompson |
| 2024 | TACAS | Asynchronous Subtyping by Trace Relaxation. | Laura Bocchi, Andy King, Maurizio Murgia |
| 2023 | Coordination | Safe Asynchronous Mixed-Choice for Timed Interactions. | Jonah Pears, Laura Bocchi, Andy King |
| 2022 | Coordination | A Model of Actors and Grey Failures. | Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea |
| 2022 | FORTE | The Reversible Temporal Process Language. | Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen |
| 2019 | ESOP | Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. | Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2018 | CONCUR | Progress-Preserving Refinements of CTA. | Massimo Bartoletti, Laura Bocchi, Maurizio Murgia |
| 2015 | CONCUR | Meeting Deadlines Together. | Laura Bocchi, Julien Lange, Nobuko Yoshida |
| 2014 | CONCUR | Timed Multiparty Session Types. | Laura Bocchi, Weizhen Yang, Nobuko Yoshida |
| 2014 | ESOP | Resolving Non-determinism in Choreographies. | Laura Bocchi, Hernn C. Melgratti, Emilio Tuosto |
| 2013 | FORTE | Monitoring Networks through Multiparty Session Types. | Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida |
| 2010 | CONCUR | A Theory of Design-by-Contract for Distributed Multiparty Interactions. | Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida |
| 2010 | FORTE | Testing Attribute-Based Transactions in SOC. | Laura Bocchi, Emilio Tuosto |
| 2010 | ICSOC | Early Model-Analysis of Logistics Systems. | Freeha Azmat, Laura Bocchi, Jos Luiz Fiadeiro |
| 2010 | ICSOC | BPMN Modelling of Services with Dynamically Reconfigurable Transactions. | Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
| 2008 | COMPSAC | Service-Oriented Modelling of Automotive Systems. | Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2008 | FASE | Engineering Service Oriented Applications: From StPowla Processes to SRML Models. | Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec |
| 2008 | ISoLA | A Use-Case Driven Approach to Formal Service-Oriented Modelling. | Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2007 | FORTE | Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. | Joo Abreu, Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2006 | Coordination | Atomic Commit and Negotiation in Service Oriented Computing. | Laura Bocchi, Roberto Lucchi |
| 2005 | Coordination | Transactional Aspects in Semantic Based Discovery of Services. | Laura Bocchi, Paolo Ciancarini, Davide Rossi |
| 2005 | SAC | An OWL-S based approach to express grid services coordination. | Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi |
| 2004 | FASE | Compositional Nested Long Running Transactions. | Laura Bocchi |