| 2026 | CONCUR | Concurrent Visibility: Higher-Order Concurrency with First-Order Store. | Iwan Qumerais, Guilhem Jaber, Ken Sakayori, Davide Sangiorgi |
| 2026 | LICS | Wiring the π-Calculus to Denotational Semantics. | Ken Sakayori, Davide Sangiorgi, Simon Castellan, Pierre Clairambault |
| 2025 | CONCUR | First-Order Store and Visibility in Name-Passing Calculi. | Daniel Hirschkoff, Iwan Qumerais, Davide Sangiorgi |
| 2024 | ISoLA | An Abstract Account of Up-to Techniques for Inductive Behavioural Relations. | Davide Sangiorgi |
| 2023 | CSL | Enhanced Induction in Behavioural Relations (Invited Talk). | Davide Sangiorgi |
| 2023 | LICS | Extensional and Non-extensional Functions as Processes. | Ken Sakayori, Davide Sangiorgi |
| 2022 | CONCUR | CONCUR Test-Of-Time Award 2022 (Invited Paper). | Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi |
| 2022 | CSL | Games, Mobile Processes, and Functions. | Guilhem Jaber, Davide Sangiorgi |
| 2022 | PPDP | Session Types Revisited: A Decade Later. | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
| 2021 | LICS | On sequentiality and well-bracketing in the π-calculus. | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
| 2020 | CONCUR | On the Representation of References in the Pi-Calculus. | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
| 2018 | LICS | Eager Functions as Processes. | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
| 2017 | CONCUR | Divergence and Unique Solution of Equations. | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
| 2016 | POPL | Environmental bisimulations for probabilistic higher-order languages. | Davide Sangiorgi, Valeria Vignudelli |
| 2015 | ICTAC | The Proof Technique of Unique Solutions of Contractions. | Davide Sangiorgi |
| 2015 | POPL | Equations, Contractions, and Unique Solutions. | Davide Sangiorgi |
| 2014 | CONCUR | Bisimulations Up-to: Beyond First-Order Transition Systems. | Jean-Marie Madiot, Damien Pous, Davide Sangiorgi |
| 2014 | CONCUR | Trees from Functions as Processes. | Davide Sangiorgi, Xian Xu |
| 2014 | CSL | On the discriminating power of passivation and higher-order interaction. | Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli |
| 2014 | POPL | On coinductive equivalences for higher-order probabilistic functional programs. | Ugo Dal Lago, Davide Sangiorgi, Michele Alberti |
| 2013 | LICS | Name-Passing Calculi: From Fusions to Preorders and Types. | Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
| 2012 | CONCUR | Duality and i/o-Types in the π-Calculus. | Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
| 2012 | ISoLA | An Object Group-Based Component Model. | Michael Lienhardt, Mario Bravetti, Davide Sangiorgi |
| 2012 | PPDP | Session types revisited. | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
| 2011 | FORTE | Ownership Types for the Join Calculus. | Marco Patrignani, Dave Clarke, Davide Sangiorgi |
| 2010 | CONCUR | Termination in Impure Concurrent Languages. | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
| 2010 | ICALP | On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. | Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt |
| 2008 | CAV | A Hybrid Type System for Lock-Freedom of Mobile Processes. | Naoki Kobayashi, Davide Sangiorgi |
| 2008 | LICS | On the Expressiveness and Decidability of Higher-Order Process Calculi. | Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt |
| 2007 | LICS | Environmental Bisimulations for Higher-Order Languages. | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
| 2005 | Coordination | A Correct Abstract Machine for Safe Ambients. | Daniel Hirschkoff, Damien Pous, Davide Sangiorgi |
| 2004 | ICALP | Towards an Algebraic Theory of Typed Mobile Processes. | Yuxin Deng, Davide Sangiorgi |
| 2004 | LICS | Bisimulation: From The Origins to Today. | Davide Sangiorgi |
| 2003 | SEFM | Taming Mobile Processes Using Types. | Davide Sangiorgi |
| 2002 | CONCUR | Types, or: Where's the Difference Between CCS and pi? | Davide Sangiorgi |
| 2002 | LICS | Separability, Expressiveness, and Decidability in the Ambient Logic. | Daniel Hirschkoff, tienne Lozes, Davide Sangiorgi |
| 2001 | CONCUR | On Barbed Equivalences in pi-Calculus. | Davide Sangiorgi, David Walker |
| 2001 | ICALP | A Distributed Abstract Machine for Safe Ambients. | Davide Sangiorgi, Andrea Valente |
| 2001 | POPL | Extensionality and Intensionality of the Ambient Logics. | Davide Sangiorgi |
| 2000 | POPL | Controlling Interference in Ambients. | Francesca Levi, Davide Sangiorgi |
| 1999 | FOSSACS | A pi-calculus Process Semantics of Concurrent Idealised ALGOL. | Christine Rckl, Davide Sangiorgi |
| 1999 | FOSSACS | Reasoning About Concurrent Systems Using Types. | Davide Sangiorgi |
| 1998 | ICALP | On Asynchrony in Name-Passing Calculi. | Massimo Merro, Davide Sangiorgi |
| 1998 | LICS | Bisimulation in Name-Passing Calculi without Matching. | Michele Boreale, Davide Sangiorgi |
| 1997 | ICALP | The Name Discipline of Uniform Receptiveness (Extended Abstract). | Davide Sangiorgi |
| 1997 | POPL | Behavioral Equivalence in the Polymorphic Pi-calculus. | Benjamin C. Pierce, Davide Sangiorgi |
| 1996 | CAV | A Partition Refinement Algorithm for the | Marco Pistore, Davide Sangiorgi |
| 1996 | CONCUR | On Bisimulations for the Asynchronous pi-Calculus. | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
| 1996 | LICS | A Fully-Abstract Model for the pi-Calculus (Extended Abstract). | Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi |
| 1995 | ICALP | Internal Mobility and Agent-Passing Calculi. | Davide Sangiorgi |
| 1995 | MFCS | On the Proof Method for Bisimulation (Extended Abstract). | Davide Sangiorgi |
| 1995 | STACS | A Fully Abstract Semantics for Causality in the Pi-Calculus. | Michele Boreale, Davide Sangiorgi |
| 1993 | CONCUR | A Theory of Bisimulation for the pi-Calculus. | Davide Sangiorgi |
| 1993 | LICS | Typing and Subtyping for Mobile Processes | Benjamin C. Pierce, Davide Sangiorgi |
| 1993 | MFPS | An Investigation into Functions as Processes. | Davide Sangiorgi |
| 1992 | CONCUR | The Problem of "Weak Bisimulation up to". | Davide Sangiorgi, Robin Milner |
| 1992 | ICALP | Barbed Bisimulation. | Robin Milner, Davide Sangiorgi |
| 1992 | LICS | The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract) | Davide Sangiorgi |
| 1990 | MFCS | Comparisons Among Classes of Y-Tree Systolic Automata. | Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi |