Luigi Liquori
Orcid: 0000-0003-3961-4205Affiliations:
- INRIA, France
According to our database1,
Luigi Liquori
authored at least 78 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
1
1
2
1
1
1
4
2
1
1
1
1
1
1
2
1
1
2
1
2
3
2
1
5
1
2
3
2
3
3
5
1
2
1
1
3
2
3
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Internet of Things, 2024
2022
Comput. Sci. Inf. Syst., 2022
2021
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
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019
2018
Math. Struct. Comput. Sci., 2018
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
Proceedings of the Topics in Theoretical Computer Science, 2017
2016
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016
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
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
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
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013
2012
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012
Proceedings of the NETWORKING 2012 Workshops, 2012
2011
Proceedings of the 17th IEEE International Conference on Parallel and Distributed Systems, 2011
2010
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
Proceedings of the NETWORKING 2010, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the 10th International Conference on Innovative Internet Community Services (I<sup>2</sup>CS), 2010
Proceedings of the ICT Innovations 2010 - Second International Conference, 2010
2009
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009
2008
ACM Trans. Program. Lang. Syst., 2008
Future Gener. Comput. Syst., 2008
Proceedings of the NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, 2008
2007
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.
J. Autom. Reason., 2007
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
Proceedings of the Architecture of Computing Systems, 2007
, 2007
2006
Math. Struct. Comput. Sci., 2006
Proceedings of the Second International Workshop on Developments in Computational Models, 2006
Proceedings of the 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 2006
2005
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005
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
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
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
Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003
Proceedings of the Types for Proofs and Programs, International Workshop, 2003
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003
Proceedings of the Logic for Programming, 2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
2002
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
2001
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001
Proceedings of the Foundations of Software Science and Computation Structures, 2001
2000
Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000
1999
Proceedings of the FM'99 - Formal Methods, 1999
1998
Proceedings of the Types for Proofs and Programs, 1998
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998
1997
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
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
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996
Proceedings of the Concurrency and Parallelism, 1996
1994
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994
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