Accéder directement au contenu

Luigi Liquori

120
Documents

Publications

Image document

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
Image document

Federating Digital Contact Tracing using Structured Overlay Networks

Silvia Ghilezan , Simona Kašterović , Luigi Liquori , Bojan Marinković , Zoran Ognjanović
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
Image document

A prototype-based approach to object evolution

Alberto Ciaffaglione , Pietro Di Gianantonio , Furio Honsell , Luigi Liquori
The Journal of Object Technology, 2020, 20 (4), pp.1--24
Article dans une revue hal-01646168v6
Image document

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
Image document

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
Image document

Analyzing the exhaustiveness of the synapse protocol

Bojan Marinkovic , Vincenzo Ciancaglini , Zoran Ognjanovic , Paola Glavan , Luigi Liquori
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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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 hal-01152636v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks

Luigi Liquori , Cédric Tedeschi , Laurent Vanni , Francesco Bongiovanni , Vincenzo Ciancaglini
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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

On object extension

Luigi Liquori
ECOOP, Jul 1998, Brussels, Belgium. pp.498-522, ⟨10.1007/BFb0054105⟩
Communication dans un congrès hal-01154560v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
2021
Autre publication scientifique hal-03261059v1
Image document

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
2021
Autre publication scientifique hal-03261080v1
Image document

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

Luigi Liquori , Enrico Scarrone , Suno Wood , Lanting Cees , Francisco Dasilva
2021
Autre publication scientifique hal-02989793v3
Image document

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
2021
Autre publication scientifique hal-03115482v1
Image document

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
2021
Autre publication scientifique hal-03115497v1
Image document

Rapport final d'execution

Luigi Liquori , Claudio Casetti , Mariangiola Dezani-Ciancaglini , Cosimo Anglano
2013, pp.60
Autre publication scientifique hal-00909658v1
Image document

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

Luigi Liquori , Didier Parigot , Bernard P. Serpette
2010
Autre publication scientifique hal-01147443v1
Image document

Types for REWERSE reasoning and query languages I3-D4

Horatiu Cirstea , Emmanuel Coquery , Wlodzimierz Drabent , Francois Fages , Claude Kirchner
2005, 71p
Autre publication scientifique hal-01149625v1
Image document

Action Miró/Mirho

Luigi Liquori , Dominique Colnet , Joelle Despeyroux
2001
Autre publication scientifique hal-01151339v1
Image document

Strong Priority and Determinacy in Timed CCS

Luigi Liquori , Michael Mendler
Inria; University of Bamberg. 2023
Rapport hal-04367635v1
Image document

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 hal-03935906v1
Image document

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

Luigi Liquori , Claude Stolze
[Research Report] Inria. 2017
Rapport hal-01488428v1
Image document

A Scalable Communication Architecture for AMI in SmartGrid

Hoang Giang Ngo , Luigi Liquori , Chan Hung Nguyen
[Technical Report] RR-8410, INRIA. 2013
Rapport 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 hal-00909692v1
Image document

Synapse: a Scalable Protocol for Interconnecting Heterogeneous Overlay Networks

Luigi Liquori , Cédric Tedeschi , Laurent Vanni , Vincenzo Ciancaglini , Francesco Bongiovanni
[Research Report] RR-7255, INRIA Sophia Antipolis - Méditerranée; INRIA Rennes - Bretagne Atlantique; INRIA. 2010, pp.16
Rapport inria-00474529v1
Image document

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 inria-00071016v2
Image document

A Framework for Defining Logical Frameworks

Luigi Liquori , Furio Honsell , Marina Lenisa
[Research Report] RR-5963, INRIA. 2006, pp.56
Rapport inria-00088809v2
Image document

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 inria-00070219v1
Image document

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 inria-00070751v1
Image document

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 inria-00071774v1
Image document

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 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 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 hal-01154656v1
Image document

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
Image document

Peter, the Language that does not Exist...

Luigi Liquori
Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007
HDR tel-01148503v1