EN FR
EN FR
LOGNET - 2013
LOGNET - 2013
Team Lognet
Members
Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Team Lognet
Members
Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography


previous Previous | up Home


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, no 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, 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 ]

    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, no 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


previous Previous | up Home