top of page

Almost all of my papers are available on HAL open archives

https://cv.archives-ouvertes.fr/lliquori

Journals articles

  1. S. Ghilezan, S. Kašterovic ́, L. Liquori, B. Marinkovic ́, Z Ognjanovic ́, and T Stefanovic ́. Federating digital contact tracing using structured overlay networks. Computer Science and Information Systems, CSIS, https://hal.inria.fr/hal-03127890 19(3), pages 1261- 1282, 2022.

  2. A. Ciaffaglione, P. Di Gianantonio, F. Honsell, and L. Liquori. A prototype-based approach to object reclassification, The Journal of Object Technology, JOT, https://hal.inria.fr/hal-01646168, 20(2): 4:1-24 2021.

  3. L. Liquori, F. Honsell, P. Maksimovic and I. Scagnetto. Plugging-in Proof Development Environments using Locks in LF. Mathematical Structures in Computer Science, MSCS. https://hal.inria.fr/hal-01272647, 28(9):1578-1605 2018.

  4. F. Honsell, L. Liquori, P. Maksimović and I. Scagnetto. LLFP: A Logical Framework for Modeling Side Conditions, External Evidence, and Proof Irrelevance as Monads. In Special issue in honour of Pierre-Louis Curien. Logical Methods in Computer Science, LMCS 13(3), https://hal.inria.fr/hal-01146059, 2017.

  5. F. Honsell, M. Lenisa, L. Liquori, P. Maksimović and I. Scagnetto. An Open Logical Framework. In Special issue in honour of Arnon Avron. Journal of Logic and Computation, JLP/IGLP, JLP/IGLP, 26(1):293–335, Oxford press, 2016. https://hal.inria.fr/hal-00906391

  6. B. Marinković, V. Ciancaglini, Z. Ognjanović, P. Glavan, L. Liquori, P. Maksimović. Analyzing the Exhaustiveness of the Synapse Protocol. Peer-to-Peer Networking and Applications, https://hal.inria.fr/hal-01146050, 8(5), pp.793--806, Springer-Verlag, 2015.

  7. G. Piro, V. Ciancaglini, R. Loti, L.A. Grieco and L. Liquori. Providing crowd-sourced and real-time media services through a NDN-based platform. Book chapter in Modelling and Processing for Next Generation Big Data Technologies and Applications ISBN 978-3-319-09176-1, https://hal.inria.fr/hal-00906475, pages 405-441, Springer-Verlag, 2014.

  8. B. Marinković, L. Liquori, V. Ciancaglini and Z. Ognjanović. A Distributed Catalog for Digitized Cultural Heritage. Book chapter in Communications in Computer and Information Science, Gusev and Mitrewski editors. Revised and selected papers of ICT’10. International Conference on Information and Communication Technologies Innovations, Ohrid, Macedonie. https://hal.inria.fr/hal-00908783 Volume 83, pages 176–186, Springer-Verlag, 2011.

  9. D. Borsetti, C. Casetti, C. F. Chiasserini and L. Liquori. Content Discovery in Heterogeneous Mobile Networks. Book chapter in Heterogeneous Wireless Access Networks: Architectures and Protocols, E. Hossain editor, https://hal.inria.fr/hal-00909620, pages 419–441, Springer-Verlag, 2008.

  10. L. Liquori, A Spiwack. FeatherTrait: A Modest Extension of Featherweight Java. ACM Transaction on Programming Languages and Systems, TOPLAS, 30(2), pages 11:1–11:32, ACM Press, 2008.

  11. L. Liquori, A Spiwack. Extending FeatherTrait Java with Interfaces. In Calculi, Types and Applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca. Theoretical Computer Science, TCS, 398(1-3), pages 243–260, Elsevier, 2008.

  12. R. Chand, M. Cosnard, L. Liquori. Powerful Resource Discovery for Arigatoni Overlay Network. Future Generation Computer Systems. FGCS, 24(1), pages 31–38, Elsevier, 2008.

  13. L. Liquori, B. Serpette. iRho: An Imperative Rewriting-calculus. Mathematical Structures in Computer Science, MSCS, 18(3), pages 467-500, Cambridge University Press, 2008.

  14. L. Liquori and S. Ronchi della Rocca. Intersection-Types à la Church. Information and Computation, IC, 205(9), pages 1371–1386, Elsevier, 2007.

  15. F. Honsell, M. Lenisa, and L. Liquori. A Framework for Defining Logical Frameworks. In Computation, Meaning and Logic. Articles dedicated to Gordon Plotkin. Electronic Notes in Theoretical Computer Science, 172, pages 399–436, Elsevier, 2007.

  16. A. Ciaffaglione, L. Liquori, and M. Miculan. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. Journal of Automated Reasoning, JAR, 39(1), pages 1–47, Kluwer Academic Publishers, 2007.

  17. M. Cosnard, L. Liquori, and R. Chand. Virtual Organizations in Arigatoni. In Proc. of DCM’06. 3rd International Workshop on Developments in Computational Models, Venice, Italy. Electronic Notes in Theoretical Computer Science, 171(3), pages 55–75, Elsevier, 2007.

  18. P. Lescanne, L. Liquori, and D. Dougherty. Addressed Term Rewriting Systems: Application to a Typed Object Calculus. Mathematical Structures in Computer Science, MSCS, 16(4), pages 667–709, Cambridge University Press, 2006.

  19. L. Liquori and F. Honsell, and R. Redamalla. A Language for Verification and Manipulation of Web Documents: (Extended Abstract). In Proc. of WWV’05. 1st International Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain. Electronic Notes in Theoretical Computer Science, 157(2), pages 67–78, Elsevier, 2006.

  20. L. Liquori. iRho: the Software (System Description). In Proc. of DCM’05. 2nd International Workshop on Developments in Computational Models, Lisbon, Portugal. Electronic Notes in Theoretical Computer Science 135(3), pages 85–96, Elsevier, 2006.

  21. L. Liquori and S. Ronchi della Rocca. Towards an Intersection Typed System à la Church. In Proc. of ITRS’04. Workshop on Intersection Types and Related Systems, Turku, Finland. Electronic Notes in Theoretical Computer Science 136, pages 43–56, Elsevier, 2005.

  22. D. Dougherty, P. Lescanne, L. Liquori, and F. Lang. Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. In Proc. of TERMGRAPH’04. 2nd International Workshop on Term Graph Rewriting. Electronic Notes in Theoretical Computer Science, 127(5), pages 57–82, Elsevier, 2005.

  23. L. Liquori and B. Wack. The Polymorphic Rewriting Calculus [Type Checking vs. Type Inference]. In Proc. of WRLA’04. 6th International Workshop on Rewriting Systems and Applications. Barcelona, Spain. Electronic Notes in Theoretical Computer Science 117, pages 89–111, Elsevier, 2005.

  24. H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. Rewrite Strategies in the Rewriting Calculus. In Proc. of WRS’03. 3rd International Workshop on Reduction Strategies in Rewriting and Programming, Valencia, Spain. Electronic Notes in Theoretical Computer Science 86(4), pages 593–62

  25. H. Cirstea, C. Kirchner, and L. Liquori. Rewriting Calculus with(out) Types. In Proc. of WRLA’02. 4th International Workshop on Rewriting Systems and Applications. Pisa, Italy. Electronic Notes in Theoretical Computer Science 71, pages 3–19, Elsevier, 2002.

  26. M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli. Object Calculi in Linear Logic. Journal of Logic and Computation. JLC, 10(1), pages 75–104, Oxford University Press, 2000.

  27. V. Bono, M. Bugliesi, M. Dezani, and L. Liquori. A Subtyping for Extendible, Incomplete Objects. Fundamenta Informaticae, FI, 38(4), pages 325–364, IOS Press, 1999.

  28. S. van Bakel, L. Liquori, S. Ronchi della Rocca, and P. Urzyczyn. Comparing Cubes of Typed and Type Assignment Systems. Annals of Pure and Applied Logic, APAL, 86(3), pages 267–303, Elsevier / North Holland, 1997.

