EN FR
EN FR


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, in: JVA, John Vincent Atanasoff International Symposium on Modern Computing, IEEE, 2006, p. 82–91.
  • 2D. Benza, M. Cosnard, L. Liquori, M. Vesin.

    Arigatoni: Overlaying Internet via Low Level Network Protocols, Inria, 2006, no 5805.
  • 3D. Borsetti, C. Casetti, C. Chiasserini, L. Liquori.

    Content Discovery in Heterogeneous Mobile Networks, in: Heterogeneous Wireless Access Networks: Architectures and Protocols, E. Hossain (editor), Springer-Verlag, 2008, p. 419–441.
  • 4R. Chand, M. Cosnard, L. Liquori.

    Powerful resource discovery for Arigatoni overlay network, in: Future Generation Computer Systems, 2008, vol. 1, no 21, p. 31–38.
  • 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, p. 98-111.
  • 6R. Chand, L. Liquori, M. Cosnard.

    Resource Discovery in the Arigatoni Model, in: Proc. of International Conference on Innovative Internet Community Services, IICS, LNI press, 2010, p. 437-449.
  • 7V. Ciancaglini, G. N. Hoang, L. Liquori.

    Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks, in: Proc. of International Workshop on Hot Topics in Peer-to-Peer Computing and Online Social Networking, HotPost '11, IEEE Computer Society Press, 2011, p. 817-822.
  • 8M. Cosnard, L. Liquori, R. Chand.

    Virtual Organizations in Arigatoni, in: DCM, International Workshop on Developpment in Computational Models. Electr. Notes Theor. Comput. Sci., 2007, vol. 171, no 3.
  • 9D. Dougherty, L. Liquori.

    Logic and computation in a lambda calculus with intersection and union types, in: Proc. of Logic for Programming, Artificial Intelligence, and Reasonin, LPAR, LNCS, Springer-Verlag, 2010.
  • 10L. Liquori, D. Borsetti, C. Casetti, C. Chiasserini.

    An Overlay Architecture for Vehicular Networks, in: IFIP Networking, International Conference on Networking, Lecture Notes in Computer Science, Springer-Verlag, 2008, vol. 4982, p. 60–71.
  • 11L. Liquori, M. Cosnard.

    Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems, in: TGC, Trustworthy Global Computing, Lecture Notes in Computer Science, Springer-Verlag, 2007, vol. 4912, p. 90–107.
  • 12L. Liquori, M. Cosnard.

    Weaving Arigatoni with a Graph Topology, in: ADVCOMP, International Conference on Advanced Engineering Computing and Applications in Sciences, IEEE Computer Society Press, 2007.
  • 13L. Liquori, B. Serpette.

    iRho: An Imperative Rewriting-calculus, in: MSCS, Mathematical Structures in Computer Science, 2007, vol. 18, no 3, p. 467–500.
  • 14L. Liquori, A. Spiwack.

    FeatherTrait: A Modest Extension of Featherweight Java, in: TOPLAS, ACM Transaction on Programming Languages and Systems, 2007, vol. 30, no 2.
  • 15L. Liquori, A. Spiwack.

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

    Babelchord: a social tower of DHT-based overlay networks, in: IEEE, ISCC, 2009, p. 307-312.
  • 17L. Liquori, C. Tedeschi, L. Vanni, F. Bongiovanni, V. Ciancaglini, B. Marinkovic.

    Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks, in: Proc. of Networking '10, LNCS, Springer-Verlag, 2010, p. 67-82.
Publications of the year

