| 2024 | PPDP | Un-projectable Global Types for Multiparty Sessions. | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
| 2021 | PPDP | Intersection types for a λ-calculus with global store. | Ugo de'Liguoro, Riccardo Treglia |
| 2020 | PPDP | Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. | Franco Barbanera, Ugo de'Liguoro |
| 2018 | ECOOP | Mailbox Types for Unordered Interactions. | Ugo de'Liguoro, Luca Padovani |
| 2017 | Coordination | Retractable and Speculative Contracts. | Franco Barbanera, Ivan Lanese, Ugo de'Liguoro |
| 2016 | APLAS | A Realizability Interpretation for Intersection and Union Types. | Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze |
| 2016 | Coordination | A Game Interpretation of Retractable Contracts. | Franco Barbanera, Ugo de'Liguoro |
| 2012 | CSL | Knowledge Spaces and the Completeness of Learning Strategies. | Stefano Berardi, Ugo de'Liguoro |
| 2010 | PPDP | Two notions of sub-behaviour for session-based client/server systems. | Franco Barbanera, Ugo de'Liguoro |
| 2008 | CSL | A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). | Stefano Berardi, Ugo de'Liguoro |
| 1994 | MFCS | May and Must Convergencey in Concurrent Lambda-Calculus. | Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
| 1993 | MFCS | Filter Models for a Parallel and Non Deterministic Lambda-Calculus. | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno |
| 1992 | LICS | Retracts in simply typed lambda-beta-eta-calculus | Ugo de'Liguoro, Adolfo Piperno, Richard Statman |