Luigi Liquori

Orcid: 0000-0003-3961-4205

Affiliations:
  • INRIA, France


According to our database1, Luigi Liquori authored at least 76 papers between 1994 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Federating digital contact tracing using structured overlay networks.
Comput. Sci. Inf. Syst., 2022

2021
A protoype-based approach to object evolution.
J. Object Technol., 2021

2020
A Type Checker for a Logical Framework with Union and Intersection Types.
CoRR, 2020

A Type Checker for a Logical Framework with Union and Intersection Types (System Description).
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019
The Delta-calculus: Syntax and Types.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

A Network Aware Resource Discovery Service.
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

2018
Plugging-in proof development environments using Locks in LF.
Math. Struct. Comput. Sci., 2018

A prototype-based approach to object reclassification.
CoRR, 2018

The Delta-Framework.
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017
LLF<sub>𝒫</sub>: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads.
Log. Methods Comput. Sci., 2017

A Decidable Subtyping Logic for Intersection and Union Types.
Proceedings of the Topics in Theoretical Computer Science, 2017

2016
An open logical framework.
J. Log. Comput., 2016

Implementing Cantor's Paradise.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

A Realizability Interpretation for Intersection and Union Types.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015
Analyzing the exhaustiveness of the Synapse protocol.
Peer-to-Peer Netw. Appl., 2015

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks.
Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

2014
L ax F: Side Conditions and External Evidence as Monads.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Backward-Compatible Cooperation of Heterogeneous P2P Systems.
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2013
A backward-compatible protocol for inter-routing over heterogeneous overlay networks.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Interconnection of Large Scale Unstructured P2P Networks: Modeling and Analysis.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

CCN-TV: A Data-centric Approach to Real-Time Video Services.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012
Towards a Trust and Reputation Framework for Social Web Platforms.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks.
Proceedings of the NETWORKING 2012 Workshops, 2012

2011
Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks.
Proceedings of the 17th IEEE International Conference on Parallel and Distributed Systems, 2011

2010
CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks.
Proceedings of the NETWORKING 2010, 2010

Logic and Computation in a Lambda Calculus with Intersection and Union Types.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Resource Discovery in the Arigatoni Model.
Proceedings of the 10th International Conference on Innovative Internet Community Services (I<sup>2</sup>CS), 2010

A Distributed Catalog for Digitized Cultural Heritage.
Proceedings of the ICT Innovations 2010 - Second International Conference, 2010

2009
Babelchord: a social tower of DHT-based overlay networks.
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

2008
FeatherTrait: A modest extension of Featherweight Java.
ACM Trans. Program. Lang. Syst., 2008

Extending FeatherTrait Java with Interfaces.
Theor. Comput. Sci., 2008

iRho: an imperative rewriting calculus.
Math. Struct. Comput. Sci., 2008

Powerful resource discovery for Arigatoni overlay network.
Future Gener. Comput. Syst., 2008

An Overlay Architecture for Vehicular Networks.
Proceedings of the NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, 2008

A Conditional Logical Framework.
Proceedings of the Logic for Programming, 2008

2007
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.
J. Autom. Reason., 2007

Intersection-types à la Church.
Inf. Comput., 2007

A Framework for Defining Logical Frameworks.
Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Improving Resource Discovery in the Arigatoni Overlay Network.
Proceedings of the Architecture of Computing Systems, 2007

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

2006
Addressed term rewriting systems: application to a typed object calculus.
Math. Struct. Comput. Sci., 2006

Virtual Organizations in Arigatoni.
Proceedings of the Second International Workshop on Developments in Computational Models, 2006

Arigatoni: A Simple Programmable Overlay Network.
Proceedings of the 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 2006

2005
A Language for Verification and Manipulation of Web Documents: (Extended Abstract).
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

iRho: the Software: [System Description].
Proceedings of the First International Workshop on Developments in Computational Models, 2005

A Language for Verification and Manipulation of Web Documents.
Proceedings of the First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 2005

2004
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference].
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Towards an Intersection Typed System <i>à la</i> Church.
Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.
Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

2003
Rewrite strategies in the rewriting calculus.
Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003

Rewriting Calculus with Fixpoints: Untyped and First-Order Systems.
Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Pure patterns type systems.
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Imperative Object-Based Calculi in Co-inductive Type Theories.
Proceedings of the Logic for Programming, 2003

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002
Rewriting Calculus with(out) Types.
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

2001
Matching Power.
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

The Rho Cube.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000
Object calculi in linear logic.
J. Log. Comput., 2000

Match-O, A Dialect of Eiffel with Match-Types.
Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000

1999
A Subtyping for Extensible, Incomplete Objects.
Fundam. Informaticae, 1999

A Framework for Defining Object-Calculi.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Bounded Polymorphism for Extensible Objects.
Proceedings of the Types for Proofs and Programs, 1998

A Lambda Calculus of Objects with Self-Inflicted Extension.
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

On Object Extension.
Proceedings of the ECOOP'98, 1998

1997
Comparing Cubes of Typed and Type Assignment Systems.
Ann. Pure Appl. Log., 1997

Subtyping Constraints for Incomplete Objects (Extended Abstract).
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

An Extended Theory of Primitive Objects: FIrst Order System.
Proceedings of the ECOOP'97, 1997

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).
PhD thesis, 1996

A Lambda Calculus of Incomplete Objects.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

A Linear Logic Calculus Objects.
Proceedings of the Logic Programming, 1996

A Typed Lambda Calculus of Objects (Extended Abstract).
Proceedings of the Concurrency and Parallelism, 1996

1994
Comparing Cubes.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.
Proceedings of the Computer Science Logic, 8th International Workshop, 1994

Dealing with Explicit Exceptions in Prolog.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994


  Loading...