| 2026 | ECOOP | Automatic Code and Test Generation of Smart Contracts from Coordination Models. | Elvis Konjoh Selabi, Maurizio Murgia, Antnio Ravara, Emilio Tuosto |
| 2026 | FORTE | Binary and Two-Party Asynchronous Subtypings are Equivalent. | Maurizio Murgia |
| 2025 | CONCUR | Abstract Subtyping for Asynchronous Multiparty Sessions. | Laura Bocchi, Andy King, Maurizio Murgia, Simon Thompson |
| 2024 | Coordination | TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). | Joo Afonso, Elvis Konjoh Selabi, Maurizio Murgia, Antnio Ravara, Emilio Tuosto |
| 2024 | TACAS | Asynchronous Subtyping by Trace Relaxation. | Laura Bocchi, Andy King, Maurizio Murgia |
| 2023 | CONCUR | Contextual Behavioural Metrics. | Ugo Dal Lago, Maurizio Murgia |
| 2022 | Coordination | A Sound Up-to-n, δ Bisimilarity for PCTL. | Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
| 2022 | ISoLA | On Model-Based Performance Analysis of Collective Adaptive Systems. | Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto |
| 2021 | EDBT | Correlation graph analytics for stock time series data. | Tong Liu, Paolo Coletti, Anton Digns, Johann Gamper, Maurizio Murgia |
| 2020 | Coordination | A True Concurrent Model of Smart Contracts Executions. | Massimo Bartoletti, Letterio Galletta, Maurizio Murgia |
| 2020 | Coordination | Renegotiation and Recursion in Bitcoin Contracts. | Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
| 2019 | ESOP | Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. | Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2019 | ESORICS | A Minimal Core Calculus for Solidity Contracts. | Massimo Bartoletti, Letterio Galletta, Maurizio Murgia |
| 2018 | CONCUR | Progress-Preserving Refinements of CTA. | Massimo Bartoletti, Laura Bocchi, Maurizio Murgia |
| 2015 | FORTE | Compliance and Subtyping in Timed Session Types. | Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu |