LUIGI LIQUORI LIST OF PUBLICATIONS

Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. Plugging-in Proof Development Environments using Locks in LF. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (9), pp.1578--1605. ⟨hal-01272647⟩

Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, Special Issue in honor of Pierre Louis Curien. ⟨hal-01146059v2⟩

Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, et al.. Analyzing the exhaustiveness of the synapse protocol. Peer-to-Peer Networking and Applications, Springer, 2015, Includes a Special Issue on Cloud, Grid, P2P, and Internet Computing, 8 (5), pp.793--806. ⟨10.1007/s12083-014-0293-z⟩. ⟨hal-01146050⟩

Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. An Open Logical Framework. Journal of Logic and Computation, Oxford University Press (OUP), 2013, 25 (2), 43 p. ⟨10.1093/logcom/ext028⟩. ⟨hal-00906391⟩

Luigi Liquori, Arnaud Spiwack. Extending FeatherTrait Java with Interfaces. Theoretical Computer Science, Elsevier, 2010, Theoretical Computer Science, 30 (1-3), pp.243-260. ⟨10.1016/j.tcs.2008.01.051⟩. ⟨inria-00432540⟩

Raphael Chand, Michel Cosnard, Luigi Liquori. Powerful Resource Discovery for Arigatoni Overlay Network. Future Generation Computer Systems, Elsevier, 2008, Future Generation Computer Systems, FGCS, 24 (1), pp.31-48. ⟨10.1016/j.future.2007.02.009⟩. ⟨hal-00909630⟩

Luigi Liquori, Bernard Serpette. iRho: An Imperative Rewriting-calculus. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2008, 18 (03), pp.467-500. ⟨10.1017/S0960129508006750⟩. ⟨hal-01147678⟩

Luigi Liquori, Arnaud Spiwack. FeatherTrait: A Modest Extension of Featherweight Java. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2008, ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (2), pp.11:1--11:32. ⟨10.1145/1330017.1330022⟩. ⟨inria-00432538⟩

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. Journal of Automated Reasoning, Springer Verlag, 2007, Journal of Automated Reasoning, 39 (1), pp.1-47. ⟨10.1007/s10817-006-9061-y⟩. ⟨hal-01148347⟩

Furio Honsell, Marina Lenisa, Luigi Liquori. A Framework for Defining Logical Frameworks. Electronic Notes in Theoretical Computer Science, Elsevier, 2007, In Computation, Meaning and Logic. Special issue, dedicated to Gordon D. Plotkin, on the occasion of his 60th birthday, 172, pp.399-436. ⟨hal-01148312⟩

Luigi Liquori, Simona Ronchi Della Rocca. Intersection-types à la Church. Journal of Information and Computation, Elsevier, 2007, 205 (9), pp.1371-1386. ⟨10.1016/j.ic.2007.03.005⟩. ⟨hal-01148282⟩

Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori. Addressed term rewriting systems: application to a typed object calculus. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16 (issue 4), pp.667-709. ⟨10.1017/S096012950600541X⟩. ⟨hal-01148846⟩

Luigi Liquori. Review: Formal Methods for Open Object-Based Distributed Systems V. The Computer Journal, Oxford University Press (UK), 2003, 46 (6), pp.661. ⟨10.1093/comjnl/46.6.661⟩. ⟨hal-01149616⟩

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli. Object calculi in linear logic. Journal of Logic and Computation, Oxford University Press (OUP), 2000, 10 (1), pp.75-104. ⟨10.1093/logcom/10.1.75⟩. ⟨hal-01152636⟩

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. A Subtyping for Extensible, Incomplete Objects. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364. ⟨hal-01153734⟩

Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn. Comparing cubes of typed and type assignment systems. Annals of Pure and Applied Logic, Elsevier Masson, 1997, 86 Issue 3, pp.267-303. ⟨10.1016/S0168-0072(96)00036-X⟩. ⟨hal-01154638⟩

Claude Stolze, Luigi Liquori. A Type Checker for a Logical Framework with Union and Intersection Types. FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. ⟨10.4230/LIPIcs.FSCD.2020⟩. ⟨hal-02573605⟩

Luigi Liquori, Claude Stolze. The Delta-calculus: syntax and types. FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, 2019-06-24; 2019-06-24, Jun 2019, Dortmund, Germany. ⟨hal-01963662⟩

Luigi Liquori, Rossano Gaeta, Matteo Sereno. A Network Aware Resource Discovery Service. EPEW 2019 - 16th European Performance Engineering Workshop, Nov 2019, Milano, Italy. ⟨hal-01895452v3⟩

Luigi Liquori, Claude Stolze. The ∆-calculus: Syntax and Types. FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨hal-02190691⟩

Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto. The ∆-framework. 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⟩. ⟨hal-01701934v2⟩

Luigi Liquori, Claude Stolze. A Decidable Subtyping Logic for Intersection and Union Types. 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⟩. ⟨hal-01760641⟩

Claude Stolze, Luigi Liquori, Furio Honsell, Ivan Scagnetto. Towards a Logical Framework with Intersection and Union Types. 11th International Workshop on Logical Frameworks and Meta-languages, LFMTP, Sep 2017, Oxford, United Kingdom. pp.1 - 9. ⟨hal-01534035v2⟩

Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto. Implementing Cantor's Paradise. 14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam. ⟨hal-01362819⟩

Daniel J. Dougherty, Ugo de 'Liguoro, Luigi Liquori, Claude Stolze. A Realizability Interpretation for Intersection and Union Types. 14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam. ⟨hal-01317213v2⟩

Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. LFMTP'15. 9th International Workshop on Logical Frameworks and Meta-languages, Berlin, Germany, Aug 2015, Berlin, Germany. ⟨10.4204/EPTCS.185.1⟩. ⟨hal-01170029⟩

Furio Honsell, Luigi Liquori, Ivan Scagnetto. LaxLF: Side Conditions and External Evidence as Monads. 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⟩. ⟨hal-01146023⟩

Giang Ngo Hoang, Luigi Liquori, Hung Nguyen Chan. Backward-Compatible Cooperation of Heterogeneous P2P Systems. 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⟩. ⟨hal-00906798⟩

Vincenzo Ciancaglini, Rossano Gaeta, Riccardo Loti, Luigi Liquori. Interconnection of large scale unstructured P2P networks: modeling and analysis. 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⟩. ⟨hal-00906823v2⟩

Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan. A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks. 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⟩. ⟨hal-00906835⟩

Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LFP – A Logical Framework with External Predicates (Announcement and survey). Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, Nov 2013, Tel Aviv, Israel. ⟨hal-00906807v2⟩

Vincenzo Ciancaglini, Giuseppe Piro, Riccardo Loti, Luigi Liquori, Luigi Alfredo Grieco. CCN-TV: a data-centric approach to real-time video services. 27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013, Barcelona, Spain, March 25-28, 2013, Mar 2013, Barcelona, Spain. pp.982-989, ⟨10.1109/WAINA.2013.19⟩. ⟨hal-00906830⟩

Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LFP – A Logical Framework with External Predicates. 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⟩. ⟨hal-01146691⟩

Rossano Gaeta, Riccardo Loti, Vincenzo Ciancaglini, Luigi Liquori. Modeling and Analysis of Large Scale Interconnected Unstructured P2P Networks. IEEE 18th International Conference on Parallel and Distributed Systems, ICPADS, 2012, Singapore, Dec 2012, Singapore, Singapore. pp.710-711, ⟨10.1109/ICPADS.2012.107⟩. ⟨hal-00908800⟩

Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LFP - A Logical Framework with External Predicates. LFMTP - 7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - 2012, Sep 2012, Copenhagen, Denmark. pp.13-22, ⟨10.1145/2364406.2364409⟩. ⟨hal-00909455⟩

Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic. An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.10-18, ⟨10.1007/978-3-642-30039-4_2⟩. ⟨hal-00909486⟩

Thao Nguyen, Luigi Liquori, Bruno Martin, Karl Hanks. Towards a Trust and Reputation Framework for Social Web Platforms. 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⟩. ⟨hal-00908805⟩

Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang. Towards a common architecture to interconnect heterogeneous overlay networks. 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⟩. ⟨hal-00909477⟩

Marinkovic Bojan, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic. A Distributed Catalog for Digitized Cultural Heritage. Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12-15, 2010. Revised Selected Papers, Sep 2010, Ohrid, Macedonia. pp.176-186, ⟨10.1007/978-3-642-19325-5_18⟩. ⟨hal-00908783⟩

Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni. CarPal: interconnecting overlay networks for a community-driven shared mobility. 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⟩. ⟨hal-00909531⟩

Daniel J. Dougherty, Luigi Liquori. Logic and computation in a lambda calculus with intersection and union types. 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⟩. ⟨hal-00909535⟩

Luigi Liquori, Cédric Tedeschi, Laurent Vanni, Francesco Bongiovanni, Vincenzo Ciancaglini, et al.. Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedings, May 2010, Chennai, India. pp.67-82, ⟨10.1007/978-3-642-12963-6_6⟩. ⟨hal-00909544⟩

Raphael Chand, Luigi Liquori, Michel Cosnard. Resource Discovery in the Arigatoni Overlay Network. 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. ⟨hal-00910965⟩

Luigi Liquori, Cédric Tedeschi, Francesco Bongiovanni. Babelchord: a Social Tower of DHT-Based Overlay Networks. IEEE Symposium on Computers and Communications, 2009. ISCC 2009, Jul 2009, Sousse, Tunisia. pp.307 - 312, ⟨10.1109/ISCC.2009.5202345⟩. ⟨hal-00909550⟩

Luigi Liquori, Diego Borsetti, Claudio Casetti, Carla-Fabiana Chiasserini. An Overlay Architecture for Vehicular Networks. 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⟩. ⟨hal-00909585⟩

Luigi Liquori, Furio Honsell, Marina Lenisa, Ivan Scagnetto. A Conditional Logical Framework. 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⟩. ⟨hal-00909574⟩

Raphaël Chand, Luigi Liquori, Michel Cosnard. Improving Resource Discovery in the Arigatoni Overlay Network. 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⟩. ⟨hal-01148439⟩

Luigi Liquori, Michel Cosnard. Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. 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⟩. ⟨hal-00909592⟩

Michel Cosnard, Luigi Liquori. Weaving Arigatoni with a graph topology. 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⟩. ⟨hal-01148523⟩

Michel Cosnard, Luigi Liquori, Raphael Chand. Virtual Organizations in Arigatoni. 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⟩. ⟨hal-00911535⟩

Didier Benza, Michel Cosnard, Luigi Liquori, Marc Vesin. Arigatoni: A Simple Programmable Overlay Network. 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⟩. ⟨hal-00911632⟩

Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. Decidable Type Inference for the Polymorphic Rewriting Calculus. 17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69. ⟨inria-00000817⟩

Luigi Liquori, Furio Honsell, Rekha Redamalla. A Language for Verification and Manipulation of Web Documents. 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⟩. ⟨hal-01148880⟩

Luigi Liquori. iRho: the Software [System Description]. 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⟩. ⟨hal-01148883⟩

Luigi Liquori, Simona Ronchi Della Rocca. Towards an Intersection Typed System à la Church. 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⟩. ⟨hal-01149611⟩

Luigi Liquori, Bernard Serpette. iRho: An Imperative Rewriting Calculus [Extended Abstract]. Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, Aug 2004, Verona, Italy. pp.167-178, ⟨10.1145/1013963.1013983⟩. ⟨hal-01149659⟩

Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang. Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract]. 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⟩. ⟨hal-01149607⟩

Luigi Liquori, Benjamin Wack. The Polymorphic Rewriting Calculus: Type checking vs. Type inference. 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⟩. ⟨inria-00099910⟩

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan. Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. 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⟩. ⟨hal-01149845⟩

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan. Imperative Object-Based Calculi in Co-inductive Type Theories. 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⟩. ⟨hal-01149867⟩

Horatiu Cirstea, Luigi Liquori, Benjamin Wack. Rewriting Calculus with Fixpoints: Untyped and First-order Systems. 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⟩. ⟨inria-00100113⟩

Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. Rewrite Strategies in the Rewriting Calculus. 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⟩. ⟨inria-00099586⟩

Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Pure Patterns Type Systems. 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⟩. ⟨inria-00099463v2⟩

Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. The rho cube : some results, some problems. 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. ⟨inria-00099411⟩

Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Rewriting Calculus with(out) Types. 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⟩. ⟨inria-00100858⟩

Daniel J. Dougherty, Frederic Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems. Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25. ⟨hal-01152576⟩

Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Matching Power. 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⟩. ⟨inria-00107876v2⟩

Horatiu Cirstea, Claude Kirchner, Luigi Liquori. The Rho Cube. 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⟩. ⟨inria-00107877⟩

Dominique Colnet, Luigi Liquori. Match-O, a dialect of Eiffel with match-types. 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⟩. ⟨hal-01152644⟩

Luigi Liquori. Bounded Polymorphism for Extensible Objects. TYPES, Mar 1999, Kloster Irsee, Germany. pp.149-165, ⟨10.1007/3-540-48167-2_11⟩. ⟨hal-01153827⟩

