Luigi Liquori

137
Documents
Identifiants chercheurs

Publications

Publications

Deposit thumbnail

How Research meets Standardization: the Asynchronous Contact Tracing ETSI Standard and the PANDESYS Research Activity

Luigi Liquori

Enjoy ! the ETSI Mag, 2023, janvier

Article dans une revue hal-03940889v1
Deposit thumbnail

Federating Digital Contact Tracing using Structured Overlay Networks

Silvia Ghilezan , Simona Kašterović , Luigi Liquori , Bojan Marinković , Zoran Ognjanović et al.

Computer Science and Information Systems, 2022, Special Issue on Compilers, Languages, Related Technologies, and Applications, 19 (3), pp.1261-1282. ⟨10.2298/CSIS210825029G⟩

Article dans une revue hal-03127890v4
Deposit thumbnail

A prototype-based approach to object evolution

Alberto Ciaffaglione , Pietro Di Gianantonio , Furio Honsell , Luigi Liquori

The Journal of Object Technology, 2021, 20 (2), pp.2:1--24. ⟨10.5381/jot.2021.20.2.a4⟩

Article dans une revue hal-01646168v6
Deposit thumbnail

Plugging-in Proof Development Environments using Locks in LF

Furio Honsell , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto

Mathematical Structures in Computer Science, 2018, 28 (9), pp.1578--1605

Article dans une revue hal-01272647v1
Deposit thumbnail

LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads

Furio Honsell , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto

Logical Methods in Computer Science, 2017, Special Issue in honor of Pierre Louis Curien

Article dans une revue hal-01146059v2
Deposit thumbnail

Analyzing the exhaustiveness of the synapse protocol

Bojan Marinkovic , Vincenzo Ciancaglini , Zoran Ognjanovic , Paola Glavan , Luigi Liquori et al.

Peer-to-Peer Networking and Applications, 2015, Includes a Special Issue on Cloud, Grid, P2P, and Internet Computing, 8 (5), pp.793--806. ⟨10.1007/s12083-014-0293-z⟩

Article dans une revue hal-01146050v1
Deposit thumbnail

An Open Logical Framework

Furio Honsell , Marina Lenisa , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto

Journal of Logic and Computation, 2013, 25 (2), 43 p. ⟨10.1093/logcom/ext028⟩

Article dans une revue hal-00906391v1
Deposit thumbnail

Powerful Resource Discovery for Arigatoni Overlay Network

Raphael Chand , Michel Cosnard , Luigi Liquori

Future Generation Computer Systems, 2008, Future Generation Computer Systems, FGCS, 24 (1), pp.31-48. ⟨10.1016/j.future.2007.02.009⟩

Article dans une revue hal-00909630v1
Deposit thumbnail

FeatherTrait: A Modest Extension of Featherweight Java

Luigi Liquori , Arnaud Spiwack

ACM Transactions on Programming Languages and Systems (TOPLAS), 2008, ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (2), pp.11:1--11:32. ⟨10.1145/1330017.1330022⟩

Article dans une revue inria-00432538v1
Deposit thumbnail

iRho: An Imperative Rewriting-calculus

Luigi Liquori , Bernard P. Serpette

Mathematical Structures in Computer Science, 2008, 18 (03), pp.467-500. ⟨10.1017/S0960129508006750⟩

Article dans une revue hal-01147678v1
Deposit thumbnail

Extending FeatherTrait Java with Interfaces

Luigi Liquori , Arnaud Spiwack

Theoretical Computer Science, 2008, Theoretical Computer Science, 30 (1-3), pp.243-260. ⟨10.1016/j.tcs.2008.01.051⟩

Article dans une revue inria-00432540v1
Deposit thumbnail

A Framework for Defining Logical Frameworks

Furio Honsell , Marina Lenisa , Luigi Liquori

Electronic Notes in Theoretical Computer Science, 2007, In Computation, Meaning and Logic. ENTCS, Special issue, dedicated to Gordon D. Plotkin, on the occasion of his 60th birthday, 172, pp.399-436. ⟨10.1016/j.entcs.2007.02.014⟩

Article dans une revue hal-01148312v1
Deposit thumbnail

Intersection-types à la Church

Luigi Liquori , Simona Ronchi Della Rocca

Information and Computation, 2007, 205 (9), pp.1371-1386. ⟨10.1016/j.ic.2007.03.005⟩

Article dans une revue hal-01148282v1
Deposit thumbnail

Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

Alberto Ciaffaglione , Luigi Liquori , Marino Miculan

Journal of Automated Reasoning, 2007, Journal of Automated Reasoning, 39 (1), pp.1-47. ⟨10.1007/s10817-006-9061-y⟩

Article dans une revue hal-01148347v1
Deposit thumbnail

Addressed term rewriting systems: application to a typed object calculus

Daniel J. Dougherty , Pierre Lescanne , Luigi Liquori

Mathematical Structures in Computer Science, 2006, 16 (issue 4), pp.667-709. ⟨10.1017/S096012950600541X⟩

Article dans une revue hal-01148846v1
Deposit thumbnail

Review: Formal Methods for Open Object-Based Distributed Systems V

Luigi Liquori

The Computer Journal, 2003, 46 (6), pp.661. ⟨10.1093/comjnl/46.6.661⟩

Article dans une revue hal-01149616v1
Deposit thumbnail

Object calculi in linear logic

Michele Bugliesi , Giorgio Delzanno , Luigi Liquori , Maurizio Martelli

Journal of Logic and Computation, 2000, 10 (1), pp.75-104. ⟨10.1093/logcom/10.1.75⟩

Article dans une revue istex hal-01152636v1
Deposit thumbnail

A Subtyping for Extensible, Incomplete Objects

Viviana Bono , Michele Bugliesi , Mariangiola Dezani-Ciancaglini , Luigi Liquori

Fundamenta Informaticae, 1999, 38 (4), pp.325--364

Article dans une revue hal-01153734v1
Deposit thumbnail

Comparing cubes of typed and type assignment systems

Steffen van Bakel , Luigi Liquori , Simona Ronchi Della Rocca , Pawel Urzyczyn

Annals of Pure and Applied Logic, 1997, 86 Issue 3, pp.267-303. ⟨10.1016/S0168-0072(96)00036-X⟩

Article dans une revue hal-01154638v1

A view of Research and Standardisation: the oneM2M IoT standard by ETSI

Luigi Liquori

Stakeholder Day Conference 2025, IIT Delhi, Feb 2025, Delhi, India

Communication dans un congrès hal-05412036v1

UE Normalization and Standardisation of Smart Contracts and Electronic Ledgers

Luigi Liquori

EthCC 2025 - 8th Ethereum Community Conference, Jul 2025, Cannes, France

Communication dans un congrès hal-05410027v1
Deposit thumbnail

Synpatick: Coherence and Determinacy with Priorities and Clocks

Claude Stolze , Luigi Liquori , Michael Mendler

Synchron 2025 - 32th International Open Workshop on Synchronous Programming, Nov 2025, Aussois, France

Communication dans un congrès hal-05459053v2

Pandesys : Asynchronous Contact Tracing : ETSI Standard TS 103 757

Luigi Liquori

AI TrustAlert – Intelligenza Artificiale per la Sanità Pubblica: risultati, prospettive e sfide future, Oct 2025, Turin (IT), Italy

Communication dans un congrès hal-05410950v1
Deposit thumbnail

Multi-layered Model for Performance Evaluation of oneM2M-based IoT Solution

Samir Medjiah , Thierry Monteil , Marie-Agnès Peraldi-Frati , Luigi Liquori

IFIP-IoT Conference 2024 - 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, Université Côte d'Azur; IFIP, Nov 2024, Nice, France. ⟨10.1007/978-3-031-81900-1_5⟩

Communication dans un congrès hal-04749511v1
Deposit thumbnail

A Type Checker for a Logical Framework with Union and Intersection Types

Claude Stolze , Luigi Liquori

FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. ⟨10.4230/LIPIcs.FSCD.2020⟩

Communication dans un congrès hal-02573605v1
Deposit thumbnail

The Delta-calculus: syntax and types

Luigi Liquori , Claude Stolze

FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.1007/978-3-030-44411-2\_6⟩

Communication dans un congrès hal-01963662v1
Deposit thumbnail

A Network Aware Resource Discovery Service

Luigi Liquori , Rossano Gaeta , Matteo Sereno

EPEW 2019 - 16th European Performance Engineering Workshop, Nov 2019, Milano, Italy. ⟨10.1007/978-3-030-44411-2\_6⟩

Communication dans un congrès hal-01895452v3
Deposit thumbnail

The Delta-framework

Furio Honsell , Luigi Liquori , Claude Stolze , Ivan Scagnetto

38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2018, Dec 2018, Ahmedabad, India. pp.37:1--37:21, ⟨10.4230/LIPIcs.FSTTCS.2018.37⟩

Communication dans un congrès hal-01701934v2
Deposit thumbnail

A Decidable Subtyping Logic for Intersection and Union Types

Luigi Liquori , Claude Stolze

TTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩

Communication dans un congrès hal-01760641v1
Deposit thumbnail

Towards a Logical Framework with Intersection and Union Types

Claude Stolze , Luigi Liquori , Furio Honsell , Ivan Scagnetto

11th International Workshop on Logical Frameworks and Meta-languages, LFMTP, Sep 2017, Oxford, United Kingdom. pp.1 - 9

Communication dans un congrès hal-01534035v2
Deposit thumbnail

A Realizability Interpretation for Intersection and Union Types

Daniel J. Dougherty , Ugo de 'Liguoro , Luigi Liquori , Claude Stolze

14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam

Communication dans un congrès hal-01317213v2
Deposit thumbnail

Implementing Cantor's Paradise

Furio Honsell , Marina Lenisa , Luigi Liquori , Ivan Scagnetto

14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam

Communication dans un congrès hal-01362819v1
Deposit thumbnail

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks

Furio Honsell , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto

LFMTP'15. 9th International Workshop on Logical Frameworks and Meta-languages, Berlin, Germany, Aug 2015, Berlin, Germany. ⟨10.4204/EPTCS.185.1⟩

Communication dans un congrès hal-01170029v1
Deposit thumbnail

Backward-Compatible Cooperation of Heterogeneous P2P Systems

Giang Ngo Hoang , Luigi Liquori , Hung Nguyen Chan

15th International Conference on Distributed Computing and Networking - ICDCN 2014, Coimbatore, India, January 4-7, 2014, Jan 2014, Coimbatore, India. pp.287-301, ⟨10.1007/978-3-642-45249-9_19⟩

Communication dans un congrès hal-00906798v1
Deposit thumbnail

LaxLF: Side Conditions and External Evidence as Monads

Furio Honsell , Luigi Liquori , Ivan Scagnetto

Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I., Aug 2014, Budapest, Hungary. pp.327-339, ⟨10.1007/978-3-662-44522-8_28⟩

Communication dans un congrès hal-01146023v1
Deposit thumbnail

LFP – A Logical Framework with External Predicates (Announcement and survey)

Furio Honsell , Marina Lenisa , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto

Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, Nov 2013, Tel Aviv, Israel

Communication dans un congrès hal-00906807v2
Deposit thumbnail

Interconnection of large scale unstructured P2P networks: modeling and analysis

Vincenzo Ciancaglini , Rossano Gaeta , Riccardo Loti , Luigi Liquori

ASMTA - 20th International Conference on Analytical and Stochastic Modelling and Applications - 2013, Jul 2013, Gent, Belgium. pp.183-197, ⟨10.1007/978-3-642-39408-9_14⟩

Communication dans un congrès hal-00906823v2
Deposit thumbnail

LFP – A Logical Framework with External Predicates

Furio Honsell , Marina Lenisa , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto

7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP 2012. Copenhagen, Denmark - September 9, 2012, Sep 2012, Copenhagen, Denmark. pp.13-22, ⟨10.1145/2364406.2364409⟩

Communication dans un congrès hal-01146691v1
Deposit thumbnail

CCN-TV: a data-centric approach to real-time video services

Vincenzo Ciancaglini , Giuseppe Piro , Riccardo Loti , Luigi Liquori , Luigi Alfredo Grieco

27th International Conference on Advanced Information Networking and Applications Workshops, AINA 2013, Barcelona, Spain, March 25-28, 2013, Mar 2013, Barcelona, Spain. pp.982-989, ⟨10.1109/WAINA.2013.19⟩

Communication dans un congrès hal-00906830v1
Deposit thumbnail

A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks

Giang Ngo Hoang , Luigi Liquori , Vincenzo Ciancaglini , Petar Maksimovic , Hung Nguyen Chan

28th Annual ACM Symposium on Applied Computing, SAC 13, Coimbra, Portugal, ACM press, 2013., Mar 2013, coimbra, Portugal. pp.649-651, ⟨10.1145/2480362.2480485⟩

Communication dans un congrès hal-00906835v1
Deposit thumbnail

Modeling and Analysis of Large Scale Interconnected Unstructured P2P Networks

Rossano Gaeta , Riccardo Loti , Vincenzo Ciancaglini , Luigi Liquori

IEEE 18th International Conference on Parallel and Distributed Systems, ICPADS, 2012, Singapore, Dec 2012, Singapore, Singapore. pp.710-711, ⟨10.1109/ICPADS.2012.107⟩

Communication dans un congrès hal-00908800v1
Deposit thumbnail

Towards a Trust and Reputation Framework for Social Web Platforms

Thao Nguyen , Luigi Liquori , Bruno Martin , Karl Hanks

Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings, Sep 2012, Rome, Italy. pp.13-22, ⟨10.1007/978-3-642-33618-8_3⟩

Communication dans un congrès hal-00908805v1
Deposit thumbnail

An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks

Vincenzo Ciancaglini , Luigi Liquori , Giang Ngo Hoang , Petar Maksimovic

Hets-Nets. Future Heterogeneous Networks, May 2012, Prague, Czech Republic. pp.10-18, ⟨10.1007/978-3-642-30039-4_2⟩

Communication dans un congrès hal-00909486v1
Deposit thumbnail

Towards a common architecture to interconnect heterogeneous overlay networks

Vincenzo Ciancaglini , Luigi Liquori , Giang Ngo Hoang

IEEE 17th International Conference on Parallel and Distributed Systems (ICPADS), 2011 & HotPOST 2011 : The Third International Workshop on Hot Topics in Peer-to-peer computing and Online Social neTworking, Dec 2011, Tainan, Taiwan. pp.817 - 822, ⟨10.1109/ICPADS.2011.139⟩

Communication dans un congrès hal-00909477v1
Deposit thumbnail

Logic and computation in a lambda calculus with intersection and union types

Daniel J. Dougherty , Luigi Liquori

16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers, Apr 2010, Dakar, Senegal. pp.173-191, ⟨10.1007/978-3-642-17511-4_11⟩

Communication dans un congrès hal-00909535v1
Deposit thumbnail

Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks

Luigi Liquori , Cédric Tedeschi , Laurent Vanni , Francesco Bongiovanni , Vincenzo Ciancaglini et al.

Networking 2010 - 9th International IFIP TC 6 Networking Conference, May 2010, Chennai, India. pp.67-82, ⟨10.1007/978-3-642-12963-6_6⟩

Communication dans un congrès hal-00909544v1
Deposit thumbnail

CarPal: interconnecting overlay networks for a community-driven shared mobility

Vincenzo Ciancaglini , Luigi Liquori , Laurent Vanni

Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, Feb 2010, München, Germany. pp.301-317, ⟨10.1007/978-3-642-15640-3_20⟩

Communication dans un congrès hal-00909531v1
Deposit thumbnail

Resource Discovery in the Arigatoni Overlay Network

Raphael Chand , Luigi Liquori , Michel Cosnard

10th International Conference on Innovative Internet Community Services (I2CS), Jubilee Edition 2010, June 3-5, 2010, Bangkok, Thailand, Jun 2010, Bangkok, Thailand. pp.437-449

Communication dans un congrès hal-00910965v1
Deposit thumbnail

Babelchord: a Social Tower of DHT-Based Overlay Networks

Luigi Liquori , Cédric Tedeschi , Francesco Bongiovanni

IEEE Symposium on Computers and Communications, 2009. ISCC 2009, Jul 2009, Sousse, Tunisia. pp.307 - 312, ⟨10.1109/ISCC.2009.5202345⟩

Communication dans un congrès hal-00909550v1
Deposit thumbnail

An Overlay Architecture for Vehicular Networks

Luigi Liquori , Diego Borsetti , Claudio Casetti , Carla-Fabiana Chiasserini

NETWORKING 2008. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings, May 2008, Singapore, Singapore. pp.60-71, ⟨10.1007/978-3-540-79549-0_6⟩

Communication dans un congrès hal-00909585v1
Deposit thumbnail

A Conditional Logical Framework

Luigi Liquori , Furio Honsell , Marina Lenisa , Ivan Scagnetto

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, Nov 2008, Doha, Qatar. pp.143-157, ⟨10.1007/978-3-540-89439-1_10⟩

Communication dans un congrès hal-00909574v1
Deposit thumbnail

Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems

Luigi Liquori , Michel Cosnard

Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Nov 2007, Sophia-Antipolis, France. pp.90-107, ⟨10.1007/978-3-540-78663-4_8⟩

Communication dans un congrès hal-00909592v1
Deposit thumbnail

Improving Resource Discovery in the Arigatoni Overlay Network

Raphaël Chand , Luigi Liquori , Michel Cosnard

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings, Mar 2007, Zurich, Switzerland. pp.98-111, ⟨10.1007/978-3-540-71270-1_8⟩

Communication dans un congrès hal-01148439v1
Deposit thumbnail

Virtual Organizations in Arigatoni

Michel Cosnard , Luigi Liquori , Raphael Chand

Proceedings of the Second International Workshop on Developments in Computational Models (DCM 2006), Jul 2006, Venice, Italy. pp.55-75, ⟨10.1016/j.entcs.2006.11.035⟩

Communication dans un congrès hal-00911535v1
Deposit thumbnail

Weaving Arigatoni with a graph topology

Michel Cosnard , Luigi Liquori

1sr International Conference on Advanced Engineering Computing and Applications in Sciences ADVCOMP 2007, Nov 2007, Papeete, French Polynesia. pp.55 - 59, ⟨10.1109/ADVCOMP.2007.11⟩

Communication dans un congrès hal-01148523v1
Deposit thumbnail

A Language for Verification and Manipulation of Web Documents

Luigi Liquori , Furio Honsell , Rekha Redamalla

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), May 2005, Valencia, Spain. pp.67-78, ⟨10.1016/j.entcs.2005.12.046⟩

Communication dans un congrès hal-01148880v1
Deposit thumbnail

Decidable Type Inference for the Polymorphic Rewriting Calculus

Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack

17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69

Communication dans un congrès inria-00000817v1
Deposit thumbnail

Arigatoni: A Simple Programmable Overlay Network

Didier Benza , Michel Cosnard , Luigi Liquori , Marc Vesin

Modern Computing, 2006. JVA '06. IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing, Oct 2006, Sofia, Bulgaria. pp.82-91, ⟨10.1109/JVA.2006.7⟩

Communication dans un congrès hal-00911632v1
Deposit thumbnail

A Lambda Calculus of incomplete objects

Viviana Bono , Michele Bugliesi , Luigi Liquori

Mathematical Foundations of Computer Science 1996. 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings, Sep 1996, Cracow, Poland. pp.218-229, ⟨10.1007/3-540-61550-4_150⟩

Communication dans un congrès hal-01156555v1
Deposit thumbnail

The Polymorphic Rewriting Calculus: Type checking vs. Type inference

Luigi Liquori , Benjamin Wack

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004) Rewriting Logic and Its Applications 2004, Narciso Marti-Oliet, Mar 2004, Barcelona, Spain. pp.89-111, ⟨10.1016/j.entcs.2004.06.027⟩

Communication dans un congrès inria-00099910v1
Deposit thumbnail