ETSI Standards

  1. S. Medjiah, T. Monteil, L. Liquori, M.A. Peraldi-Frati, B. Flynn. ETSI Technical Specification TS 103840. SmartM2M; Model for oneM2M Performance Evaluation, 2023. https://www.etsi.org/deliver/etsi_ts/103800_103899/103840/01.01.01_60/ts_103840v010101p.pdf

  2. B. Flynn, L. Liquori, M.A. Peraldi-Frati, S. Medjiah, T. Monteil. ETSI Technical Report TR 103839. SmartM2M; Scenarios for evaluation of oneM2M deployments, 2023. https://www.etsi.org/deliver/etsi_tr/103800_103899/103839/01.01.01_60/tr_103839v010101p.pdf

  3. L. Liquori, R.G. Castro, A. Cimmino, M.A. Peraldi-Frati, S.M. Jeong, S. Kumar. ETSI DTR/SmartM2M-103716, SmartM2M: Discovery and Query solution(s) simulation and performance evaluation, 2021. https://hal.inria.fr/hal-03261059

  4. R.G. Castro, A. Cimmino, S.M. Jeong, S. Kumar, L. Liquori, M.A. Peraldi-Frati. ETSI DTR/SmartM2M-103717, SmartM2M; Study for oneM2M Discovery and Query specification development, 2021. https://hal.inria.fr/hal-03261080

  5. L. Liquori, E. Scarrone, S. Wood, L. Cees, F. Dasilva, M. Maass, B. Flynn, T. Kessler, H. Taras, A.K. Khan, M. Vanetti. ETSI Technical Specification TS 103757. SmartM2M; Asynchronous Contact Tracing System: Fighting pandemic disease with Internet of Things, 2021. https://hal.inria.fr/hal-02989793v3

  6. J. Koss, L. Liquori, R.G. Castro, A. Cimmino, M.A. Peraldi-Frati, S.M. Jeong. ETSI DTR/SmartM2M-103714. SmartM2M: Study for oneM2M Discovery and Query use cases and requirements, 2020. https://hal.inria.fr/hal-0311548

  7. L. Liquori, R.G. Castro, A. Cimmino, M.A. Peraldi-Frati, S.M. Jeong, S. Kumar. ETSI DTR/SmartM2M-103715. SmartM2M: Study for oneM2M; Discovery and Query solutions analysis & selection, 2020. https://hal.inria.fr/hal-03115497

