| 2020 | FSCD | A Type Checker for a Logical Framework with Union and Intersection Types (System Description). | Claude Stolze, Luigi Liquori |
| 2016 | APLAS | A Realizability Interpretation for Intersection and Union Types. | Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze |
| 2016 | APLAS | Implementing Cantor's Paradise. | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
| 2014 | ICDCN | Backward-Compatible Cooperation of Heterogeneous P2P Systems. | Giang Ngo Hoang, Luigi Liquori, Hung Nguyen Chan |
| 2014 | MFCS | L ax F: Side Conditions and External Evidence as Monads. | Furio Honsell, Luigi Liquori, Ivan Scagnetto |
| 2013 | AINA | CCN-TV: A Data-centric Approach to Real-Time Video Services. | Vincenzo Ciancaglini, Giuseppe Piro, Riccardo Loti, Luigi Alfredo Grieco, Luigi Liquori |
| 2013 | SAC | A backward-compatible protocol for inter-routing over heterogeneous overlay networks. | Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan |
| 2012 | Networking | An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. | Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic |
| 2011 | ICPADS | Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks. | Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang |
| 2010 | LPAR | Logic and Computation in a Lambda Calculus with Intersection and Union Types. | Daniel J. Dougherty, Luigi Liquori |
| 2010 | Networking | Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. | Luigi Liquori, Cdric Tedeschi, Laurent Vanni, Francesco Bongiovanni, Vincenzo Ciancaglini, Bojan Marinkovic |
| 2009 | ISCC | Babelchord: a social tower of DHT-based overlay networks. | Luigi Liquori, Cdric Tedeschi, Francesco Bongiovanni |
| 2008 | LPAR | A Conditional Logical Framework. | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
| 2008 | Networking | An Overlay Architecture for Vehicular Networks. | Luigi Liquori, Diego Borsetti, Claudio Casetti, Carla Fabiana Chiasserini |
| 2004 | PPDP | iRho: an imperative rewriting calculus. | Luigi Liquori, Bernard P. Serpette |
| 2003 | ICFP | Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
| 2003 | LPAR | Imperative Object-Based Calculi in Co-inductive Type Theories. | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
| 2003 | POPL | Pure patterns type systems. | Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
| 2001 | FOSSACS | The Rho Cube. | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
| 1999 | FM | A Framework for Defining Object-Calculi. | Frdric Lang, Pierre Lescanne, Luigi Liquori |
| 1998 | ECOOP | On Object Extension. | Luigi Liquori |
| 1998 | OOPSLA | A Lambda Calculus of Objects with Self-Inflicted Extension. | Pietro Di Gianantonio, Furio Honsell, Luigi Liquori |
| 1997 | ECOOP | An Extended Theory of Primitive Objects: FIrst Order System. | Luigi Liquori |
| 1996 | ICLP | A Linear Logic Calculus Objects. | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli |
| 1996 | MFCS | A Lambda Calculus of Incomplete Objects. | Viviana Bono, Michele Bugliesi, Luigi Liquori |
| 1994 | CSL | A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. | Viviana Bono, Luigi Liquori |
| 1994 | LFCS | Comparing Cubes. | Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn |