| 2025 | CONCUR | A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. | Mario Bravetti, Luca Padovani, Gianluigi Zavattaro |
| 2025 | ECOOP | Fair Termination of Asynchronous Binary Sessions. | Luca Padovani, Gianluigi Zavattaro |
| 2025 | ICRA | A Novel Underwater Robot with Carangiform Locomotion Achieved via Single Degree of Actuation and Magnetically Transmitted Traveling Wave. | Gianluca Manduca, Luca Padovani, Gaspare Santaera, Giorgio Graziani, Paolo Dario, Donato Romano, Cesare Stefanini |
| 2024 | Coordination | The Concurrent Calculi Formalisation Benchmark. | Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon |
| 2024 | FM | Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. | Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci |
| 2024 | PPDP | sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions. | Francesco Dagnino, Luca Padovani |
| 2024 | PPDP | On the Almost-Sure Termination of Binary Sessions. | Ugo Dal Lago, Luca Padovani |
| 2022 | CONCUR | An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. | Luca Ciccone, Luca Padovani |
| 2022 | ECOOP | Fair Termination of Multiparty Sessions. | Luca Ciccone, Francesco Dagnino, Luca Padovani |
| 2021 | ICALP | Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types. | Luca Ciccone, Luca Padovani |
| 2020 | CONCUR | Probabilistic Analysis of Binary Sessions. | Omar Inverso, Hernn C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto |
| 2020 | PPDP | A Dependently Typed Linear π-Calculus in Agda. | Luca Ciccone, Luca Padovani |
| 2019 | PPDP | Foundations of Session Types: 10 Years Later. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2018 | ECOOP | Mailbox Types for Unordered Interactions. | Ugo de'Liguoro, Luca Padovani |
| 2017 | ESOP | Context-Free Session Type Inference. | Luca Padovani |
| 2016 | Coordination | On Sessions and Infinite Data. | Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini |
| 2015 | Coordination | Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. | Luca Padovani, Tzu-Chun Chen, Andrea Tosatto |
| 2015 | FORTE | Types for Deadlock-Free Higher-Order Programs. | Luca Padovani, Luca Novara |
| 2015 | OOPSLA | The chemical approach to typestate-oriented programming. | Silvia Crafa, Luca Padovani |
| 2014 | Coordination | Typing Liveness in Multiparty Communicating Systems. | Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira |
| 2014 | CSL | Deadlock and lock freedom in the linear π-calculus. | Luca Padovani |
| 2014 | FOSSACS | Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types. | Luca Padovani |
| 2014 | POPL | Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. | Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergue Lenglet, Luca Padovani |
| 2013 | Coordination | Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. | Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida |
| 2013 | FORTE | Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. | Viviana Bono, Luca Padovani, Andrea Tosatto |
| 2013 | ICALP | Fair Subtyping for Open Session Types. | Luca Padovani |
| 2013 | IFM | An Algebraic Theory for Web Service Contracts. | Cosimo Laneve, Luca Padovani |
| 2012 | GPCE | A formal foundation for dynamic delta-oriented software product lines. | Ferruccio Damiani, Luca Padovani, Ina Schaefer |
| 2012 | PPDP | Exception handling for copyless messaging. | Svetlana Jaksic, Luca Padovani |
| 2011 | Coordination | Fair Subtyping for Multi-party Session Types. | Luca Padovani |
| 2011 | ESOP | Typing Copyless Message Passing. | Viviana Bono, Chiara Messa, Luca Padovani |
| 2011 | FORTE | On Global Types and Multi-party Sessions. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani |
| 2009 | CONCUR | Contracts for Mobile Processes. | Giuseppe Castagna, Luca Padovani |
| 2009 | PPDP | Foundations of session types. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2008 | CONCUR | Contract-Directed Synthesis of Simple Orchestrators. | Luca Padovani |
| 2008 | POPL | A theory of contracts for web services. | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
| 2007 | CONCUR | The | Cosimo Laneve, Luca Padovani |
| 2006 | FOSSACS | Smooth Orchestrators. | Cosimo Laneve, Luca Padovani |
| 2005 | CC | Compilation of Generic Regular Path Expressions Using C++ Class Templates. | Luca Padovani |
| 2004 | GPCE | A Generative Approach to the Implementation of Language Bindings for the Document Object Model. | Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli |
| 2004 | JELIA | Qsmodels: ASP Planning in Interactive Gaming Environment. | Luca Padovani, Alessandro Provetti |