Luigi Liquori

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 18

Top Venues

CoRR

FSCD

APLAS

Math. Struct. Comput. Sci.

University of Pisa, Italy (PHD)

Education History

University of Pisa, Italy

PHD

Publications

Luigi Liquori, Michael Mendler
Strong Priority and Determinacy in Timed CCS. CoRR (2024)
Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic
Federating digital contact tracing using structured overlay networks. Comput. Sci. Inf. Syst. 19 (3) (2022)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A protoype-based approach to object evolution. J. Object Technol. 20 (2) (2021)
Luigi Liquori, Claude Stolze
A Type Checker for a Logical Framework with Union and Intersection Types. CoRR (2020)
Claude Stolze, Luigi Liquori
A Type Checker for a Logical Framework with Union and Intersection Types (System Description). FSCD (2020)
Luigi Liquori, Rossano Gaeta, Matteo Sereno
A Network Aware Resource Discovery Service. EPEW (2019)
Luigi Liquori, Claude Stolze
The Delta-calculus: Syntax and Types. FSCD (2019)
Luigi Liquori, Claude Stolze
The Delta-calculus: syntax and types. CoRR (2018)
Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
The Delta-framework. CoRR (2018)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
Plugging-in proof development environments using Locks in LF. Math. Struct. Comput. Sci. 28 (9) (2018)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A prototype-based approach to object reclassification. CoRR (2018)
Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
The Delta-Framework. FSTTCS (2018)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. CoRR (2017)
Luigi Liquori, Claude Stolze
A Decidable Subtyping Logic for Intersection and Union Types. TTCS (2017)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. Log. Methods Comput. Sci. 13 (3) (2017)
Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze
A Realizability Interpretation for Intersection and Union Types. APLAS (2016)
Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
Implementing Cantor's Paradise. APLAS (2016)
Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic
An open logical framework. J. Log. Comput. 26 (1) (2016)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. LFMTP (2015)
Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic
Analyzing the exhaustiveness of the Synapse protocol. Peer-to-Peer Netw. Appl. 8 (5) (2015)
Furio Honsell, Luigi Liquori, Ivan Scagnetto
L ax F: Side Conditions and External Evidence as Monads. MFCS (1) (2014)
Giang Ngo Hoang, Luigi Liquori, Hung Nguyen Chan
Backward-Compatible Cooperation of Heterogeneous P2P Systems. ICDCN (2014)
Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan
A backward-compatible protocol for inter-routing over heterogeneous overlay networks. SAC (2013)
Vincenzo Ciancaglini, Giuseppe Piro, Riccardo Loti, Luigi Alfredo Grieco, Luigi Liquori
CCN-TV: A Data-centric Approach to Real-Time Video Services. AINA Workshops (2013)
Vincenzo Ciancaglini, Rossano Gaeta, Riccardo Loti, Luigi Liquori
Interconnection of Large Scale Unstructured P2P Networks: Modeling and Analysis. ASMTA (2013)
Thao Nguyen, Luigi Liquori, Bruno Martin, Karl Hanks
Towards a Trust and Reputation Framework for Social Web Platforms. OTM Workshops (2012)
Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic
An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. Networking Workshops (2012)
Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang
Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks. ICPADS (2011)
Luigi Liquori, Cédric Tedeschi, Laurent Vanni, Francesco Bongiovanni, Vincenzo Ciancaglini, Bojan Marinkovic
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. Networking (2010)
Raphaël Chand, Luigi Liquori, Michel Cosnard
Resource Discovery in the Arigatoni Model. IICS (2010)
Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic
A Distributed Catalog for Digitized Cultural Heritage. ICT Innovations (2010)
Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni
CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility. TGC (2010)
Daniel J. Dougherty, Luigi Liquori
Logic and Computation in a Lambda Calculus with Intersection and Union Types. LPAR (Dakar) (2010)
Luigi Liquori, Cédric Tedeschi, Francesco Bongiovanni
Babelchord: a social tower of DHT-based overlay networks. ISCC (2009)
Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
A Conditional Logical Framework. LPAR (2008)
Luigi Liquori, Diego Borsetti, Claudio Casetti, Carla-Fabiana Chiasserini
An Overlay Architecture for Vehicular Networks. Networking (2008)
Luigi Liquori, Arnaud Spiwack
FeatherTrait: A modest extension of Featherweight Java. ACM Trans. Program. Lang. Syst. 30 (2) (2008)
Luigi Liquori, Bernard P. Serpette
iRho: an imperative rewriting calculus. Math. Struct. Comput. Sci. 18 (3) (2008)
Luigi Liquori, Arnaud Spiwack
Extending FeatherTrait Java with Interfaces. Theor. Comput. Sci. 398 (1-3) (2008)
Raphaël Chand, Michel Cosnard, Luigi Liquori
Powerful resource discovery for Arigatoni overlay network. Future Gener. Comput. Syst. 24 (1) (2008)
Luigi Liquori, Michel Cosnard
Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. TGC (2007)
Raphaël Chand, Luigi Liquori, Michel Cosnard
Improving Resource Discovery in the Arigatoni Overlay Network. ARCS (2007)
Luigi Liquori, Simona Ronchi Della Rocca
Intersection-types à la Church. Inf. Comput. 205 (9) (2007)
Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. J. Autom. Reason. 39 (1) (2007)
Furio Honsell, Marina Lenisa, Luigi Liquori
A Framework for Defining Logical Frameworks. Electron. Notes Theor. Comput. Sci. 172 (2007)
Michel Cosnard, Luigi Liquori, Raphaël Chand
Virtual Organizations in Arigatoni. Electron. Notes Theor. Comput. Sci. 171 (3) (2007)
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori
Addressed term rewriting systems: application to a typed object calculus. Math. Struct. Comput. Sci. 16 (4) (2006)
Luigi Liquori, Furio Honsell, Rekha Redamalla
A Language for Verification and Manipulation of Web Documents: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Luigi Liquori
iRho: the Software: [System Description]. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Didier Benza, Michel Cosnard, Luigi Liquori, Marc Vesin
Arigatoni: A Simple Programmable Overlay Network. John Vincent Atanasoff Symposium (2006)
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
Luigi Liquori, Simona Ronchi Della Rocca
Church. Electron. Notes Theor. Comput. Sci. 136 (2005)
Luigi Liquori, Furio Honsell, Rekha Redamalla
A Language for Verification and Manipulation of Web Documents. WWV (2005)
Luigi Liquori, Benjamin Wack
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. WRLA (2004)
Luigi Liquori, Bernard P. Serpette
iRho: an imperative rewriting calculus. PPDP (2004)
Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR (2003)
Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori
Pure patterns type systems. POPL (2003)
Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
Rewrite strategies in the rewriting calculus. Electron. Notes Theor. Comput. Sci. 86 (4) (2003)
Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN (2003)
Horatiu Cirstea, Luigi Liquori, Benjamin Wack
Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES (2003)
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
Rewriting Calculus with(out) Types. Electron. Notes Theor. Comput. Sci. 71 (2002)
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
The Rho Cube. FoSSaCS (2001)
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
Matching Power. RTA (2001)
Dominique Colnet, Luigi Liquori
Match-O, A Dialect of Eiffel with Match-Types. TOOLS (37) (2000)
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
Object calculi in linear logic. J. Log. Comput. 10 (1) (2000)
Frédéric Lang, Pierre Lescanne, Luigi Liquori
A Framework for Defining Object-Calculi. World Congress on Formal Methods (1999)
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
A Subtyping for Extensible, Incomplete Objects. Fundam. Informaticae 38 (4) (1999)
Luigi Liquori
Bounded Polymorphism for Extensible Objects. TYPES (1998)
Luigi Liquori
On Object Extension. ECOOP (1998)
Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A Lambda Calculus of Objects with Self-Inflicted Extension. OOPSLA (1998)
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT (1997)
Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
Comparing Cubes of Typed and Type Assignment Systems. Ann. Pure Appl. Log. 86 (3) (1997)
Luigi Liquori
An Extended Theory of Primitive Objects: FIrst Order System. ECOOP (1997)
Viviana Bono, Michele Bugliesi, Luigi Liquori
A Lambda Calculus of Incomplete Objects. MFCS (1996)
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
A Linear Logic Calculus Objects. JICSLP (1996)
Luigi Liquori, Giuseppe Castagna
A Typed Lambda Calculus of Objects (Extended Abstract). ASIAN (1996)
Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
Comparing Cubes. LFCS (1994)
Viviana Bono, Luigi Liquori
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. CSL (1994)
Luigi Liquori, Maria Luisa Sapino
Dealing with Explicit Exceptions in Prolog. GULP-PRODE (2) (1994)

Luigi Liquori.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luigi Liquori