Dealing with Explicit Exceptions in Prolog. - Luigi Liquori; Maria Luisa Sapino (GULP-PRODE (2), 1994)

A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. - Viviana Bono; Luigi Liquori (CSL, 1994)

Comparing Cubes. - Steffen van Bakel; Luigi Liquori; Simona Ronchi Della Rocca; Pawel Urzyczyn (LFCS, 1994)

A Typed Lambda Calculus of Objects (Extended Abstract). - Luigi Liquori; Giuseppe Castagna (ASIAN, 1996)

A Linear Logic Calculus Objects. - Michele Bugliesi; Giorgio Delzanno; Luigi Liquori; Maurizio Martelli (JICSLP, 1996)

A Lambda Calculus of Incomplete Objects. - Viviana Bono; Michele Bugliesi; Luigi Liquori (MFCS, 1996)

Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. (Sistemi di Assegnamento di tipi per il lambda calcolo e per il lambda calcolo degli oggetti / Systèmes d'inférence de type pour le lambda-calcul et pour le lambda-calcul à objets). - Luigi Liquori (1996)

An Extended Theory of Primitive Objects: FIrst Order System. - Luigi Liquori (ECOOP, 1997)

Subtyping Constraints for Incomplete Objects (Extended Abstract). - Viviana Bono; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Luigi Liquori (TAPSOFT, 1997)

Comparing Cubes of Typed and Type Assignment Systems. - Steffen van Bakel; Luigi Liquori; Simona Ronchi Della Rocca; Pawel Urzyczyn (Ann. Pure Appl. Log., 1997)

On Object Extension. - Luigi Liquori (ECOOP, 1998)

A Lambda Calculus of Objects with Self-Inflicted Extension. - Pietro Di Gianantonio; Furio Honsell; Luigi Liquori (OOPSLA, 1998)

Bounded Polymorphism for Extensible Objects. - Luigi Liquori (TYPES, 1998)

A Framework for Defining Object-Calculi. - Frédéric Lang; Pierre Lescanne; Luigi Liquori (World Congress on Formal Methods, 1999)

A Subtyping for Extensible, Incomplete Objects. - Viviana Bono; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Luigi Liquori (Fundam. Informaticae, 1999)

Match-O, A Dialect of Eiffel with Match-Types. - Dominique Colnet; Luigi Liquori (TOOLS (37), 2000)

Object calculi in linear logic. - Michele Bugliesi; Giorgio Delzanno; Luigi Liquori; Maurizio Martelli (J. Log. Comput., 2000)

The Rho Cube. - Horatiu Cirstea; Claude Kirchner; Luigi Liquori (FoSSaCS, 2001)

Matching Power. - Horatiu Cirstea; Claude Kirchner; Luigi Liquori (RTA, 2001)

Rewriting Calculus with(out) Types. - Horatiu Cirstea; Claude Kirchner; Luigi Liquori (WRLA, 2002)

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. - Alberto Ciaffaglione; Luigi Liquori; Marino Miculan (MERLIN, 2003)

Imperative Object-Based Calculi in Co-inductive Type Theories. - Alberto Ciaffaglione; Luigi Liquori; Marino Miculan (LPAR, 2003)

Pure patterns type systems. - Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori (POPL, 2003)

Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. - Horatiu Cirstea; Luigi Liquori; Benjamin Wack (TYPES, 2003)

Rewrite strategies in the rewriting calculus. - Horatiu Cirstea; Claude Kirchner; Luigi Liquori; Benjamin Wack (WRS, 2003)

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. - Daniel J. Dougherty; Pierre Lescanne; Luigi Liquori; Frédéric Lang (TERMGRAPH, 2004)

Towards an Intersection Typed System à la Church. - Luigi Liquori; Simona Ronchi Della Rocca (ITRS, 2004)

The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. - Luigi Liquori; Benjamin Wack (WRLA, 2004)

A Language for Verification and Manipulation of Web Documents. - Luigi Liquori; Furio Honsell; Rekha Redamalla (WWV, 2005)

iRho: the Software: [System Description]. - Luigi Liquori (DCM@ICALP, 2005)

A Language for Verification and Manipulation of Web Documents: (Extended Abstract). - Luigi Liquori; Furio Honsell; Rekha Redamalla (WWV, 2005)

Arigatoni: A Simple Programmable Overlay Network. - Didier Benza; Michel Cosnard; Luigi Liquori; Marc Vesin (John Vincent Atanasoff Symposium, 2006)

Virtual Organizations in Arigatoni. - Michel Cosnard; Luigi Liquori; Raphaël Chand (DCM@ICALP, 2006)

Addressed term rewriting systems: application to a typed object calculus. - Daniel J. Dougherty; Pierre Lescanne; Luigi Liquori (Math. Struct. Comput. Sci., 2006)

Peter, the Language that does not Exist... (Peter, le langage qui n'existe pas..). - Luigi Liquori (2007)

Improving Resource Discovery in the Arigatoni Overlay Network. - Raphaël Chand; Luigi Liquori; Michel Cosnard (ARCS, 2007)

Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. - Luigi Liquori; Michel Cosnard (TGC, 2007)

A Framework for Defining Logical Frameworks. - Furio Honsell; Marina Lenisa; Luigi Liquori (Computation, Meaning, and Logic, 2007)

Intersection-types à la Church. - Luigi Liquori; Simona Ronchi Della Rocca (Inf. Comput., 2007)

Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. - Alberto Ciaffaglione; Luigi Liquori; Marino Miculan (J. Autom. Reason., 2007)

A Conditional Logical Framework. - Furio Honsell; Marina Lenisa; Luigi Liquori; Ivan Scagnetto (LPAR, 2008)

An Overlay Architecture for Vehicular Networks. - Luigi Liquori; Diego Borsetti; Claudio Casetti; Carla-Fabiana Chiasserini (Networking, 2008)

Powerful resource discovery for Arigatoni overlay network. - Raphaël Chand; Michel Cosnard; Luigi Liquori (Future Gener. Comput. Syst., 2008)

iRho: an imperative rewriting calculus. - Luigi Liquori; Bernard P. Serpette (Math. Struct. Comput. Sci., 2008)

Extending FeatherTrait Java with Interfaces. - Luigi Liquori; Arnaud Spiwack (Theor. Comput. Sci., 2008)

FeatherTrait: A modest extension of Featherweight Java. - Luigi Liquori; Arnaud Spiwack (ACM Trans. Program. Lang. Syst., 2008)

Babelchord: a social tower of DHT-based overlay networks. - Luigi Liquori; Cédric Tedeschi; Francesco Bongiovanni (ISCC, 2009)

A Distributed Catalog for Digitized Cultural Heritage. - Bojan Marinkovic; Luigi Liquori; Vincenzo Ciancaglini; Zoran Ognjanovic (ICT Innovations, 2010)

Resource Discovery in the Arigatoni Model. - Raphaël Chand; Luigi Liquori; Michel Cosnard (IICS, 2010)

Logic and Computation in a Lambda Calculus with Intersection and Union Types. - Daniel J. Dougherty; Luigi Liquori (LPAR (Dakar), 2010)

Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. - Luigi Liquori; Cédric Tedeschi; Laurent Vanni; Francesco Bongiovanni; Vincenzo Ciancaglini; Bojan Marinkovic (Networking, 2010)

CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility. - Vincenzo Ciancaglini; Luigi Liquori; Laurent Vanni (TGC, 2010)

Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks. - Vincenzo Ciancaglini; Luigi Liquori; Giang Ngo Hoang (ICPADS, 2011)

An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. - Vincenzo Ciancaglini; Luigi Liquori; Giang Ngo Hoang; Petar Maksimovic 001 (Networking Workshops, 2012)

Towards a Trust and Reputation Framework for Social Web Platforms. - Thao Nguyen; Luigi Liquori; Bruno Martin; Karl Hanks (OTM Workshops, 2012)

CCN-TV: A Data-centric Approach to Real-Time Video Services. - Vincenzo Ciancaglini; Giuseppe Piro; Riccardo Loti; Luigi Alfredo Grieco; Luigi Liquori (AINA Workshops, 2013)

Interconnection of Large Scale Unstructured P2P Networks: Modeling and Analysis. - Vincenzo Ciancaglini; Rossano Gaeta; Riccardo Loti; Luigi Liquori (ASMTA, 2013)

A backward-compatible protocol for inter-routing over heterogeneous overlay networks. - Giang Ngo Hoang; Luigi Liquori; Vincenzo Ciancaglini; Petar Maksimovic 001; Hung Nguyen Chan (SAC, 2013)

Backward-Compatible Cooperation of Heterogeneous P2P Systems. - Giang Ngo Hoang; Luigi Liquori; Hung Nguyen Chan (ICDCN, 2014)

L ax F: Side Conditions and External Evidence as Monads. - Furio Honsell; Luigi Liquori; Ivan Scagnetto (MFCS (1), 2014)

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. - Furio Honsell; Luigi Liquori; Petar Maksimovic 001; Ivan Scagnetto (LFMTP, 2015)

Analyzing the exhaustiveness of the Synapse protocol. - Bojan Marinkovic; Vincenzo Ciancaglini; Zoran Ognjanovic; Paola Glavan; Luigi Liquori; Petar Maksimovic 001 (Peer-to-Peer Netw. Appl., 2015)

A Realizability Interpretation for Intersection and Union Types. - Daniel J. Dougherty; Ugo de'Liguoro; Luigi Liquori; Claude Stolze (APLAS, 2016)

Implementing Cantor's Paradise. - Furio Honsell; Marina Lenisa; Luigi Liquori; Ivan Scagnetto (APLAS, 2016)

An open logical framework. - Furio Honsell; Marina Lenisa; Ivan Scagnetto; Luigi Liquori; Petar Maksimovic 001 (J. Log. Comput., 2016)

A Decidable Subtyping Logic for Intersection and Union Types. - Luigi Liquori; Claude Stolze (TTCS, 2017)

LLF𝒫: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. - Furio Honsell; Luigi Liquori; Petar Maksimovic 001; Ivan Scagnetto (Log. Methods Comput. Sci., 2017)

The Delta-Framework. - Furio Honsell; Luigi Liquori; Claude Stolze; Ivan Scagnetto (FSTTCS, 2018)

A prototype-based approach to object reclassification. - Alberto Ciaffaglione; Pietro Di Gianantonio; Furio Honsell; Luigi Liquori (CoRR, 2018)

Plugging-in proof development environments using Locks in LF. - Furio Honsell; Luigi Liquori; Petar Maksimovic 001; Ivan Scagnetto (Math. Struct. Comput. Sci., 2018)

A Network Aware Resource Discovery Service. - Luigi Liquori; Rossano Gaeta; Matteo Sereno (EPEW, 2019)

The Delta-calculus: Syntax and Types. - Luigi Liquori; Claude Stolze (FSCD, 2019)

A Type Checker for a Logical Framework with Union and Intersection Types (System Description). - Claude Stolze; Luigi Liquori (FSCD, 2020)

A Type Checker for a Logical Framework with Union and Intersection Types. - Luigi Liquori; Claude Stolze (CoRR, 2020)

A protoype-based approach to object evolution. - Alberto Ciaffaglione; Pietro Di Gianantonio; Furio Honsell; Luigi Liquori (J. Object Technol., 2021)

Federating digital contact tracing using structured overlay networks. - Silvia Ghilezan; Simona Kasterovic; Luigi Liquori; Bojan Marinkovic; Zoran Ognjanovic; Tamara Stefanovic (Comput. Sci. Inf. Syst., 2022)

Multi-layered Model for Performance Evaluation of oneM2M-Based IoT Solution. - Samir Medjhah; Thierry Monteil 001; Marie-Agnès Peraldi-Frati; Luigi Liquori (IFIPIoT (1), 2024)

Strong Priority and Determinacy in Timed CCS. - Luigi Liquori; Michael Mendler (CoRR, 2024)