Frédéric Lang, Pierre Lescanne, Luigi Liquori. A framework for defining Object-Calculi [extended abstract]. 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⟩. ⟨hal-01153772⟩

Luigi Liquori. On object extension. ECOOP, Jul 1998, Brussels, Belgium. pp.498-522, ⟨10.1007/BFb0054105⟩. ⟨hal-01154560⟩

Pietro Di Gianantonio, Furio Honsell, Luigi Liquori. A Lambda Calculus of Objects with Self-Inflicted Extension. 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⟩. ⟨hal-01154180⟩

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. Subtyping Constraints for Incomplete Objects: (extended abstract). 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⟩. ⟨hal-01154622⟩

Luigi Liquori. An extended Theory of Primitive Objects: First order system. ECOOP, Jun 1997, Jyvaskyla, Finland. pp.146-169, ⟨10.1007/BFb0053378⟩. ⟨hal-01154568⟩

Viviana Bono, Michele Bugliesi, Luigi Liquori. A Lambda Calculus of incomplete objects. 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⟩. ⟨hal-01156555⟩

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli. A Linear Logic Calculus of Objects. 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. ⟨hal-01156598⟩

Luigi Liquori, Giuseppe Castagna. A Typed Lambda Calculus of Objects. 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⟩. ⟨hal-01156547⟩

Viviana Bono, Luigi Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. 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⟩. ⟨hal-01157171⟩

Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn. Comparing Cubes. 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⟩. ⟨hal-01157211⟩

Luigi Liquori, Maria Luisa Sapino. Dealing with Explicit Exceptions in Prolog. 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peniscola, Spain, September 19-22, 1994, Sep 1994, Peniscola, Spain. pp.296-308. ⟨hal-01157221⟩

Giuseppe Piro, Vincenzo Ciancaglini, Riccardo Loti, Luigi Alfredo Grieco, Luigi Liquori. Providing crowd-sourced and real-time media services through a NDN-based platform. 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⟩. ⟨hal-00906475⟩

Diego Borsetti, Claudio Casetti, Carla-Fabiana Chiasserini, Luigi Liquori. Content Discovery in Heterogeneous Mobile Networks. E. Hossain. Heterogeneous Wireless Access Networks: Architectures and Protocols, Springer, pp.419-441, 2009, ⟨10.1007/978-0-387-09777-0_15⟩. ⟨hal-00909620⟩

Luigi Liquori, Marie-Agnès Peraldi-Frati, Abdul Qadir Khan, Andrea Cimmino, Seung Myeong Jeong, et al.. SmartM2M; Study for oneM2M; Discovery and Query solutions analysis & selection. 2020. ⟨hal-03115497⟩

Luigi Liquori, Marie-Agnès Peraldi-Frati, Andrea Cimmino, Seung Myeong Jeong, Joachim Koss, et al.. SmartM2M; Study for oneM2M Discovery and Query use cases and requirements. 2020. ⟨hal-03115482⟩

Luigi Liquori, Enrico Scarrone, Suno Wood, Flynn Bob, Lanting Cees. SmartM2M; Asynchronous Contact Tracing System: Fighting pandemic disease with Internet of Things. 2020. ⟨hal-02989793⟩

Luigi Liquori, Claudio Casetti, Mariangiola Dezani-Ciancaglini, Cosimo Anglano. Rapport final d'execution : Contrat myMed - Appel UE Interreg Alcotra. 2013, pp.60. ⟨hal-00909658⟩

Luigi Liquori. Logical Networks: Self-organizing Overlay Networks and Overlay Computing Systems: [EPI Proposal V2.0]. 2010. ⟨hal-01147443⟩

Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for REWERSE reasoning and query languages I3-D4. 2005, 71p. ⟨hal-01149625⟩

Luigi Liquori, Dominique Colnet, Joelle Despeyroux. Action Miró/Mirho : Systèmes à Objets, Types et Prototypes : Sémantique et Validation. 2001. ⟨hal-01151339⟩

Silvia Ghilezan, Simona Kašterović, Luigi Liquori, Bojan Marinković, Zoran Ognjanović, et al.. Federating Digital Contact Tracing using Structured Overlay Networks. 2021. ⟨hal-03127890v3⟩

Luigi Liquori, Suno Wood, Enrico Scarrone. Asynchronous Contact Tracing. 2020. ⟨hal-02989404v3⟩

Luigi Liquori, Matteo Sereno. LogNet: Extending Internet with a Network Aware Discovery Service: [Extended abstract]. 2017. ⟨hal-01323974v3⟩