Papers in international conferences

  1. C. Stolze and L. Liquori. A Type Checker for a Logical Framework with Union and Intersection Types (System Description). In Proc. of FSCD’20. 5th International Conference on Formal Structures for Computation and Deduction, Paris, France, LiPics 137, 37:1–37:24, 2020.

  2. L. Liquori, R. Gaeta and M. Sereno. Luigi Liquori, Rossano Gaeta, Matteo Sereno: A Network Aware Resource Discovery Service. In Proc. of EPEW’19: 16th European Workshop, Milan, Italy, Lecture Notes in Computer Science 12039, Springer-Verlag, pages 84–99, 2019.

  3. L. Liquori and C. Stolze. The Delta-calculus: Syntax and Types. In Proc. of FSCD’19. 4th International Conference on Formal Structures for Computation and Deduction, Dortmund, Germany, LiPics 131, 28:1–28:20, 2019.

  4. F. Honsell, L. Liquori, C. Stolze, I. Scagnetto. The Delta-framework. In Proc. of FSTTCS’18. 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Ahmedabad, India, LiPics, 37:1–37:21, 2018.

  5. L. Liquori, and C. Stolze A Realizability Interpretation for Intersection and Union Types. In Proc. of TTCS’17. 2nd International Conference on Topics in Theoretical Computer Science, Tehran, Iran, Lecture Notes in Computer Science 10608, Springer-Verlag, pages 74–90, 2017. 

  6. C. Stolze, L. Liquori, F. Honsell, I. Scagnetto. Towards a Logical Framework with Intersection and Union Types. In Proc. of LFMTP’17. 11th International Workshop on Logical Frameworks and Meta-languages, Oxford, UK, ACM Digital Library, 2017.

  7. D. J. Dougherty, U. De’Liguoro, L. Liquori, and C. Stolze. A Realizability Interpretation for Intersection and Union Types. In Proc. of APLAS’16. 14th Asian Symposium on Programming Languages and Systems, Hanoi, Vietnam, Lecture Notes in Computer Science 10017, Springer-Verlag, pages 187–205, 2016.

  8. F. Honsell, M. Lenisa, L. Liquori, and I. Scagnetto. Implementing Cantor’s Paradise. In Proc. of APLAS’16. 14th Asian Symposium on Programming Languages and Systems, Hanoi, Vietnam, Lecture Notes in Computer Science 10017, Springer-Verlag, pages 229–250, 2016.

  9. F. Honsell, L. Liquori, P. Maksimovic, and I. Scagnetto. Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. In Proc. of LFMTP’15. 9th International Workshop on Logical Frameworks and Meta-languages, Berlin, Germany, Electronic Proceedings in Theoretical Computer Science (EPTCS), 185(1), pages 3–17, 2015.

  10. F. Honsell, I. Scagnetto, and L. Liquori. LLFP: Side Conditions and External Evidence as Monads. In Proc. of MFCS'14. 39th International Symposium on Mathematical Foundations of Computer Science, Budapest, Hungary, Lecture Notes in Computer Science 8634, pages 327–339, Springer-Verlag, 2014.

  11. G. Ngo Hoang, L. Liquori, and N. C. Hung. A Backward-Compatible Co-operation of Heterogeneous P2P Systems. In Proc. of ICDCN’14. 15th International Conference on Distributed Computing and Networking, Coimbatore, India, Lecture Notes in Computer Science 8314, pages 387–301, Springer-Verlag, 2014.

  12. F. Honsell, I. Scagnetto, L. Liquori, and P. Maksimović. Extended Abstract: 25 Years of Formal Proof Cultures (some problems, some phylosophy, bright future). In Proc. of LFMTP’13. 8th International Workshop on Logical Frameworks and Meta-languages, Boston, USA, pages 37–42, ACM Digital Library, 2013.

  13. R. Gaeta, V. Ciancaglini, R. Loti and L. Liquori. Interconnection of large scale unstructured P2P networks: modeling and analysis. In Proc. of ASMTA’13. 20th International Conference on Analytical & Stochastic Modelling Techniques & Applications, Gent, Belgium, Lecture Notes in Computer Science 7984, pages 183–197, Springer-Verlag, 2013.

  14. V. Ciancaglini, G. Piro, R. Loti, A. Grieco and L. Liquori. CCN-TV: a data-centric approach to real-time video service. In Proc. of AINA’13. International Conference on Advanced Information Networking and Applications, Barcelona, Spain, pages 982–989, IEEE Computer Society, 2013

  15. G. Ngo Hoang, L. Liquori, V. Ciancaglini, P. Maksimović and N. C. Hung. A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks. Poster and short version in Proc. of SAC’13. 28th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, pages 649–651, ACM press, 2013.

  16. T. Nguyen, L. Liquori, B. Martin and K. Hanks. Towards a Trust and Reputation Framework for Social Web Platforms. In Proc. of OTM’12. OnTheMove Federated Conferences and Workshops, Rome, Italy. Lecture Notes in Computer Science 7567, pages 13–22, Springer-Verlag, 2012.

  17. F. Honsell, M. Lenisa, L. Liquori, P. Maksimović and I. Scagnetto. LFP - A Logical Framework with External Predicates. In Proc. of LFMTP’12. 7th International Workshop on Logical Frameworks and Meta-languages, Copenhagen, Denmark, pages 13–22, ACM Digital Library, 2012.

  18. V. Ciancaglini, L. Liquori, G. Ngo Hoang, and P. Maksimović. An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. In Proc. of Hets-Nets’12. Future Heterogeneous Network, Prague, Czech Republic. Lecture Notes in Computer Science 7291, pages 10–18, Springer-Verlag, 2012.

  19. V. Ciancaglini and R. Loti and R. Gaeta and L. Liquori. Modeling and Analysis of Large Scale Interconnected Unstructured P2P Networks. Poster and short paper in Proc. of ICPADS’11. IEEE 17th International Conference on Parallel and Distributed Systems, Tainan, Taiwan, pages 817–822, IEEE Computer Society, 2011.

  20. V. Ciancaglini, L. Liquori, and G. Ngo Hoang. Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks. In Proc of HotPost’11. Hot Topics in Peer-to-Peer Computing and Online Social Networking, Tainan, Taiwan. IEEE Computer Society, pages 817–822, 2011.

  21. R. Chand, L. Liquori and M. Cosnard. Resource Discovery in the Arigatoni Model. In Proc. of IICS’10. International Conference on Innovative Internet Community Services, Neuchâtel, Switzerland. Lecture Notes in Informatics, 165, pages 437–449, 2010.

  22. V. Ciancaglini, L. Liquori and L. Vanni. CarPal : interconnecting overlay networks for a community-driven shared mobility. In Proc. of TGC’10. International Symposium on Trustworthy Global Computing, Munich, Germany. Lecture Notes in Computer Science 6084, pages 301–317, Springer-Verlag, 2010.

  23. D. Dougherty and L. Liquori. Logic and computation in a lambda calculus with intersection and union types. In Proc. of LPAR’10. Logic for Programming, Artificial Intelligence, and Reasoning, Dakar, Senegal, Lecture Notes in Computer Science, 6355, pages 173–191, Springer-Verlag, 2010.

  24. L. Liquori, C. Tedeschi, L. Vanni, F. Bongiovanni, V. Ciancaglini and B. Marinković. Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. In Proc. of IFIP Networking’10. International Conferences on Networking, Chennai, India Lecture Notes in Computer Science 6091, pages 67–82, Springer-Verlag, 2010.

  25. L. Liquori, C. Tedeschi and F. Bongiovanni. Babelchord: a social tower of DHT-based overlay networks. In Proc. of IEEE ISCC’09. Symposium on Computers and Communications, Sousse, Tunisia, pages 307–312, IEEE Computer Society, 2009.

  26. F. Honsell, M. Lenisa, and L. Liquori, and I. Scagnetto. A Conditional Logical Framework. In Proc. of LPAR’08. Logic for Programming, Artificial Intelligence, and Reasoning, Doha, Qatar, Lecture Notes in Computer Science 5330, pages 143–157, Springer-Verlag, 2008.

  27. L. Liquori, D. Borsetti, C. Casetti, and C. F. Chiasserini. An Overlay Architecture for Vehicular Networks. In Proc. of IFIP Networking’08. International Conferences on Networking, Singapore. Lecture Notes in Computer Science, 4982, pages 60–71, Springer-Verlag, 2008.

  28. L. Liquori and M. Cosnard. Logical Networks: Towards Foundations of Programmable Overlay Networks and Overlay Computing Systems. In Proc. of TGC’07. International Symposium on Trustworthy Global Computing, Sophia-Antipolis, France. Lecture Notes in Computer Science, 4912, pages 55–75, Springer-Verlag, 2008.

  29. M. Cosnard and L. Liquori. Weaving Arigatoni with a graph topology. In Proc. of ADVCOMP’07. International Conference on Advanced Engineering Computing and Applications in Sciences, 8 pages, IEEE Computer Society, 2007.

  30. R. Chand, M. Cosnard, and L. Liquori. Improving Resource Discovery in the Arigatoni Overlay Network. In Proc. of ARCS’07. 20th International Conference on Architecture of Computing Systems System Aspects in Pervasive and Organic Computing, Lecture Notes in Computer Science, 4415, pages 98–111, Springer-Verlag, 2007.

  31. D. Benza, M. Cosnard, L. Liquori, and M. Vesin. Arigatoni: A Simple Programmable Overlay Network. In Proc. of JVA’06. John Vincent Atanasoff International Symposium on Modern Computing, Sofia, Bulgaria, pages 82–91, IEEE Computer Society, 2006.

  32. R. Chand, M. Cosnard, and L. Liquori. Resource Discovery in the Arigatoni Overlay Network. In Proc. of I2CS’06. International Workshop on Innovative Internet Community Systems, Neuchatel, Switzerland. Lecture Notes in Informatics, 165, pages 437–449, 2010 (reprint).

  33. L. Liquori and B. P. Serpette. An Imperative Rewriting Calculus. In Proc. of PPDP’04. 6th ACM SIGPLAN Conference on Principle and Practice of Declarative Programming. Verona, Italy, pages 167–179, The ACM Press, 2004.

  34. A. Ciaffaglione, L. Liquori, and M. Miculan. Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax. In Proc. of MERLIN’03. 2nd ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding. Uppsala, Sweden. The ACM Digital Library, 2003.

  35. H. Cirstea, L. Liquori, and B. Wack. Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. In Proc. of Types’03. International Workshop on Types for Proof and Programs. Turin, Italy. Lecture Notes in Computer Science 3085, pages 147–161, Springer Verlag, 2003.

  36. A. Ciaffaglione, L. Liquori, and M. Miculan. Imperative Object-based Calculi in (Co)Inductive Type Theories. In Proc. of LPAR’03. 10th International Conference on Logic for Programming Artificial Intelligence and Reasoning. Almaty, Kazakhstan. Lecture Notes in Computer Science 2850, pages 59–77, Springer Verlag, 2003.

  37. G. Barthe, H. Cirstea, C. Kirchner, and L. Liquori. Pure Pattern Type Systems. In Proc. of POPL’03. 30th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages. New Orleans, LA, USA, pages 250–261, The ACM Press, 2003.

  38. H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. The Rho Cube: Some Results, Some Problems. In Proc. of HOR’02. 1th International Workshop on Higher-Order Rewriting, Copenhagen, Denmark, Electronic proceedings, https://hal.inria.fr/inria-00099411, 2002.

  39. H. Cirstea, C. Kirchner, and L. Liquori. The Rho Cube. In Proc. of FOSSACS’01. 4th International Conference on Foundations of Software Science and Computation Structures. Genova, Italy. Lecture Notes in Computer Science 2051, pages 77–92, Springer Verlag, 2001.

  40. H. Cirstea, C. Kirchner, and L. Liquori. Matching Power. In Proc. of RTA’01. 12th International Conference on Rewriting Techniques and Applications. Utrecht, The Netherlands. Lecture Notes in Computer Science 2030, pages 168–183, Springer Verlag, 2001.

  41. F. Lang, P. Lescanne, L. Liquori, D. Dougherty, and K. Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems (extended abstract). In Proc. of WESTAPP’01. 4th International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs. Utrecht, The Netherlands. Logic Group Preprint series No 210, pages 6–25. Printed by the University of Utrecht, 2001.

  42. D. Colnet and L. Liquori. Match-O, a Statically Safe(?) Dialect of Eiffel. In Proc. of IEEE-TOOLS’00. 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia. pages 190–201, IEEE Computer Society, 2000.

  43. F. Lang, P. Lescanne, and L. Liquori. A Framework for Defining Object-Calculi. In Proc. of FM’99. World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France. Lecture Notes in Computer Science 1709, pages 963–982, Springer Verlag, 1999.

  44. L. Liquori. Bounded Polymorphism for Extensible Objects. In Proc. of Types’98. International Workshop on Types for Proof and Programs. Kloster Irsee, Germany. Lecture Notes in Computer Science 1657, pages 149–163. Springer Verlag, 1999.

  45. P. Di Gianantonio, F. Honsell, and L. Liquori. A Lambda Calculus of Objects with Self-Inflicted Extension. In Proc. of ACM-SIGPLAN OOPSLA’98. International Symposium on Object Oriented, Programming, System, Languages and Applications. Vancouver, Canada. 33(10), pages 166–178, ACM Press, 1998.

  46. L. Liquori. On Object Extension. In Proc. of ECOOP’98. 12th European Conference on Object Oriented Programming, Brussels, Belgium. Lecture Notes in Computer Science 1445, pages 498–552, Springer-Verlag, 1998.

  47. L. Liquori. An Extended Theory of Primitive Objects: First Order System. In Proc. of ECOOP’97. 11th European Conference on Object Oriented Programming, Jyvaskyla, Finland. Lecture Notes in Computer Science 1241, pages 146–167, Springer-Verlag, 1997.

  48. V. Bono, M. Bugliesi, M. Dezani, and L. Liquori. Subtyping Constraints for Incomplete Objects. In Proc. of TAPSOFT’97. 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development, Lille, France. Lecture Notes in Computer Science 1214, pages 465–477, Springer-Verlag, 1997.

  49. L. Liquori and G. Castagna. A Typed Lambda Calculus of Objects. In Proc. of ASIAN’96. 2nd International Conference on Concurrency and Parallelism, Programming, Networking, and Security, Singapore. Lecture Notes in Computer Science 1212, pages 129–141, Springer-Verlag, 1996.

  50. M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli. A Linear Logic Calculus of Objects. In Proc. of JICSLP’96. Joint International Conference and Symposium on Logic Programming, Bonn, Germany, pages 79–94, The MIT Press, 1996.

  51. V. Bono, M. Bugliesi, and L. Liquori. A Lambda Calculus of Incomplete Objects. In Proc. of MFCS’96. 21st International Symposium of Mathematical Foundation of Computer Science, 1996, Cracovie, Poland. Lecture Notes in Computer Science 1113, pages 218–229, Springer-Verlag, 1996.

  52. V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In Proc. of CSL’94. 8th International Conference of Computer Science Logic, Kazimierz, Poland. Lecture Notes in Computer Science 933, pages 16–30, Springer-Verlag, 1995.

  53. S. van Bakel, L. Liquori, S. Ronchi della Rocca, and P. Urzyczyn. Comparing Cubes. In Proc. of LFCS’94. 3rd International Symposium on Logical Foundations of Computer Science, St. Petersbourg, Russia. Lecture Notes in Computer Science 813, pages 353–365, Springer-Verlag, 1994.

  54. L. Liquori and M. L. Sapino. Dealing with Explicit Exceptions. In Proc. of Gulp-Prode’94. Joint Conference on Declarative Programming, Peniscula, Spain. SPUPV-94.2046, pages 296–308, Printed by the University of Valencia, 1994.

Books and book chapters

 

  1. G. Piro, V. Ciancaglini, R. Loti, L.A. Grieco, and L. Liquori. Providing crowd-sourced and real-time media services through a CCN-based platform. Invited but peer-reviewed. Book chapter in Modelling and Processing for Next Gen- eration Big Data Technologies and Applications ISBN 978-3-319-09176-1, pages 405-441, Springer-Verlag, 2014.

  2. B. Marinkovic, L. Liquori, V. Ciancaglini, and Z. Ognjanovic. A Distributed Catalog for Digitized Cultural Heritage. Invited but peer-reviewed. Book chapter in Communications in Computer and Information Science, Gusev and Mitrewski editors. Revised and selected papers of ICT’10. International Conference on Information and Communication Technologies Innovations, Ohrid, Macedonie. Volume 83, pages 176-186, Springer-Verlag, 2011.

  3. D. Borsetti, C. Casetti, C. F. Chiasserini, and L. Liquori. Content Discovery in Heterogeneous Mobile Networks. Invited but peer-reviewed. Book chapter in Heterogeneous Wireless Access Networks: Architectures and Protocols, E. Hossain editor, pages 419–441, Springer-Verlag, 2008.

  4. L. Liquori. Book Review: Formal Methods for Open Object-Based Distributed Systems. The Computer Journal, 46(6). Oxford University Press - British Computer Society, 2003.