iRho: the Software [System Description]

Luigi Liquori

Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005), Developments in Computational Models 2005, Jul 2005, Lisbon, Portugal. pp.85-94, ⟨10.1016/j.entcs.2005.09.023⟩

Communication dans un congrès hal-01148883v1
Deposit thumbnail

Towards an Intersection Typed System à la Church

Luigi Liquori , Simona Ronchi Della Rocca

Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004) Intersection Types and Related Systems 2004, Jul 2004, Turku, Finland. pp.43-56, ⟨10.1016/j.entcs.2005.06.015⟩

Communication dans un congrès hal-01149611v1
Deposit thumbnail

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract]

Dan Dougherty , Pierre Lescanne , Luigi Liquori , Frédéric Lang

Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004), Oct 2004, Rome, Italy. pp.57-82, ⟨10.1016/j.entcs.2004.12.042⟩

Communication dans un congrès hal-01149607v1
Deposit thumbnail

iRho: An Imperative Rewriting Calculus [Extended Abstract]

Luigi Liquori , Bernard P. Serpette

Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), Aug 2004, Verona, Italy. pp.167-178, ⟨10.1145/1013963.1013983⟩

Communication dans un congrès hal-01149659v1
Deposit thumbnail

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

Alberto Ciaffaglione , Luigi Liquori , Marino Miculan

MERLIN '03. Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding, Aug 2003, Uppsala, Sweden. pp.1-10, ⟨10.1145/976571.976574⟩

Communication dans un congrès hal-01149845v1
Deposit thumbnail

Imperative Object-Based Calculi in Co-inductive Type Theories

Alberto Ciaffaglione , Luigi Liquori , Marino Miculan

Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings, Sep 2003, Almaty, Kazakhstan. pp.59-77, ⟨10.1007/978-3-540-39813-4_4⟩

Communication dans un congrès hal-01149867v1
Deposit thumbnail

Rewrite Strategies in the Rewriting Calculus

Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack

WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩

Communication dans un congrès inria-00099586v1
Deposit thumbnail

Rewriting Calculus with Fixpoints: Untyped and First-order Systems

Horatiu Cirstea , Luigi Liquori , Benjamin Wack

Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, Apr 2003, Turin, Italy. pp.147-161, ⟨10.1007/978-3-540-24849-1_10⟩

Communication dans un congrès inria-00100113v1
Deposit thumbnail

Pure Patterns Type Systems

Gilles Barthe , Horatiu Cirstea , Claude Kirchner , Luigi Liquori

Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩

Communication dans un congrès inria-00099463v2
Deposit thumbnail

The rho cube : some results, some problems

Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack

First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark

Communication dans un congrès inria-00099411v1
Deposit thumbnail

Rewriting Calculus with(out) Types

Horatiu Cirstea , Claude Kirchner , Luigi Liquori

WRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. pp.3-19, ⟨10.1016/S1571-0661(05)82526-5⟩

Communication dans un congrès inria-00100858v1
Deposit thumbnail

Matching Power

Horatiu Cirstea , Claude Kirchner , Luigi Liquori

12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. pp.77-92, ⟨10.1007/3-540-45127-7_8⟩

Communication dans un congrès inria-00107876v2
Deposit thumbnail

The Rho Cube

Horatiu Cirstea , Claude Kirchner , Luigi Liquori

4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩

Communication dans un congrès inria-00107877v1
Deposit thumbnail

A Generic Object-Calculus Based on Addressed Term Rewriting Systems

Daniel J. Dougherty , Frederic Lang , Pierre Lescanne , Luigi Liquori , Kristoffer Rose

Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25

Communication dans un congrès hal-01152576v1
Deposit thumbnail

Match-O, a dialect of Eiffel with match-types

Dominique Colnet , Luigi Liquori

37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings., Nov 2000, Sydney, Australia. pp.190 - 201, ⟨10.1109/TOOLS.2000.891369⟩

Communication dans un congrès hal-01152644v1
Deposit thumbnail

A framework for defining Object-Calculi [extended abstract]

Frédéric Lang , Pierre Lescanne , Luigi Liquori

FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II, Sep 1999, Toulouse, France. pp.963-982, ⟨10.1007/3-540-48118-4⟩

Communication dans un congrès hal-01153772v1
Deposit thumbnail

Bounded Polymorphism for Extensible Objects

Luigi Liquori

TYPES, Mar 1999, Kloster Irsee, Germany. pp.149-165, ⟨10.1007/3-540-48167-2_11⟩

Communication dans un congrès hal-01153827v1
Deposit thumbnail

On object extension

Luigi Liquori

ECOOP, Jul 1998, Brussels, Belgium. pp.498-522, ⟨10.1007/BFb0054105⟩

Communication dans un congrès hal-01154560v1
Deposit thumbnail

A Lambda Calculus of Objects with Self-Inflicted Extension

Pietro Di Gianantonio , Furio Honsell , Luigi Liquori

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA '98, Vancouver, BC, Canada, Oct 1998, Vancouver, BC, Canada. pp.166--178, ⟨10.1145/286936.286955⟩

Communication dans un congrès hal-01154180v1
Deposit thumbnail

