 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00906475v1
Chapitre d'ouvrage
Giuseppe Piro, Vincenzo Ciancaglini, Riccardo Loti, Luigi Alfredo Grieco, Luigi Liquori. Providing crowd-sourced and real-time media services through a NDN-based platform Fatos Xhafa. MODELLING AND PROCESSING FOR NEXT GENERATION BIG DATA TECHNOLOGIES AND APPLICATIONS, Springer, pp.405-441, 2015, Modeling and Processing for Next-Generation Big-Data Technologies, With Applications and Case Studies, <10.1007/978-3-319-09177-8> |
||
|
hal-00906798v1
Communication dans un congrès
Giang Ngo Hoang, Luigi Liquori, Hung Nguyen Chan. Backward-Compatible Cooperation of Heterogeneous P2P Systems 15th International Conference on Distributed Computing and Networking - ICDCN 2014, Coimbatore, India, January 4-7, 2014, Jan 2014, Coimbatore, India. Springer Verlag, 8314, pp.287-301, 2014, Lecture Notes in Computer Science. <10.1007/978-3-642-45249-9_19> |
||
|
hal-01272647v1
Pré-publication, Document de travail
Furio Honsell, Luigi Liquori, Petar Maksimoviç, Ivan Scagnetto. Plugging-in Proof Development Environments using Locks in LF 2016 |
||
|
hal-01148282v1
Article dans une revue
Luigi Liquori, Simona Ronchi Della Rocca. Intersection-types à la Church Journal of Information and Computation, Elsevier, 2007, 205 (9), pp.1371-1386. <10.1016/j.ic.2007.03.005> |
||
|
hal-01147443v1
Autre publication
Luigi Liquori. Logical Networks: Self-organizing Overlay Networks and Overlay Computing Systems Contents 1 Team on March 15, 2010 ......................4 2 Capsu.. 2010 |
||
|
hal-01146691v1
Communication dans un congrès
Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LFP – A Logical Framework with External Predicates 7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP 2012. Copenhagen, Denmark - September 9, 2012, Sep 2012, Copenhagen, Denmark. ACM, pp.13-22, 2013, <10.1145/2364406.2364409> |
||
|
hal-01146023v1
Communication dans un congrès
Furio Honsell, Luigi Liquori, Ivan Scagnetto. LaxLF: Side Conditions and External Evidence as Monads Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I., Aug 2014, Budapest, Hungary. Springer Verlag, 8634, pp.327-339, Lecture Notes in Computer Science. <10.1007/978-3-662-44522-8_28> |
||
|
hal-01146061v1
Pré-publication, Document de travail
Luigi Liquori. myMed: an ad hoc Framework for Executing Homogeneous Open Social Networks 2014 |
||
|
inria-00107876v2
Communication dans un congrès
Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Matching Power 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. Springer Verlag, 2051, pp.77-92, 2001, Lecture Notes in Computer Science. <10.1007/3-540-45127-7_8> |
||
|
hal-01151339v1
Autre publication
Luigi Liquori, Dominique Colnet, Joelle Despeyroux. Action Miró/Mirho Guide de lecture La structure du document est la suivante\,: la section 3 présente les.. 2001 |
||
|
inria-00100858v1
Communication dans un congrès
Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Rewriting Calculus with(out) Types WRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. Elsevier, Electronic Notes in Theoretical Computer Science, 71, pp.3-19, 2002, <10.1016/S1571-0661(05)82526-5> |
||
|
hal-01152576v1
Communication dans un congrès
Daniel J. Dougherty, Frederic Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. University of Utrecht, Institute of Philosophy, Logic Group Preprint series, pp.6-25, Logic Group Preprint series |
||
|
hal-01534035v1
Pré-publication, Document de travail
Claude Stolze, Luigi Liquori. Towards an implementation of a logical framework based on intersection and union types 2017 |
||
|
hal-01488428v1
Rapport
Luigi Liquori, Claude Stolze. A Decidable Subtyping Logic for Intersection and Union Types [Research Report] Inria. 2017 |
||
|
hal-01153827v1
Chapitre d'ouvrage
Luigi Liquori. Bounded Polymorphism for Extensible Objects Types for Proofs and Programs - International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers, 1657, Springer Verlag, pp.149-165, 1999, Lecture Notes in Computer Science, <10.1007/3-540-48167-2_11> |
||
|
hal-01154656v1
Rapport
Davide Bacchiega, Danilo Gotta, Luigi Liquori, Rosalba Rossi. MOMIX-emSDH2. Simulatore di Agent di Element Manager SDH2.0 [Technical Report] DTR 97.0413, CSELT, Centro Studi e Laboratori Telecomunicazioni, Turin, Italy. 1997, pp.99 |
||
|
hal-01154622v1
Communication dans un congrès
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. Subtyping Constraints for Incomplete Objects TAPSOFT '97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings, Apr 1997, Lille, France. Springer Verlag, 1214, pp.465-477, 1997, Lecture Notes in Computer Science. <10.1007/BFb0030619> |
||
|
hal-01154560v1
Chapitre d'ouvrage
Luigi Liquori. On object extension ECOOP’98 — Object-Oriented Programming, 12th European Conference Brussels, Belgium, July 20–24, 1998 Proceedings, 1445, Springer Verlag, pp.498-522, 1998, Lecture Notes in Computer Science, <10.1007/BFb0054105> |
||
|
hal-01154568v1
Chapitre d'ouvrage
Luigi Liquori. An extended Theory of Primitive Objects: First order system ECOOP'97 — Object-Oriented Programming, 11th European Conference Jyväskylä, Finland, June 9–13, 1997 Proceedings, 1241, Springer Verlag, pp.146-169, 1997, Lecture Notes in Computer Science, <10.1007/BFb0053378> |
||
|
hal-01153772v1
Communication dans un congrès
Frederic Lang, Pierre Lescanne, Luigi Liquori. A framework for defining Object-Calculi [extended abstract] Jeannette M. Wing and Jim Woodcock and Jim Davies. FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II, Sep 1999, Toulouse, France. Springer Verlag, 1709, pp.963-982, 1999, Lecture Notes in Computer Science. <10.1007/3-540-48118-4> |
||
|
hal-01154663v1
Rapport
Davide Bacchiega, Danilo Gotta, Luigi Liquori, Marco Ramella Votta. Ipotesi evolutive del Sistema MOMIX per la Specifica e Qualificazione di Sistemi TMN. In Italian [Technical Report] DTR 98.0089, CSELT, Centro Studi e Laboratori Telecomunicazioni, Turin, Italy. 1998, pp.27 |
||
|
hal-01154180v1
Communication dans un congrès
Pietro Di Gianantonio, Furio Honsell, Luigi Liquori. A Lambda Calculus of Objects with Self-Inflicted Extension ACM SIGPLAN. Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA '98, Vancouver, BC, Canada, Oct 1998, Vancouver, BC, Canada. 33 Issue 10, pp.166--178, ACM SIGPLAN Notices. <10.1145/286936.286955> |
||
|
hal-01323974v2
Pré-publication, Document de travail
Luigi Liquori, Matteo Sereno. LogNet: Extending Internet with a Network Aware Discovery Service 2016 |
||
|
hal-01149867v1
Communication dans un congrès
Alberto Ciaffaglione, Luigi Liquori, Marino Miculan. Imperative Object-Based Calculi in Co-inductive Type Theories Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings, Sep 2003, Almaty, Kazakhstan. Springer Verlag, 2850, pp.59-77, 2003, Lecture Notes in Computer Science. <10.1007/978-3-540-39813-4_4> |
||
|
inria-00099411v1
Communication dans un congrès
Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. The rho cube : some results, some problems First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, Jul 2002, Copenhague, Denmark. 2002 |
||
|
hal-00909658v1
Autre publication
Luigi Liquori, Claudio Casetti, Mariangiola Dezani-Ciancaglini, Cosimo Anglano. Rapport final d'execution Le document contien le rapport finale d'éxecution du contrat INTERREG ALCOTRA myMed : un réseau .. 2013, pp.60 |
||
|
hal-00906823v2
Communication dans un congrès
Vincenzo Ciancaglini, Rossano Gaeta, Riccardo Loti, Luigi Liquori. Interconnection of large scale unstructured P2P networks: modeling and analysis Alexander Dudin and Koen De Turck. ASMTA - 20th International Conference on Analytical and Stochastic Modelling and Applications - 2013, Jul 2013, Gent, Belgium. Springer Verlag, 7984, pp.183-197, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-39408-9_14> |
||
|
inria-00099308v1
Rapport
Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Matching Power [Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p |
||
|
hal-00909692v1
Rapport
Petar Maksimovic, Thuriez Sebastien, Luigi Liquori. A Secure Protocol for Tracking Customer Flow [Contract] INRIA Sophia-Antipolis Méditerranée, équipe LOGNET. 2012, (rapport final) 60 p. + (appendix) 15 p |
||
|
hal-00906835v1
Communication dans un congrès
Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan. A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks 28th Annual ACM Symposium on Applied Computing, SAC 13, Coimbra, Portugal, ACM press, 2013., Mar 2013, coimbra, Portugal. ACM, pp.649-651, 2013, <10.1145/2480362.2480485> |
||
|
|
||