Papers in international workshops (no proc.)

 

  1. Luigi Liquori. Why reductions must be synchronized in ∩ (and ∪) typed lambda-calculi. Invited talk. IFIP Working Group 1.6 on Rewriting, 2018.

  2. Luigi Liquori and Claude Stolze. Characterization of eight intersection type systems à la Church. At Types’18, International Conference on Types for Proof and Programs, https://types2018.projj.eu/, 2018.

  3. L. Liquori and C. Stolze.  Intersection and Union Types from a Proof-functional Point of View. Types’17, International Conference on Types for Proof and Programs. Budapest, Hungary http://types2017.elte.hu/, 2017.

  4. L. Liquori. myMed: an ad hoc Framework for Executing Homogeneous Open Social Networks. https://hal.inria.fr/hal-01146061, COOP'14. International Workshop on The Role of Artefacts in Social Coordination, Nice, France, https://coop2014.wordpress.com/workshops/, 2014.

  5. F. Honsell, M. Lenisa, and L. Liquori. A Framework for Defining Logical Frameworks. At Rho06, 3rd Workshop on the Rewriting Calculus, Kings College, London, UK. http://rho.loria.fr/ workshop2006.html, 2006.

  6. L. Liquori. Some Progress in the SW iRho. At 2nd Workshop on the Rewriting Calculus, LIX, Paris, France, http://rho.loria.fr/workshop2005.html, 2005.

  7. L. Liquori and A. Spiwack. OhML. (The “Zen Essence” of Methods-as-Functions). At Types’04, International Workshop on Types for Proof and Programs. LIX Palaiseau, Paris, France, http://types2004.lri.fr/index.html, 2004.

  8. L. Liquori. A Typed Axiomatic Object Calculus with Subtyping. At ATSC’95, Workshop on Advances In Type Systems For Computing, Newton Institute, Cambridge, UK, http://www.seas.upenn.edu/~sweirich/types/archive/1996/msg00006.html, 1995.