International Conferences with Proceedings

  • 18V. Ciancaglini, L. Liquori, G. N. Hoang, P. Maksimovic.

    An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks, in: Proc. of Future Heterogeneous Network Workshop, Hets-Nets'12, Lecture Notes in Computer Science, Springer-Verlag, 2012, vol. 7291, p. 10-18.
  • 19V. Ciancaglini, G. Piro, R. Loti, A. Grieco, L. Liquori.

    CCN-TV: a data-centric approach to real-time video services, in: Proc. of International Conference on Advanced Information Networking and Applications, AINA-2013, IEEE Computer Society, 2013, To appear.
  • 20R. Gaeta, M. Grangetto, R. Loti.

    SIEVE: a distributed, accurate, and robust technique to identify malicious nodes in data dissemination on MANET, in: Proc. of IEEE International Conference on Parallel and Distributed Computing, ICPADS'12, IEEE Computer Society, 2012.
  • 21F. Honsell, M. Lenisa, L. Liquori, P. Maksimovic, I. Scagnetto.

    𝖫𝖥 P – A Logical Framework with External Predicates, in: Proc. of International workshop on Logical frameworks and meta-languages, theory and practice, LFMTP 2012, ACM Digital Library, 2012, p. 13-22.
  • 22T. Nguyen, L. Liquori, B. Martin, K. Hanks.

    Towards a Trust and Reputation Framework for Social Web Platforms, in: Proc. of On the Move to Meaningful Internet Systems: OTM 2012 Workshops, Lecture Notes in Computer Science, Springer-Verlag, 2012, vol. 7567, p. 13–22.

Scientific Books (or Scientific Book chapters)

  • 23F. Honsell, M. Lenisa, L. Liquori, P. Maksimović, I. Scagnetto.

    An Open Logical Framework, in: Special issue in Honour of Arnon Avron, Springer-Verlag, 2013, Invited, to appear.

Internal Reports

  • 24P. Maksimovic, S. Thuriez, L. Liquori.

    A Secure Protocol for Tracking Customer Flow, Inria, 2012, Convention d'étude 6711, Protected by NDA.
  • 25P. Maksimovic, S. Thuriez, L. Liquori.

    Annexe of : A Secure Protocol for Tracking Customer Flow, Inria, 2012, Convention d'étude 6711, Protected by NDA.

Other Publications

  • 26S. Breda.

    Mise en place d’une application Smartphone dans le cadre du projet Interreg Alcotra myMed., 2012, Projet de stage de fin d'études: Master Langues et Affaires Internationales Relations franco-italienne, UNICE.
  • 27V. Ciancaglini, R. Loti, R. Gaeta, L. Liquori.

    Interconnection of large scale unstructured P2P networks: modeling and analysis, IEEE Computer Society, 2012, Poster and short paper on IEEE International Conference on Parallel and Distributed Computing, in ICPADS'12.
  • 28V. Ciancaglini, R. Loti, R. Gaeta, L. Liquori.

    Interconnection of large scale unstructured P2P networks: modeling and analysis, 2012, unpublished.
  • 29S. Dupont.

    Security Analysis of the Architecture of a Social Network Platform: myMed, 2012, Projet de stage de fin d'études: M2 IFI CSSR.
  • 30R. Fritz.

    Security mechanism applicable on Distributed Hash Table, 2012, Projet de stage de fin d'études: M2 IFI CSSR, UNICE.
  • 31R. Fritz.

    Surveillance des réseaux pair à pair par la réputation, 2012, Projet de stage de fin d'étude: M2 IFI CSSR, UNICE.
  • 32F. Guglielmino.

    Aide à la constitution d’un bassin d’usagers potentiels du réseau social myMed, 2012, Projet de stage de fin d'études: Master Langues et Affaires Internationales Relations franco-italienne, UNICE.
  • 33G. N. Hoang, L. Liquori, V. Ciancaglini, P. Maksimovic.

    A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks, Acm Press, 2013, Poster in Symposium On Applied Computing, SAC'13, Short Version. To appear.
  • 34G. N. Hoang, L. Liquori, V. Ciancaglini, P. Maksimovic.

    A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks, 2013, Long version.
  • 35E. Pellicciari.

    Assistance et aide à la conception des services myMed, premier réseau informatique transfrontalier, 2012, Projet de stage de fin d'études: Master Langues et Affaires Internationales Relations franco-italienne, UNICE.
  • 36D. D. Silva.

    Développement d'une application mobile d'aide aux personnes atteinte d'Alzheimer sur la plate-forme MyMed, 2012, Projet de stage de fin d’année: Licence Info Miage, UNICE.