Luigi Liquori. myMed: an ad hoc Framework for Executing Homogeneous Open Social Networks. 2014. ⟨hal-01146061⟩

Giang Ngo Hoang, Luigi Liquori, Hung Nguyen Chan. A Scalable Communication Architecture for Advanced Metering Infrastructure. 2013. ⟨hal-00909699⟩

Stéphane Fetcher, Luigi Liquori. Mini-Foc A Kernel Calculus for Certified Computer Algebra [Ongoing work]. 2005. ⟨hal-01148949⟩

Luigi Liquori, Arnaud Spiwack. Inferring types for functional methods (where method calls come for free). 2004. ⟨hal-01149745⟩

Alberto Ciaffaglione, Pietro Gianantonio, Furio Honsell, Luigi Liquori. A prototype-based approach to object reclassification. [Research Report] Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2020. ⟨hal-01646168v5⟩

Luigi Liquori, Claude Stolze. A Decidable Subtyping Logic for Intersection and Union Types (full version). [Research Report] Inria. 2017. ⟨hal-01488428⟩

Hoang Giang Ngo, Luigi Liquori, Chan Hung Nguyen. A Scalable Communication Architecture for AMI in SmartGrid. [Technical Report] RR-8410, INRIA. 2013. ⟨hal-00913352⟩

Petar Maksimovic, Thuriez Sebastien, Luigi Liquori. A Secure Protocol for Tracking Customer Flow. [Contract] INRIA Sophia-Antipolis Méditerranée, équipe LOGNET. 2012, (rapport final) 60 p. + (appendix) 15 p. ⟨hal-00909692⟩

Luigi Liquori, Cédric Tedeschi, Laurent Vanni, Vincenzo Ciancaglini, Francesco Bongiovanni, et al.. Synapse: a Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. [Research Report] RR-7255, INRIA Sophia Antipolis - Méditerranée; INRIA Rennes - Bretagne Atlantique; INRIA. 2010, pp.16. ⟨inria-00474529⟩

Raphael Chand, Luigi Liquori, Michel Cosnard. Resource Discovery in the Arigatoni Model.. [Research Report] RR-5924, INRIA Sophia Antipolis - Méditerranée; INRIA. 2006. ⟨inria-00071016v2⟩

Luigi Liquori, Furio Honsell, Marina Lenisa. A Framework for Defining Logical Frameworks. [Research Report] RR-5963, INRIA. 2006, pp.56. ⟨inria-00088809v2⟩

Didier Benza, Michel Cosnard, Luigi Liquori, Marc Vesin. Arigatoni: Overlaying Internet via Low Level Network Protocols. [Research Report] RR-5805, INRIA Sophia Antipolis - Méditerranée; INRIA. 2006, pp.27. ⟨inria-00070219⟩

Luigi Liquori, Arnaud Spiwack. Featherweight-Trait Java : A Trait-based Extension for FJ. [Research Report] RR-5247, INRIA Sophia Antipolis - Méditerranée; INRIA. 2004, pp.27. ⟨inria-00070751⟩

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan. On the Formalization of Imperative Object-based Calculiin (Co)Inductive Type Theories. [Research Report] RR-4812, INRIA Nancy; LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2003, pp.37. ⟨inria-00071774⟩

Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems. [Research Report] RR-4549, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2002, pp.49. ⟨inria-00072039⟩

Horatiu Cirstea, Claude Kirchner, Luigi Liquori. A Rho Cube. [Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p. ⟨inria-00099309⟩

Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Matching Power. [Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p. ⟨inria-00099308⟩

Davide Bacchiega, Danilo Gotta, Luigi Liquori, Marco Ramella Votta. Ipotesi evolutive del Sistema MOMIX per la Specifica e Qualificazione di Sistemi TMN. In Italian. [Technical Report] DTR 98.0089, CSELT, Centro Studi e Laboratori Telecomunicazioni, Turin, Italy. 1998, pp.27. ⟨hal-01154663⟩

Davide Bacchiega, Danilo Gotta, Luigi Liquori, Rosalba Rossi. MOMIX-emSDH2. Simulatore di Agent di Element Manager SDH2.0. [Technical Report] DTR 97.0413, CSELT, Centro Studi e Laboratori Telecomunicazioni, Turin, Italy. 1997, pp.99. ⟨hal-01154656⟩

Luigi Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English. ⟨tel-01157160⟩

Luigi Liquori. Peter, the Language that does not Exist.... Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007. ⟨tel-01148503⟩