Papers in national conferences and workshops

 

  1. H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. Polymorphic Type Inference for the Rewriting Calculus. In Proc. of JFLA’06. 17ème Journées Francophones des Langages Applicatifs, Pauillac, France, pages 57–69, Édition INRIA, 2006.

  2. P. Di Gianantonio, L. Liquori, and F. Honsell. A Lambda Calculus of Objects with Self-Inflicted Extension (extended abstract). In Proc. of SisForm’98, 1st Workshop sui Sistemi Formali per la Specifica, l’Analisi, la Verifica, la Sintesi e la Trasformazione del Software, Rome, Italy, SI-98/11, pages 39–40, Printed by the University of Rome I La Sapienza, 1998.

  3. L. Liquori. Diamond Types for Extendible Objects. At FUN’98, Fourth Italian Workshop on Functional Programming, Como, Italy, 1998.

  4. L. Liquori and M. L. Sapino. Operational and Denotational Semantics for a Logic Language with explicit Exceptions. In FUN’95, First Italian Workshop on Functional Programming, Bologna, Italy, 1995.

Thesis

 

  1. L. Liquori. Peter, le langage qui n’existe pas ... (Peter, the language that does not exists ...). Habilitation Thesis, 108 pages, In French and English, Institut National Politechnique de Lorraine (INPL). https://hal.inria.fr/tel-01148503. Jury: Prof. Gilles Dowek (LIX, Rapporteur), Prof. Robert Harper (CMU, USA, Rapporteur), Prof. Kim Bruce (Pomona College, USA, Rapporteur), Magnifico Rettore Furio Honsell (U. Udine, IT, Président), Dr. Claude Kirchner (DR INRIA), Prof. Pierre Lescanne (ENS Lyon), Prof. Jacques Jaray (ENSM Nancy), Dr. Michael Rusinowitch (INRIA Lorraine), Dr. Horatiu Cirstea (MdC Nancy II), Nancy, http://www-sop.inria.fr/members/Luigi.Liquori/HDR/Peter.Pan.html, 2007.

  2. L. Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. https://hal.inria.fr/tel-01157160. Ph.D. Thesis, 193 pages, in English and Italian, Department of Computer Science, University of Turin, Italy, 1996.

  3. L. Liquori. Semantica e Pragmatica di un Linguaggio Funzionale con le Continuazioni Esplicite, Ms.D. Thesis, 74 pages, in Italian, Department of Mathematics and Computer Science, University of Udine, Italy, 1990.