An extended Theory of Primitive Objects: First order system

Luigi Liquori

ECOOP, Jun 1997, Jyvaskyla, Finland. pp.146-169, ⟨10.1007/BFb0053378⟩

Communication dans un congrès hal-01154568v1
Deposit thumbnail

Subtyping Constraints for Incomplete Objects

Viviana Bono , Michele Bugliesi , Mariangiola Dezani-Ciancaglini , Luigi Liquori

TAPSOFT '97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings, Apr 1997, Lille, France. pp.465-477, ⟨10.1007/BFb0030619⟩

Communication dans un congrès hal-01154622v1
Deposit thumbnail

A Linear Logic Calculus of Objects

Michele Bugliesi , Giorgio Delzanno , Luigi Liquori , Maurizio Martelli

JICSLP’96. Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming. September 2-6, 1996, Bonn, Germany, Sep 1996, Bonn, Germany. pp.79-94

Communication dans un congrès hal-01156598v1
Deposit thumbnail

A Typed Lambda Calculus of Objects

Luigi Liquori , Giuseppe Castagna

Concurrency and Parallelism, Programming, Networking, and Security. Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings, Dec 1996, Singapore, Singapore. pp.129-141, ⟨10.1007/BFb0027786⟩

Communication dans un congrès hal-01156547v1
Deposit thumbnail

Dealing with Explicit Exceptions in Prolog

Luigi Liquori , Maria Luisa Sapino

1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peniscola, Spain, September 19-22, 1994, Sep 1994, Peniscola, Spain. pp.296-308

Communication dans un congrès hal-01157221v1
Deposit thumbnail

Comparing Cubes

Steffen van Bakel , Luigi Liquori , Simona Ronchi Della Rocca , Pawel Urzyczyn

Logical Foundations of Computer Science. Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings, Jul 1994, St. Petersburg, Russia. pp.353-365, ⟨10.1007/3-540-58140-5_33⟩

Communication dans un congrès hal-01157211v1
Deposit thumbnail

A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects

Viviana Bono , Luigi Liquori

Computer Science Logic. 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers, Sep 1994, Kazimierz, Poland. pp.16-30, ⟨10.1007/BFb0022244⟩

Communication dans un congrès hal-01157171v1
Deposit thumbnail

Providing crowd-sourced and real-time media services through a NDN-based platform

Giuseppe Piro , Vincenzo Ciancaglini , Riccardo Loti , Luigi Alfredo Grieco , Luigi Liquori

Fatos Xhafa. MODELLING AND PROCESSING FOR NEXT GENERATION BIG DATA TECHNOLOGIES AND APPLICATIONS, Springer, pp.405-441, 2015, Modeling and Processing for Next-Generation Big-Data Technologies, With Applications and Case Studies, ⟨10.1007/978-3-319-09177-8⟩

Chapitre d'ouvrage hal-00906475v1
Deposit thumbnail

A Distributed Catalog for Digitized Cultural Heritage

Marinkovic Bojan , Luigi Liquori , Vincenzo Ciancaglini , Zoran Ognjanovic

Gusev, Mitrewsky. Communications in Computer and Information Science, 83, Springer, pp.176-186, 2011, Communications in Computer and Information Science, ⟨10.1007/978-3-642-19325-5_18⟩

Chapitre d'ouvrage hal-00908783v1
Deposit thumbnail

Content Discovery in Heterogeneous Mobile Networks

Diego Borsetti , Claudio Casetti , Carla-Fabiana Chiasserini , Luigi Liquori

E. Hossain. Heterogeneous Wireless Access Networks: Architectures and Protocols, Springer, pp.419-441, 2009, ⟨10.1007/978-0-387-09777-0_15⟩

Chapitre d'ouvrage hal-00909620v1
Deposit thumbnail

ETSI TC SmartM2M; Smart Machine-to-Machine Communications; Demonstration of Performance Evaluation and Analysis for oneM2M Planning and Deployment

Thierry Monteil , Samir Medjiah , Marie-Agnès Peraldi-Frati , Luigi Liquori , Bob Flynn

ETSI Technical Report TR 103 842, 2025, pp.32

Autre publication scientifique hal-04753228v2
Deposit thumbnail

ETSI TC ESI; Electronic Signatures and Trust Infrastructures; Policy and security requirements for Smart Contracts using Electronic Ledgers

Scott Cadzow , Luigi Liquori , Juan-Carlos Cruellas Ibarz , Michal Tabor , Nick Pope et al.

ETSI, 2025, pp.26

Autre publication scientifique hal-05409969v1
Deposit thumbnail

ETSI TC ESI; Electronic Signatures and Trust Infrastructures; Standardisation requirements for Smart Contracts based on Electronic Ledgers

Luigi Liquori , Juan-Carlos Cruellas Ibarz , Paolo Cornaglia , Davide Porro , Michal Tabor et al.

ETSI Technical Report, 2025, pp.59

Autre publication scientifique hal-04753440v3
Deposit thumbnail

ETSI SmartM2M; oneM2M deployment guidelines and good practices

Bob Flynn , Luigi Liquori , Samir Medjiah , Thierry Monteil , Marie-Agnès Peraldi-Frati

ETSI Technical Report TR 103 843, 2025, pp.19

Autre publication scientifique hal-04753246v2
Deposit thumbnail

ETSI TC ESI; Electronic Signatures and Trust Infrastructures; Use of EU Digital Identity Wallets and electronic signatures for identification with Smart Contracts

Juan-Carlos Cruellas Ibarz , Luigi Liquori , Scott Cadzow , Michal Tabor , Nick Pope et al.

ETSI, 2025, pp.24

Autre publication scientifique hal-05409981v1
Deposit thumbnail

ETSI TC DATA; Data Solutions (DATA); Pandesys use cases and requirements

Mauro Dragoni , Luigi Liquori , Egan Perais , Luca Gemolotto , Ivan Scagnetto et al.

ETSI TC DATA, 2025, pp.40

Autre publication scientifique hal-05410205v1
Deposit thumbnail

ETSI TC DATA; Data Solutions (DATA); Pandesys functional and communication requirements

Luigi Liquori , Egan Perais , Luca Gemolotto , Ivan Scagnetto , Enrico Scarrone et al.

ETSI TC DATA 104412, 2025, pp.15

Autre publication scientifique hal-05410213v1
Deposit thumbnail

ETSI TC SmartM2M; Smart Machine-to-Machine Communications; oneM2M Performances Evaluation Tool

Samir Medjiah , Thierry Monteil , Luigi Liquori , Marie-Agnès Peraldi-Frati , Bob Flynn

ETSI Technical Report TR 103 841, 2024, pp.26

Autre publication scientifique hal-04753193v1
Deposit thumbnail

SmartM2M; Model for oneM2M Performance Evaluation

Samir Medjiah , Thierry Monteil , Luigi Liquori , Marie-Agnès Peraldi-Frati , Bob Flynn

ETSI Technical Specification 103840, 2023, pp.29

Autre publication scientifique hal-04229478v1

SmartM2M: Scenarios for evaluation of oneM2M deployments

Bob Flynn , Luigi Liquori , Marie-Agnès Peraldi-Frati , Samir Medjiah , Thierry Monteil

ETSI Technical Report 103839, 2023, pp.34

Autre publication scientifique hal-04229449v1
Deposit thumbnail

ETSI SmartM2M Technical Report 103716; oneM2M Discovery and Query solution(s) simulation and performance evaluation

Luigi Liquori , Marie-Agnès Peraldi-Frati , Andrea Cimmino , Raúl García Castro , Abdul Qadir Khan et al.

2021

Autre publication scientifique hal-03261059v1
Deposit thumbnail

ETSI Technical Specification TS 103757. SmartM2M; Asynchronous Contact Tracing System

Luigi Liquori , Enrico Scarrone , Suno Wood , Lanting Cees , Francisco Dasilva et al.

2021

Autre publication scientifique hal-02989793v3
Deposit thumbnail

ETSI SmartM2M Technical Report 103714: Study for oneM2M Discovery and Query use cases and requirements

Luigi Liquori , Enrico Scarrone , Marie-Agnès Peraldi-Frati , Andrea Cimmino , Raúl García Castro et al.

2021

Autre publication scientifique hal-03115482v1
Deposit thumbnail

ETSI SmartM2M Technical Report 103715; Study for oneM2M; Discovery and Query solutions analysis & selection

Luigi Liquori , Enrico Scarrone , Marie-Agnès Peraldi-Frati , Seung Myeong Jeong , Andrea Cimmino et al.

2021

Autre publication scientifique hal-03115497v1
Deposit thumbnail

ETSI SmartM2M Technical Report 103717; Study for oneM2M; Discovery and Query specification development

Seung Myeong Jeong , Sunil Kumar , Andrea Cimmino , Raúl García Castro , Luigi Liquori et al.

2021

Autre publication scientifique hal-03261080v1
Deposit thumbnail

Rapport final d'execution

Luigi Liquori , Claudio Casetti , Mariangiola Dezani-Ciancaglini , Cosimo Anglano

2013, pp.60

Autre publication scientifique hal-00909658v1
Deposit thumbnail

Logical Networks: Self-organizing Overlay Networks and Overlay Computing Systems

Luigi Liquori , Didier Parigot , Bernard P. Serpette

2010

Autre publication scientifique hal-01147443v1
Deposit thumbnail

Types for REWERSE reasoning and query languages I3-D4

Horatiu Cirstea , Emmanuel Coquery , Wlodzimierz Drabent , Francois Fages , Claude Kirchner et al.

2005, 71p

Autre publication scientifique hal-01149625v1
Deposit thumbnail

Action Miró/Mirho

Luigi Liquori , Dominique Colnet , Joelle Despeyroux

2001

Autre publication scientifique hal-01151339v1
Deposit thumbnail

Towards Fuzzy Constructive Type Theories

Besik Dundua , Furio Honsell , Temur Kutsia , Marina Lenisa , Luigi Liquori

Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2025

Rapport hal-05436632v1
Deposit thumbnail

Strong Priority and Determinacy in Timed CCS

