default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuigi Liquori
Person information
- affiliation: INRIA, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c58]Samir Medjhah, Thierry Monteil, Marie-Agnès Peraldi-Frati, Luigi Liquori:
Multi-layered Model for Performance Evaluation of oneM2M-Based IoT Solution. IFIPIoT (1) 2024: 77-95- [i6]Luigi Liquori, Michael Mendler:
Strong Priority and Determinacy in Timed CCS. CoRR abs/2403.04618 (2024) - 2022
- [j16]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): 1261-1282 (2022) - 2021
- [j15]Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori:
A protoype-based approach to object evolution. J. Object Technol. 20(2): 4:1-24 (2021) - 2020
- [c57]Claude Stolze, Luigi Liquori:
A Type Checker for a Logical Framework with Union and Intersection Types (System Description). FSCD 2020: 37:1-37:24 - [i5]Luigi Liquori, Claude Stolze:
A Type Checker for a Logical Framework with Union and Intersection Types. CoRR abs/2002.10803 (2020)
2010 – 2019
- 2019
- [c56]Luigi Liquori, Rossano Gaeta, Matteo Sereno:
A Network Aware Resource Discovery Service. EPEW 2019: 84-99 - [c55]Luigi Liquori, Claude Stolze:
The Delta-calculus: Syntax and Types. FSCD 2019: 28:1-28:20 - 2018
- [j14]Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto:
Plugging-in proof development environments using Locks in LF. Math. Struct. Comput. Sci. 28(9): 1578-1605 (2018) - [c54]Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto:
The Delta-Framework. FSTTCS 2018: 37:1-37:21 - [i4]Luigi Liquori, Claude Stolze:
The Delta-calculus: syntax and types. CoRR abs/1803.09660 (2018) - [i3]Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori:
A prototype-based approach to object reclassification. CoRR abs/1808.04190 (2018) - [i2]Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto:
The Delta-framework. CoRR abs/1808.04193 (2018) - 2017
- [j13]Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto:
LLF𝒫: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. Log. Methods Comput. Sci. 13(3) (2017) - [c53]Luigi Liquori, Claude Stolze:
A Decidable Subtyping Logic for Intersection and Union Types. TTCS 2017: 74-90 - [i1]Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto:
LLFP: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. CoRR abs/1702.07214 (2017) - 2016
- [j12]Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic:
An open logical framework. J. Log. Comput. 26(1): 293-335 (2016) - [c52]Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze:
A Realizability Interpretation for Intersection and Union Types. APLAS 2016: 187-205 - [c51]Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto:
Implementing Cantor's Paradise. APLAS 2016: 229-250 - 2015
- [j11]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): 793-806 (2015) - [c50]Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto:
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. LFMTP 2015: 3-17 - 2014
- [c49]Giang Ngo Hoang, Luigi Liquori, Hung Nguyen Chan:
Backward-Compatible Cooperation of Heterogeneous P2P Systems. ICDCN 2014: 287-301 - [c48]Furio Honsell, Luigi Liquori, Ivan Scagnetto:
L ax F: Side Conditions and External Evidence as Monads. MFCS (1) 2014: 327-339 - 2013
- [c47]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: 982-989 - [c46]Vincenzo Ciancaglini, Rossano Gaeta, Riccardo Loti, Luigi Liquori:
Interconnection of Large Scale Unstructured P2P Networks: Modeling and Analysis. ASMTA 2013: 183-197 - [c45]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: 649-651 - 2012
- [c44]Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic:
An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. Networking Workshops 2012: 10-18 - [c43]Thao Nguyen, Luigi Liquori, Bruno Martin, Karl Hanks:
Towards a Trust and Reputation Framework for Social Web Platforms. OTM Workshops 2012: 13-22 - 2011
- [c42]Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang:
Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks. ICPADS 2011: 817-822 - 2010
- [c41]Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic:
A Distributed Catalog for Digitized Cultural Heritage. ICT Innovations 2010: 176-186 - [c40]Raphaël Chand, Luigi Liquori, Michel Cosnard:
Resource Discovery in the Arigatoni Model. IICS 2010: 437-449 - [c39]Daniel J. Dougherty, Luigi Liquori:
Logic and Computation in a Lambda Calculus with Intersection and Union Types. LPAR (Dakar) 2010: 173-191 - [c38]Luigi Liquori, Cédric Tedeschi, Laurent Vanni, Francesco Bongiovanni, Vincenzo Ciancaglini, Bojan Marinkovic:
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. Networking 2010: 67-82 - [c37]Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni:
CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility. TGC 2010: 301-317
2000 – 2009
- 2009
- [c36]Luigi Liquori, Cédric Tedeschi, Francesco Bongiovanni:
Babelchord: a social tower of DHT-based overlay networks. ISCC 2009: 307-312 - 2008
- [j10]Raphaël Chand, Michel Cosnard, Luigi Liquori:
Powerful resource discovery for Arigatoni overlay network. Future Gener. Comput. Syst. 24(1): 31-38 (2008) - [j9]Luigi Liquori, Bernard P. Serpette:
iRho: an imperative rewriting calculus. Math. Struct. Comput. Sci. 18(3): 467-500 (2008) - [j8]Luigi Liquori, Arnaud Spiwack:
Extending FeatherTrait Java with Interfaces. Theor. Comput. Sci. 398(1-3): 243-260 (2008) - [j7]Luigi Liquori, Arnaud Spiwack:
FeatherTrait: A modest extension of Featherweight Java. ACM Trans. Program. Lang. Syst. 30(2): 11:1-11:32 (2008) - [c35]Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto:
A Conditional Logical Framework. LPAR 2008: 143-157 - [c34]Luigi Liquori, Diego Borsetti, Claudio Casetti, Carla-Fabiana Chiasserini:
An Overlay Architecture for Vehicular Networks. Networking 2008: 60-71 - 2007
- [b2]Luigi Liquori:
Peter, the Language that does not Exist... (Peter, le langage qui n'existe pas..). National Polytechnic Institute of Lorraine, France, 2007 - [j6]Luigi Liquori, Simona Ronchi Della Rocca:
Intersection-types à la Church. Inf. Comput. 205(9): 1371-1386 (2007) - [j5]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): 1-47 (2007) - [c33]Raphaël Chand, Luigi Liquori, Michel Cosnard:
Improving Resource Discovery in the Arigatoni Overlay Network. ARCS 2007: 98-111 - [c32]Luigi Liquori, Michel Cosnard:
Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. TGC 2007: 90-107 - [c31]Furio Honsell, Marina Lenisa, Luigi Liquori:
A Framework for Defining Logical Frameworks. Computation, Meaning, and Logic 2007: 399-436 - 2006
- [j4]Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori:
Addressed term rewriting systems: application to a typed object calculus. Math. Struct. Comput. Sci. 16(4): 667-709 (2006) - [c30]Didier Benza, Michel Cosnard, Luigi Liquori, Marc Vesin:
Arigatoni: A Simple Programmable Overlay Network. John Vincent Atanasoff Symposium 2006: 82-91 - [c29]Michel Cosnard, Luigi Liquori, Raphaël Chand:
Virtual Organizations in Arigatoni. DCM@ICALP 2006: 55-75 - 2005
- [c28]Luigi Liquori, Furio Honsell, Rekha Redamalla:
A Language for Verification and Manipulation of Web Documents. WWV 2005: 127-137 - [c27]Luigi Liquori, Furio Honsell, Rekha Redamalla:
A Language for Verification and Manipulation of Web Documents: (Extended Abstract). WWV 2005: 67-78 - [c26]Luigi Liquori:
iRho: the Software: [System Description]. DCM@ICALP 2005: 85-94 - 2004
- [c25]Luigi Liquori, Bernard P. Serpette:
iRho: an imperative rewriting calculus. PPDP 2004: 167-178 - [c24]Luigi Liquori, Simona Ronchi Della Rocca:
Towards an Intersection Typed System à la Church. ITRS 2004: 43-56 - [c23]Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang:
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. TERMGRAPH 2004: 57-82 - [c22]Luigi Liquori, Benjamin Wack:
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. WRLA 2004: 89-111 - 2003
- [c21]Alberto Ciaffaglione, Luigi Liquori, Marino Miculan:
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003 - [c20]Alberto Ciaffaglione, Luigi Liquori, Marino Miculan:
Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77 - [c19]Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Pure patterns type systems. POPL 2003: 250-261 - [c18]Horatiu Cirstea, Luigi Liquori, Benjamin Wack:
Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES 2003: 147-161 - [c17]Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack:
Rewrite strategies in the rewriting calculus. WRS 2003: 593-624 - 2002
- [c16]Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Rewriting Calculus with(out) Types. WRLA 2002: 3-19 - 2001
- [c15]Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
The Rho Cube. FoSSaCS 2001: 168-183 - [c14]Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Matching Power. RTA 2001: 77-92 - 2000
- [j3]Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli:
Object calculi in linear logic. J. Log. Comput. 10(1): 75-104 (2000) - [c13]Dominique Colnet, Luigi Liquori:
Match-O, A Dialect of Eiffel with Match-Types. TOOLS (37) 2000: 190-201
1990 – 1999
- 1999
- [j2]Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori:
A Subtyping for Extensible, Incomplete Objects. Fundam. Informaticae 38(4): 325-364 (1999) - [c12]Frédéric Lang, Pierre Lescanne, Luigi Liquori:
A Framework for Defining Object-Calculi. World Congress on Formal Methods 1999: 963-982 - 1998
- [c11]Luigi Liquori:
On Object Extension. ECOOP 1998: 498-522 - [c10]Pietro Di Gianantonio, Furio Honsell, Luigi Liquori:
A Lambda Calculus of Objects with Self-Inflicted Extension. OOPSLA 1998: 166-178 - [c9]Luigi Liquori:
Bounded Polymorphism for Extensible Objects. TYPES 1998: 149-163 - 1997
- [j1]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): 267-303 (1997) - [c8]Luigi Liquori:
An Extended Theory of Primitive Objects: FIrst Order System. ECOOP 1997: 146-169 - [c7]Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori:
Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477 - 1996
- [b1]Luigi Liquori:
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). University of Pisa, Italy, 1996 - [c6]Luigi Liquori, Giuseppe Castagna:
A Typed Lambda Calculus of Objects (Extended Abstract). ASIAN 1996: 129-141 - [c5]Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli:
A Linear Logic Calculus Objects. JICSLP 1996: 67-81 - [c4]Viviana Bono, Michele Bugliesi, Luigi Liquori:
A Lambda Calculus of Incomplete Objects. MFCS 1996: 218-229 - 1994
- [c3]Luigi Liquori, Maria Luisa Sapino:
Dealing with Explicit Exceptions in Prolog. GULP-PRODE (2) 1994: 296-308 - [c2]Viviana Bono, Luigi Liquori:
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. CSL 1994: 16-30 - [c1]Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn:
Comparing Cubes. LFCS 1994: 353-365
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