Research Reports (not published elsewhere)

 

  1. L. Liquori and the myMed Consortium. Rapport final d’éxecution du projet myMed / Rapporto finale di esecuzione del progetto myMed 2010-2013. https://hal.inria.fr/hal-00909658, Interreg Alcotra, 2013.

  2. L. Liquori & the LogNet Team. Logical Networks: Self-organizing Overlay Networks and Generic Overlay Computing Systems, INRIA Activity Report,  2008-2009-2010-2012-2013.

  3. P. Maksimović, S. Thuriez and L. Liquori. A Secure Protocol for Tracking Customer Flow. Convention d’étude 6711, Protected by NDA, (non-disclosure agreement), 2012.

  4. P. Maksimović, S. Thuriez and L. Liquori. Appendix of: A Secure Protocol for Tracking Customer Flow. Convention d’étude 6711, Protected by NDA, (non-disclosure agreement), 2012.

  5. L. Liquori, D. Parigot, and B.P. Serpette. LogNet. Logical Networks: Self-organizing Overlay Networks and Generic Overlay Computing Systems. Proposition d’Équipe-Projet INRIA, https://hal.inria.fr/hal-01147443,  2010.

  6. H. Cirstea, E. Coquery, W. Drabent, F. Fages, C. Kirchner, L. Liquori, B. Wack, and A. Wilk. Types for REWERSE reasononing and query language. REWERSE Network of Excellence. Deliverable I3-D4, 2005.

  7. L. Liquori. Book Review: Formal Methods for Open Object-Based Distributed Systems. The Computer Journal, 46(6). Oxford University Press - British Computer Society, 2003.

  8. L. Liquori, D. Colnet, and Joelle Despeyroux. Miró : Systèmes à Objets, Types et Prototypes: Sémantique et Validation, Proposition d’Équipe-Projet INRIA,  https://hal.inria.fr/hal-01151339, 2002.

  9. L. Liquori & the Miró Team. Miró : Systèmes à Objets, Types et Prototypes: Sémantique et Validation, INRIA Activity reports, 2001-2002-2003.

  10. L. Liquori. Playing with Diamonds. Research Report, Dipartimento di Matematica ed Informatica, University of Udine, Italy, 1998.

  11. L. Liquori. An Extended Theory of Primitive Objects : First and Second Order Systems. Research Report CS-23-96, Dipartimento di Matematica ed Informatica, University of Turin, Italy, 1996.

Software and Reference Manuals

  1. A Di Dio and L. Liquori. An advanced implementation of the ETSI standard of Asynchronous Contact Tracing, Fighting Pandemics with Internet of Things,  https://github.com/AlessioDD98/Asynchronous_Contact_Tracing, 2022.

  2. A.K. Khan and L. Liquori. A prototype implementation of the ETSI standard of Asynchronous Contact Tracing, Fighting Pandemics with Internet of Things, https://github.com/Qadir296/ACT, 2021.

  3. C. Stolze and L. Liquori. The Bull Proof Assistant. Interactive proof assistant based on Edinburgh LF enriched with Union and Intersection Types. https://bil.inria.fr/fr/software/view/3830/tab, 2017-2021.

  4. L. Liquori and the myMed Team. myMed : an SDK to build social networks. https://bil.inria.fr/fr/software/view/380/tab, and http://www.mymed.fr, and 2010-2016.

  5. L. Liquori and L. Vanni. CarPal: a practical application of the Synapse overlay network implementation, http://www-sop.inria.fr/lognet/carpal, 2010.

  6. L. Vanni, L. Liquori and V. Ciancaglini. jSynapse: an implementation of the Synapse overlay protocol. http://www-sop.inria.fr/teams/lognet/synapse-net2012/index.html, 2010.

  7. D. Borsetti, L. Liquori, C. Casetti, and C. F. Chiasserini. Ariwheels: Un Simulateur des protocoles Arigatoni et MANET. http://www-sop.inria.fr/members/Luigi.Liquori/ARIGATONI/Ariwheels.htm, 2008.

  8. R. Chand, L. Liquori, and M. Cosnard. Arigatoni: Un Simulateur des protocoles du réseau d’overlay Arigatoni. http://www-sop.inria.fr/members/Luigi.Liquori/ARIGATONI/index.html, 2007.

  9. L. Liquori. Snake: The First Ascii-Oriented Script Language Based on the Original Screenplay of the Imperative Rewriting Calculus V1.1. http://www-sop.inria.fr/members/Luigi.Liquori/Snake, 2005.

  10. L. Liquori and B. Serpette. iRho: interpreter and type checker, and proof certification. http://www-sop.inria.fr/members/Luigi.Liquori/iRho, 2004.

  11. D. Bacchiega, D. Gotta, L. Liquori, M. Porta, and M. Ramella Votta. Ipotesi evolutive del Sistema MOMIX per la Specifica e Qualificazione di Sistemi TMN. In Italian. Technical Report DTR 98.0089, 27 pages, CSELT, Centro Studi e Laboratori Telecomunicazioni (now Telecom Italia Labs), Turin, Italy, 1998.

  12. D. Bacchiega, D. Gotta, L. Liquori, and R. Rossi. MOMIX-emSDH2. Simulatore di Agent di Element Manager SDH2.0. Versione 2.2.3. Manuale Utente e Guida di Riferimento. In Italian. Technical Report DTR 97.0413, 99 pages, CSELT, Centro Studi e Laboratori Telecomunicazioni (now Telecom Italia Labs), Turin, Italy, 1997.

