Research Program
Application Domains
Bilateral Contracts and Grants with Industry
Research Program
Application Domains
Bilateral Contracts and Grants with Industry


Major publications by the team in recent years
  • 1D. Benza, M. Cosnard, L. Liquori, M. Vesin.

    Arigatoni: Overlaying Internet via Low Level Network Protocols.

  • 2D. Benza, M. Cosnard, L. Liquori, M. Vesin.

    Arigatoni: A Simple Programmable Overlay Network, in: Modern Computing, 2006. JVA '06. IEEE John Vincent Atanasoff 2006 International ymposium on Modern Computing, Sofia, Bulgaria, October 2006.

  • 3D. Borsetti, C. Casetti, C.-F. Chiasserini, L. Liquori.

    Content Discovery in Heterogeneous Mobile Networks, in: Heterogeneous Wireless Access Networks: Architectures and Protocols, E. Hossain (editor), Springer, July 2008, pp. 419-441.

  • 4R. Chand, M. Cosnard, L. Liquori.

    Powerful Resource Discovery for Arigatoni Overlay Network, in: Future Generation Computer Systems, June 2008, vol. 24, no 1, pp. 31-48.

  • 5R. Chand, L. Liquori, M. Cosnard.

    Improving Resource Discovery in the Arigatoni Overlay Network, in: ARCS, International Conference on Architecture of Computing Systems, Lecture Notes in Computer Science, Springer-Verlag, 2007, vol. 4415, pp. 98-111.
  • 6R. Chand, L. Liquori, M. Cosnard.

    Resource Discovery in the Arigatoni Overlay Network, in: Proc. of IICS'10. International Conference on Innovative Internet Community Services, Neuchatel, Switzerland, June 2010.

  • 7V. Ciancaglini, L. Liquori, G. Ngo Hoang.

    Towards a common architecture to interconnect heterogeneous overlay networks, in: HotPOST 2011 : The Third International Workshop on Hot Topics in Peer-to-peer computing and Online Social neTworking - HotPost, Tainan, Taïwan, Province De Chine, December 2011.

  • 8V. Ciancaglini, L. Liquori, G. Ngo Hoang, P. Maksimovic.

    An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks, in: HetsNets 2012 : Future Heterogeneous Networks, Prague, Tchèque, République, May 2012.

  • 9M. Cosnard, L. Liquori.

    Weaving Arigatoni with a graph topology, in: ADVCOMP 2007, International Conference on Advanced Engineering Computing and Applications in Sciences, Papeete, French Polynesia, November 2007.

  • 10D. J. Dougherty, L. Liquori.

    Logic and computation in a lambda calculus with intersection and union types, in: 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Dakar, Senegal, April 2010.

  • 11R. Gaeta, V. Ciancaglini, R. Loti, L. Liquori.

    Modeling and Analysis of Large Scale Interconnected Unstructured P2P Networks, in: ICDPACD'12. International Conference on Parallel and Distributed Computing, Singapore, Singapour, IEEE, December 2012.

  • 12R. Gaeta, M. Grangetto, R. Loti.

    SIEVE: a distributed, accurate, and robust technique to identify malicious nodes in data dissemination on MANET, in: 18th IEEE Int. Conference on parallel and distributed systems, Singapore, Singapour, IEEE Computer Society, December 2012.

  • 13F. Honsell, M. Lenisa, L. Liquori, P. Maksimovic, I. Scagnetto.

    LFP - A Logical Framework with External Predicates, in: 7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, Copenhagen, Danemark, September 2012.

  • 14L. Liquori, D. Borsetti, C. Casetti, C.-F. Chiasserini.

    An Overlay Architecture for Vehicular Networks, in: IFIP Networking 2008, Singapore, Singapore, May 2008.

  • 15L. Liquori, M. Cosnard, R. Chand.

    Virtual Organizations in Arigatoni, in: DCM - Developpement in Computational Methods, Venice, Italy, July 2006.

  • 16L. Liquori, M. Cosnard.

    Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems, in: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Sophia-Antipolis, France, June 2008.

  • 17L. Liquori, A. Spiwack.

    Extending FeatherTrait Java with Interfaces, in: TCS, Theoretical Computer Science, 2008, vol. 398, no 1-3, pp. 243–260, Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca.
  • 18L. Liquori, A. Spiwack.

    Extending FeatherTrait Java with Interfaces, in: Theoretical Computer Science, 2008. [ DOI : 10.1016/j.tcs.2008.01.051 ]

  • 19L. Liquori, A. Spiwack.

    FeatherTrait: A Modest Extension of Featherweight Java, in: ACM Transactions on Programming Languages and Systems, 2008, 32 p. [ DOI : 10.1145/1330017.1330022 ]

  • 20L. Liquori, C. Tedeschi, F. Bongiovanni.

    Babelchord: a Social Tower of DHT-Based Overlay Networks, in: IEEE Symposium on Computers and Communications (ISCC'09), Sousse, Tunisie, July 2009.

  • 21L. Liquori, C. Tedeschi, L. Vanni, F. Bongiovanni, V. Ciancaglini, B. Marinkovic.

    Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks⋆, in: 9th International IFIP TC 6 Networking Conference, Chennai, Inde, May 2010.

  • 22T. Nguyen, L. Liquori, B. Martin, K. Hanks.

    Towards a Trust and Reputation Framework for Social Web Platforms, in: On the Move to Meaningful Internet Systems: OTM 2012, Rome, Italie, Springer, September 2012, pp. 13-22.

Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 23V. Ciancaglini.

    Du routage par clé au routage par contenu : interconnexion des systèmes et applications de diffusion vidéo, Université Nice Sophia Antipolis, July 2013.

  • 24P. Maksimović.

    Développement et vérification des logiques probabilistes et des cadres logiques, Université Nice Sophia Antipolis and Univerzitet u Novom Sadu, October 2013.

  • 25G. Ngo Hoang.

    De l'Interconnexion des Réseaux de Recouvrement à la Cooperation des Systèmes Pair-à-Pair, Université Nice Sophia Antipolis and Hanoi University of Science and Technology, December 2013.


Articles in International Peer-Reviewed Journals

  • 26R. Gaeta, M. Grangetto, R. Loti.

    Exploiting rateless codes and belief propagation to infer identity of polluters in MANET, in: IEEE Transactions on Mobile Computing, January 2014. [ DOI : 10.1109/TMC.2013.137 ]

  • 27F. Honsell, M. Lenisa, L. Liquori, P. Maksimovic, I. Scagnetto.

    An Open Logical Framework, in: Journal of Logic and Computation, October 2013. [ DOI : 10.1093/logcom/ext028 ]

  • 28G. Piro, V. Ciancaglini.

    Enabling real-time TV services in CCN networks, in: IEEE COMSOC MMTC E-Letter, July 2013, pp. 17-20.


Invited Conferences

  • 29F. Honsell, I. Scagnetto, L. Liquori, P. Maksimovic.

    Extended Abstract: 25 Years of Formal Proof Cultures, in: Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, Tel Aviv, Israel, November 2013, invited in a special issue of JLP.


International Conferences with Proceedings

  • 30V. Ciancaglini, R. Gaeta, R. Loti, L. Liquori.

    Interconnection of large scale unstructured P2P networks: modeling and analysis, in: ASMTA - 20th International Conference on Analytical and Stochastic Modelling and Applications - 2013, Gent, Belgium, A. Dudin, K. D. Turck (editors), Lecture Notes in Computer Science, Springer, July 2013, vol. 7984, pp. 183-197. [ DOI : 10.1007/978-3-642-39408-9_14 ]

  • 31V. Ciancaglini, G. Piro, R. Loti, L. Liquori, L. A. Grieco.

    CCN-TV: a data-centric approach to real-time video services, in: International Conference on Advanced Information Networking and Applications, Barcelona, Spain, March 2013.

  • 32G. Ngo Hoang, L. Liquori, H. Nguyen Chan.

    Backward-Compatible Cooperation of Heterogeneous P2P Systems, in: 5th International Conference on Distributed Computing and Networking, Coimbatore, India, January 2014.


Scientific Books (or Scientific Book chapters)

  • 33G. Piro, V. Ciancaglini, R. Loti, L. A. Grieco, L. Liquori.

    Providing crowd-sourced and real-time media services through a NDN-based platform, in: Modelling and processing for next generation big data technologies and applications, F. Xhafa (editor), Springer, September 2013.


Books or Proceedings Editing

  • 34L. Liquori, Mymed Consortium Interreg Alcotra.

    L. Liquori (editor), Rapport final d'execution du projet myMed / Rapporto finale di esecuzione del progetto myMed 2010-2013. Interreg Alcotra, Office Interreg Alcotra, September 2013, 60 p.


Internal Reports

  • 35H. G. Ngo, L. Liquori, C. Hung Nguyen.

    A Scalable Communication Architecture for AMI in SmartGrid, Inria, December 2013, no RR-8410.


Other Publications

  • 36G. Ngo Hoang, L. Liquori, V. Ciancaglini, P. Maksimovic, H. Nguyen Chan.

    A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks, March 2013, Poster and short (2 pages paper).

  • 37G. Ngo Hoang, L. Liquori, H. Nguyen Chan.

    A Scalable Communication Architecture for Advanced Metering Infrastructure, November 2013.