Bibliography

Major publications by the team in recent years

• 1D. Benza, M. Cosnard, L. Liquori, M. Vesin.
  Arigatoni: Overlaying Internet via Low Level Network Protocols.
  http://hal.inria.fr/inria-00070219
• 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.
  http://hal.inria.fr/hal-00911632
• 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.
  http://hal.inria.fr/hal-00909620
• 4R. Chand, M. Cosnard, L. Liquori.
  Powerful Resource Discovery for Arigatoni Overlay Network, in: Future Generation Computer Systems, June 2008, vol. 24, n^o 1, pp. 31-48.
  http://hal.inria.fr/hal-00909630
• 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.
  http://hal.inria.fr/hal-00910965
• 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.
  http://hal.inria.fr/hal-00909477
• 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.
  http://hal.inria.fr/hal-00909486
• 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.
  http://hal.inria.fr/hal-00911542
• 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.
  http://hal.inria.fr/hal-00909535
• 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.
  http://hal.inria.fr/hal-00908800
• 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.
  http://hal.inria.fr/hal-00911098
• 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.
  http://hal.inria.fr/hal-00909455
• 14L. Liquori, D. Borsetti, C. Casetti, C.-F. Chiasserini.
  An Overlay Architecture for Vehicular Networks, in: IFIP Networking 2008, Singapore, Singapore, May 2008.
  http://hal.inria.fr/hal-00909585
• 15L. Liquori, M. Cosnard, R. Chand.
  Virtual Organizations in Arigatoni, in: DCM - Developpement in Computational Methods, Venice, Italy, July 2006.
  http://hal.inria.fr/hal-00911535
• 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.
  http://hal.inria.fr/hal-00909592
• 17L. Liquori, A. Spiwack.
  Extending FeatherTrait Java with Interfaces, in: TCS, Theoretical Computer Science, 2008, vol. 398, n^o 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 ]
  http://hal.inria.fr/inria-00432540
• 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 ]
  http://hal.inria.fr/inria-00432538
• 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.
  http://hal.inria.fr/hal-00909550
• 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.
  http://hal.inria.fr/hal-00909544
• 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.
  http://hal.inria.fr/hal-00908805

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.
  http://hal.inria.fr/tel-00875653
• 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.
  http://hal.inria.fr/tel-00907854
• 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.
  http://hal.inria.fr/tel-00921367

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 ]
  http://hal.inria.fr/hal-00911724
• 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 ]
  http://hal.inria.fr/hal-00906391
• 28G. Piro, V. Ciancaglini.
  Enabling real-time TV services in CCN networks, in: IEEE COMSOC MMTC E-Letter, July 2013, pp. 17-20.
  http://hal.inria.fr/hal-00921318

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.
  http://hal.inria.fr/hal-00906807

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 ]
  http://hal.inria.fr/hal-00906823
• 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.
  http://hal.inria.fr/hal-00906830
• 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.
  http://hal.inria.fr/hal-00906798

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.
  http://hal.inria.fr/hal-00906475

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.
  http://hal.inria.fr/hal-00909658

Internal Reports

• 35H. G. Ngo, L. Liquori, C. Hung Nguyen.
  A Scalable Communication Architecture for AMI in SmartGrid, Inria, December 2013, n^o RR-8410.
  http://hal.inria.fr/hal-00913352

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).
  http://hal.inria.fr/hal-00906835
• 37G. Ngo Hoang, L. Liquori, H. Nguyen Chan.
  A Scalable Communication Architecture for Advanced Metering Infrastructure, November 2013.
  http://hal.inria.fr/hal-00909699