Teaching Material

 

  1. L. Liquori. Peer-to-peer. SI5, Polytech Nice Sophia. Université Côte d'Azur, 2010-2024.

  2. L. Liquori. Structured peer-to-peer overlay networks. Master en Ingeniería del Software, Métodos Formales y Sistemas de Informacíon, Universidad Politécnica de Valencia, Espagne, 2010.

  3. L. Liquori. Overlay and P2P networks. Summer Schools on Foundations of Information Technologies, FIT, Novi Sad, Serbia, 2009.

  4. L. Liquori. The rewriting calculus (with Claude Kirchner and Horatiu Cirstea). 16th European Summer School in Logic, Language and Information, ESSLLI, Nancy, France, 2004.

  5. L. Liquori. Functional Programming. G5031, Course Slides, University of Sussex, Brighton, UK, 2004.

  6. L. Liquori. Computability and Complexity. G5003, Course Slides, University of Sussex, Brighton, UK, 2004.

  7. L. Liquori. A Brief Introduction to Corba. Course Notes SI 131: Conception d’architectures logicielles. École des Mines de Nancy, France, 1999-2000.

  8. L. Liquori. On Object Calculi. Course Notes SI 142: Fondements de l’algorithmique et de la programmation. École des Mines de Nancy, France, 1999-2000.

  9. L. Liquori. Les Langages ASN.1 et GDMO. Course Notes SI 151 : Réseaux et télécommunications. École des Mines de Nancy, France, 1999-2000.

  10. L. Liquori. Le Bug de Java. Course Notes SI 153: Sûreté des systèmes informatiques. École des Mines de Nancy, France 1999-2000.

  11. L. Liquori and K. Tombre. On C++ Compilers. Course Notes SI 131: Conception d’architectures logicielles. École des Mines de Nancy, France, 1999-2000.

  12. L. Liquori. An Introduction to SmallTalk. Course Notes POOGL: Programmation à Objets et Génie Logiciel, École Normale Supérieure de Lyon, France, 1998-1999.

Work in progress and old manuscripts

  1. L. Liquori and M. Mendler. Coherence and Determinacy in Timed CCS with Priorities and Sequentially Constructive Scheduling. In preparation, 2023. To be presented at Synchron 2023 open workshop.

  2. L. Liquori. Combining (non) Deterministic Abstract Machines. In preparation. 2023.

  3. L. Liquori and M. Sereno. LogNet: Extending Internet with a Network Aware Discovery Service. https://hal.inria. fr/hal-01323974v2, 2017.  (683 views&download @ October 2023).

  4. L. Liquori. myMed: an ad hoc Framework for Executing Homogeneous Open Social Networks. https://hal.inria. fr/hal-01146061, 2015.

  5. G. Ngo Hoang, H. C. Hung and L. Liquori. A P2P Communication Architecture for Advanced Metering Infrastructure. Manuscript. https://hal.inria.fr/hal-00909699, 2014. (1303 views&download @ October 2023).

  6. V. Ciancaglini and R. Loti and R. Gaeta and L. Liquori. Interconnection of large scale unstructured P2P networks: modeling and analysis, Full version, 2013.

  7. P. Nain, C. Casetti, and L. Liquori. A Stochastic Model of an Arigatoni Overlay Computer, Manuscript, 2008.

  8. L. Liquori and P. Zimmer. Rhom: a calculus for context-awareness, Manuscript, 2007.

  9. C. Bertolissi, H. Cirstea, G. Faure, C Kirchner, L. Liquori, and B. Wack. The Rewriting Calculus. Book Manuscript, 2007.

  10. L. Liquori. On Demand Type Systems (How to plug *your* own type system in *our* virtual machine!), Manuscript, 2007.

  11. S. Fechter, L. Liquori, and T. Hardin. Mini-Foc: A Kernel Calculus for Certified Computer Algebra, Manuscript, 2006.

  12. L. Liquori and A. Spiwack. An Object-Oriented Logical Framework [Preliminary Report], Manuscript, 2005.

  13. L. Liquori and A. Spiwack. OhML. (The “Zen Essence” of Methods-as-Functions), Manuscript, 2005.

  14. A. Ciaffaglione, P. Di Gianantonio, L. Liquori, and F. Honsell. Foundations for Dynamic Objet Reclassifications, Extended version of OOPSLA’98, Manuscript, 2006.

  15. L. Liquori and G. Castagna. A Typed Lambda Calculus of Objects. Extended version of ASIAN’96, Manuscript, 2000.

  16. L. Liquori. The Deep Blue Calculus, Manuscript, 1998.

bottom of page