Luigi Liquori , Michael Mendler

Inria; University of Bamberg. 2023

Rapport hal-04367635v2
Deposit thumbnail

Asynchronous Contact Tracing, Fighting Pandemics with Internet of Things. Set up of the of oneM2M infrastructure, mobile and web applications

Alessio Di Dio , Luigi Liquori

Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2022

Rapport (rapport technique) hal-03935906v1
Deposit thumbnail

Asynchronous Contact Tracing

Luigi Liquori , Suno Wood , Enrico Scarrone

Centre Inria d'Université Côte d'Azur. 2020

Rapport hal-02989404v3
Deposit thumbnail

A Decidable Subtyping Logic for Intersection and Union Types (full version)

Luigi Liquori , Claude Stolze

[Research Report] Inria. 2017

Rapport (rapport de recherche) hal-01488428v1
Deposit thumbnail

A Scalable Communication Architecture for AMI in SmartGrid

Hoang Giang Ngo , Luigi Liquori , Chan Hung Nguyen

[Technical Report] RR-8410, INRIA. 2013

Rapport (rapport technique) hal-00913352v1

A Secure Protocol for Tracking Customer Flow

Petar Maksimovic , Thuriez Sebastien , Luigi Liquori

[Contract] INRIA Sophia-Antipolis Méditerranée, équipe LOGNET. 2012, (rapport final) 60 p. + (appendix) 15 p

Rapport (rapport contrat/projet) hal-00909692v1
Deposit thumbnail

Synapse: a Scalable Protocol for Interconnecting Heterogeneous Overlay Networks

Luigi Liquori , Cédric Tedeschi , Laurent Vanni , Vincenzo Ciancaglini , Francesco Bongiovanni et al.

[Research Report] RR-7255, INRIA Sophia Antipolis - Méditerranée; INRIA Rennes - Bretagne Atlantique; INRIA. 2010, pp.16

Rapport (rapport de recherche) inria-00474529v1
Deposit thumbnail

A Framework for Defining Logical Frameworks

Luigi Liquori , Furio Honsell , Marina Lenisa

[Research Report] RR-5963, INRIA. 2006, pp.56

Rapport (rapport de recherche) inria-00088809v2
Deposit thumbnail

Arigatoni: Overlaying Internet via Low Level Network Protocols

Didier Benza , Michel Cosnard , Luigi Liquori , Marc Vesin

[Research Report] RR-5805, INRIA Sophia Antipolis - Méditerranée; INRIA. 2006, pp.27

Rapport (rapport de recherche) inria-00070219v1
Deposit thumbnail

Resource Discovery in the Arigatoni Model.

Raphael Chand , Luigi Liquori , Michel Cosnard

[Research Report] RR-5924, INRIA Sophia Antipolis - Méditerranée; INRIA. 2006

Rapport (rapport de recherche) inria-00071016v2
Deposit thumbnail

Featherweight-Trait Java : A Trait-based Extension for FJ

Luigi Liquori , Arnaud Spiwack

[Research Report] RR-5247, INRIA Sophia Antipolis - Méditerranée; INRIA. 2004, pp.27

Rapport (rapport de recherche) inria-00070751v1
Deposit thumbnail

On the Formalization of Imperative Object-based Calculiin (Co)Inductive Type Theories

Alberto Ciaffaglione , Luigi Liquori , Marino Miculan

[Research Report] RR-4812, INRIA Nancy; LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2003, pp.37

Rapport (rapport de recherche) inria-00071774v1
Deposit thumbnail

A Generic Object-Calculus Based on Addressed Term Rewriting Systems

Dan Dougherty , Frédéric Lang , Pierre Lescanne , Luigi Liquori , Kristoffer Rose

[Research Report] RR-4549, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2002, pp.49

Rapport (rapport de recherche) inria-00072039v1

A Rho Cube

Horatiu Cirstea , Claude Kirchner , Luigi Liquori

[Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p

Rapport inria-00099309v1

Matching Power

Horatiu Cirstea , Claude Kirchner , Luigi Liquori

[Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p

Rapport inria-00099308v1

Ipotesi evolutive del Sistema MOMIX per la Specifica e Qualificazione di Sistemi TMN. In Italian

Davide Bacchiega , Danilo Gotta , Luigi Liquori , Marco Ramella Votta

[Technical Report] DTR 98.0089, CSELT, Centro Studi e Laboratori Telecomunicazioni, Turin, Italy. 1998, pp.27

Rapport (rapport technique) hal-01154663v1

MOMIX-emSDH2. Simulatore di Agent di Element Manager SDH2.0

Davide Bacchiega , Danilo Gotta , Luigi Liquori , Rosalba Rossi

[Technical Report] DTR 97.0413, CSELT, Centro Studi e Laboratori Telecomunicazioni, Turin, Italy. 1997, pp.99

Rapport (rapport technique) hal-01154656v1
Deposit thumbnail

Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects

Luigi Liquori

Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English. ⟨NNT : ⟩

Thèse tel-01157160v1
Deposit thumbnail

Peter, the Language that does not Exist...

Luigi Liquori

Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007

HDR tel-01148503v1