CV and Publication List
(including Software)

 


Extended Curriculum Vitae : GET-IT!

Statut et Coordonnées

Nom : Liquori
Prénom : Luigi
Âge/Lieu : 46 ans, né le 9 Août 1964 à Pescara (Région Abruzzes, Italie)
Situation Familiale : Célibataire
Statut : Chargé de Recherche Inria, 1er Classe, H.D.R., Ph.D.
Équipe de Recherche : LogNet, Inria Sophia Antipolis Méditerranée
Addresse Professionnelle : INRIA Sophia Antipolis Méditerranée, 2004, Route des Lucioles, B.P. 93, F-06902 Sophia Antipolis Cedex - France
Email : Luigi.Liquori@sophia.inria.fr
WWW perso: http://www-sop.inria.fr/members/Luigi.Liquori
WWW equipe : http://www.inria.fr/recherche/equipes/lognet.en.html
Addresse Personnelle : 30, Bd. Président Wilson, F-06600, Antibes, France
Voix :
Professionnelle : +33 4 92 38 71 93
Personnelle : +33 4 93 67 09 72
Gsm : +33 6 78 35 80 88


Mobilité Géographique

Les sites visités pour au moins un an : Université de Udine (diplôme et post-doc) ; Université de Turin (DEA et Ph.D.) ; CSELT (Centro Studi e Laboratori Telecomunicazioni), (actuellement Telecom Italia Labs), Turin (ingénieur télécom) ; École Normale Supérieure de Lyon (ATER) ; École Nationale Supérieure des Mines de Nancy (Maître de conférences), puis Chargé de Recherche 1er classe INRIA Nancy Grand Est ; INRIA Sophia Antipolis Méditerranée.

Cursus vitæ

Diplomas/Studies/Positions Year Where
Habilitation Thesis (H.d.R.) in Computer Science 2007 Institut National Politechnique Lorrain (INPL), France
Full Time Researcher (CR1) 2001- —– INRIA Lorraine Nord-Est & Sophia Antipolis Méditerranée, France
Lecturer (MdC 1C) 1999-2001 École Nationale Supérieure des Mines de Nancy (ENSMN), France
Temporary Lecturer 1998-1999 École Normale Supérieure de Lyon (ENSL), France
Post-Doctoral 1997-1998 University of Udine, Italy
Software Engineer 1996-1997 CSELT (now Telecom Italia Labs), Turin, Italy
Mathematical and Computer Science teacher 1995-1996 Scientific college Sommelier, Turin, Italy
Ph.D. in Computer Science 1992-1996 University of Turin, Italy
Mathematical teacher 1991-1992 Scientific college Galilée, Tarvisio, Italy
Computer graphics teacher 1990-1991 Non-military national service, Udine, Italy
Master (Tesi di Laurea) in Computer Science 1990 University of Udine, Italy

Publications

Type # Journals, conferences and workshops
International journals with anonymous referee process (other journal-size papers are marked in bold of next item) 12 Transaction on Programming Languages ans Systems (TOPLAS), Annals of Pure and Applied Logics (APAL), Future Generation Computer Systems (FGCS), Journal of Logic and Computation (JLC), Information and Computation (IC), Theoretical Computer Science (TCS), Journal of Automated Reasoning (JAR), Mathematical Structures in Computer Systems (MSCS), Fundamenta Informaticae
International conferences and workshops with anonymous referee process (few “journal-size” conference papers are marked in bold) 41 ACM-SIGACT-SIGPLAN-POPL,ACM-SIGPLAN-OOPSLA, ECOOP×2, MIT-JICSLP, IFIP-NETWORKING×2, ACM-SIGPLAN-PPDP, MFCS, CSL, FOSSACS, LFCS, FM, TAPSOFT/CAAP, LPAR×3, TYPES, ASIAN, TGC×2, I2CS, IEEE-JVA, ARCS, IEEE-TOOLS, ACM-SIGPLAN-MERLIN, WRLA, WRS, WESTAPP, GULP-PRODE, ATSC, TERMGRAPH, ITRS, WWV, DCM, IEEE-ISCC
Nat. Conf./Workshops with anony. ref. 4 JFLA, SISFORM
International Workshops (no proc.) 4 RHO, TYPES, FUN, ATSC
Research Rep./Deliverables/Misc 7 INRIA, UNIUD, UNITO, IST-FET-FP6
Software and Reference Manuals 8 Momix©CSELT, {Snake,Arigatoni,Ariwheels,jSynapse,CarPal}©INRIA
Submitted/Unpublished 13 AdBis
Thesis 3 Habilitation Thesis, Ph.D. Thesis, Master Thesis
Teaching Material/Course Notes 11 ENSM Nancy, ENS Lyon, Sussex University, Turin University, Universidad Politécnica de Valencia

Enseignements

Intitulé Année Effectif Public : 1er=Bac+3 Répartition
      1er 2ème 3ème DEA/M2 Cours TD Conf.
Master U. Salerno P2P 09-10 ??       × 20h    
Master MISMFSI P2P 09-10 30       × 20h    
Master UBINET P2P UNSA 09-10 20       × 9h    
FIT P2P Novi Sad 09 30       × 9h    
ENSL@Sophia OOP 08-09 15   ×     24h    
Master RSD P2P UNSA 08-09  7       × 9h    
USUSX CoCo 03-04 15     ×   15h 10h  
USUSX Fun 03-04 35 ×       15h 10h  
ESSLLI RHO Nancy 04 20       × 12h    
DEA Math UNSA 03-04  4       × 9h    
ENSMN SI 151 01-02 21     ×   22h   13h
DEA IEAM Nancy 01-02  9       × 10h    
ENSMN SI 151 00-01 15     ×   27h   18h
ENSMN SI 142 00-01 31   ×     35h   10h
ENSMN TCS 23 00-01 14 ×         61h  
ENSMN Proj+Stages 00-01  7   × ×     40h  
ENSMN SI 131 00-01 33   ×     7h    
DEA IEAM Nancy 00-01 16       × 10h    
ENSMN SI 151 99-00 17     ×   27h   18h
ENSMN SI 142 99-00 32   ×     45h    
ENSMN SI 131 99-00 34   ×     9h 8h  
ENSMN SI 153 99-00 17     ×   6h    
ENSMN TCS 23 99-00 14 ×         61h  
ENSMN Proj+Stages 99-00 11 × × ×     47h  
ENSL POOGL 98-99 37 × ×     48h 32h  
ENSL RLC 98-99 14   ×     6h 26h  
LSP 96-97 50     ×   20h 30h  
LYCÉE 96-97 51         225h    
LYCÉE 91-92 80         231h    
FORM CONTINUE 91-92 30           160h  


1  Références

Note.

Toutes les publications (si pas marqué en clair) sont dans des journaux, congrès, ateliers, “Internationaux, issus de sélections et comité de lecture avec actes”, aussi je me permets de ne pas reprendre cette information dans chacune des rubriques. La majorité de mes articles est disponible en format Postscript/PDF sur :
http://www-sop.inria.fr/members/Luigi.Liquori/PAPERS/




(X%)  = Taux d'acceptation (si disponible)

1.1  International Journals

  1. Invited  D. Borsetti, C. Casetti, C. F. Chiasserini and L. Liquori. Content Discovery in Heterogeneous Mobile Networks. Heterogeneous Wireless Access Networks: Architectures and Protocols, E. Hossain editor, pages 419–441, Springer-Verlag, book chapter, 2008. GET-IT!

  2. L. Liquori, A Spiwack. FeatherTrait: A Modest Extension of Featherweight Java. ACM Transaction on Programming Languages and Systems, 30(2), ACM Press, 2008. GET-IT!

  3. Invited  L. Liquori, A Spiwack. Extending FeatherTrait Java with Interfaces. In Calculi, Types and Applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca. Theoretical Computer Science, 398(1-3), pages 243–260, Elsevier, 2008. GET-IT!

  4. Selected  R. Chand, M. Cosnard, L. Liquori. Powerful Resource Discovery for Arigatoni Overlay Network. Future Generation Computer Systems, 24(1), pp 31–38, Elsevier, 2008. GET-IT!

  5. L. Liquori, B. Serpette. iRho: An Imperative Rewriting-calculus. Mathematical Structures in Computer Science, 18, Cambridge University Press, 2008. GET-IT!

  6. L. Liquori and S. Ronchi della Rocca. Intersection-Types à la Church. Information and Computation, 205(9), pages 1371–1386, Elsevier, 2007. GET-IT!

  7. Invited  F. Honsell, M. Lenisa, and L. Liquori. A Framework for Defining Logical Frameworks. In Computation, Meaning and Logic. Articles dedicated to Gordon Plotkin. Electronic Notes in Theoretical Computer Science, pages 399–436, Elsevier, 2007. GET-IT!

  8. A. Ciaffaglione, L. Liquori, and M. Miculan. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. Journal of Automated Reasoning, 39(1), pages 1-47, Kluwer Academic Publishers, 2007. GET-IT!

  9. P. Lescanne, L. Liquori, and D. Dougherty. Addressed Term Rewriting Systems: Application to a Typed Object Calculus. Mathematical Structures in Computer Science, 16(4), pages 667-709, Cambridge University Press, 2006. GET-IT!

  10. M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli. Object Calculi in Linear Logic. Journal of Logic and Computation, 10(1), pages 75–104, Oxford University Press, 2000. GET-IT!

  11. V. Bono, M. Bugliesi, M. Dezani, and L. Liquori. A Subtyping for Extendible, Incomplete Objects. Fundamenta Informaticae, 38(4), pages 325–364, IOS Press, 1999. GET-IT!

  12. S. van Bakel, L. Liquori, S. Ronchi della Rocca, and P. Urzyczyn. Comparing Cubes of Typed and Type Assignment Systems. Annals of Pure and Applied Logic, 86(3), pages 267–303, Elsevier / North Holland, 1997. GET-IT!

1.2  International Conferences / Workshops


Note. We decide to put 6 “journal-size” papers in this section. The DCM'06, TERMGRAPH'04, WRLA'04, and WRS'03 items are published in Electronic Notes in Computer Science, but they are definitively journal versions; The ECOOP-97-98 international conference accepts 25 pages long camera ready; it is defacto considered as a journal.
  1. New!  V. Ciancaglini, L. Liquori and L. Vanni. CarPal : interconnecting overlay networks for a community-driven shared mobility, In Proc. of TGC'10. International Symposium on Trustworthy Global Computing, Munich, Germany. Lecture Notes in Computer Science, Springer-Verlag, to appear, 2010. GET-IT!

  2. New!  D. Dougherty and L. Liquori. Logic and computation in a lambda calculus with intersection and union types, In Proc. of LPAR'10. Logic for Programming, Artificial Intelligence, and Reasoning, Dakar, Senegal, Lecture Notes in Computer Science, Springer-Verlag, to appear, 2010. GET-IT!

  3. New!  L. Liquori, C. Tedeschi, L. Vanni, F. Bongiovanni, V. Ciancaglini and B. Marinkovic. Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks, In Proc. of IFIP Networking'10. International Conferences on Networking., Chennai, India Lecture Notes in Computer Science, Springer-Verlag, to appear, 2010. GET-IT!

  4. L. Liquori, C. Tedeschi and F. Bongiovanni. Babelchord: a social tower of DHT-based overlay networks. In Proc. of IEEE ISCC'09. Symposium on Computers and Communications, Sousse, Tunisie. IEEE Computer Society, pages 307-312, 2009. GET-IT!

  5. 27%  F. Honsell, M. Lenisa, and L. Liquori, and I. Scagnetto. A Conditional Logical Framework. In Proc. of LPAR'08. Logic for Programming, Artificial Intelligence, and Reasoning, Doha, Qatar, Lecture Notes in Computer Science 5330, pages 143–157, Springer-Verlag, 2008. GET-IT!

  6. L. Liquori, D. Borsetti, C. Casetti, and C. F. Chiasserini. An Overlay Architecture for Vehicular Networks. In Proc. of IFIP Networking'08. International Conferences on Networking., Singapore. Lecture Notes in Computer Science, 4982, pages 60–71, Springer-Verlag, 2008. GET-IT!

  7. 39%  L.  Liquori and M. Cosnard. Logical Networks: Towards Foundations of Programmable Overlay Networks and Overlay Computing Systems. In Proc. of TGC'07. International Symposium on Trustworthy Global Computing, Sophia-Antipolis, France. Lecture Notes in Computer Science, 4912, Springer-Verlag, 2008. GET-IT!

  8. M. Cosnard and L. Liquori. Weaving Arigatoni with a graph topology: In Proc. of ADVCOMP-07. International Conference on Advanced Engineering Computing and Applications in Sciences, 8 pages, IEEE Computer Society, 2007. GET-IT!

  9. 24%  R. Chand, M. Cosnard, and L. Liquori. Improving Resource Discovery in the Arigatoni Overlay Network. In Proc. of ARCS'07: 20th International Conference on Architecture of Computing Systems System Aspects in Pervasive and Organic Computing, Lecture Notes in Computer Science, 4415, pages 98–111, Springer-Verlag, 2007. GET-IT!

  10. 46%  D. Benza, M. Cosnard, L. Liquori, and M. Vesin. Arigatoni: A Simple Programmable Overlay Network. In Proc. of JVA'06, John Vincent Atanasoff International Symposium on Modern Computing, Sofia, Bulgaria, pages 82–91, IEEE Computer Society, 2006. GET-IT!

  11. 32%  R. Chand, M. Cosnard, and L. Liquori. Resource Discovery in the Arigatoni Overlay Network. In Proc. of I2CS'06, International Workshop on Innovative Internet Community Systems, Neuchatel, Switzerland. Lecture Notes in Computer Science, 13 pages, to appear, Springer Verlag, 2007. GET-IT!

  12. 53%  M. Cosnard, L. Liquori, and R. Chand. Virtual Organizations in Arigatoni. In Proc. of DCM'06, 3rd International Workshop on Developments in Computational Models, Venice, Italy. Electronic Notes in Theoretical Computer Science, 171(3), pages 55–75, Elsevier, 2007. 20 pages = journal version  GET-IT!

  13. L. Liquori and F. Honsell, and R. Redamalla. A Language for Verification and Manipulation of Web Documents: (Extended Abstract). In Proc. of WWV'05, 1st International Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain. Electronic Notes in Theoretical Computer Science, 157(2), pages 67–78, Elsevier, 2006. GET-IT!

  14. 55%  L. Liquori. iRho: the Software (System Description). In Proc. of DCM'05, 2nd International Workshop on Developments in Computational Models, Lisbon, Portugal. Electronic Notes in Theoretical Computer Science, 135(3), pages 85–96, Elsevier, 2006. GET-IT!

  15. L. Liquori and S. Ronchi della Rocca. Towards an Intersection Typed System à la Church. In Proc. of ITRS'04, Workshop on Intersection Types and Related Systems. Electronic Notes in Theoretical Computer Science, 136, pages 43–56, Elsevier, 2005. GET-IT!

  16. D. Dougherty, P. Lescanne, L. Liquori, and F. Lang. Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. In Proc. of TERMGRAPH'04, 2nd International Workshop on Term Graph Rewriting. Electronic Notes in Theoretical Computer Science, 127(5), pages 57–82, Elsevier, 2005. 25 pages = journal version  GET-IT!

  17. 47%  L. Liquori and B. P. Serpette. An Imperative Rewriting Calculus. In Proc. of PPDP'04, 6th ACM SIGPLAN Conference on Principle and Practice of Declarative Programming. Verona, Italy, pages 167–179, The ACM Press, 2004. GET-IT!

  18. L. Liquori and B. Wack. The Polymorphic Rewriting Calculus [Type Checking vs. Type Inference]. In Proc. of WRLA'04, 6th International Workshop on Rewriting Systems and Applications. Barcelona, Spain. Volume 117, pages 89-111 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. 22 pages = journal version  GET-IT!

  19. Invited  H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. Rewrite Strategies in the Rewriting Calculus. In Proc. of WRS'03, 3rd International Workshop on Reduction Strategies in Rewriting and Programming, Valencia, Spain. Electronic Notes in Theoretical Computer Science, 86(4), pages 593-624, Elsevier, 2005. 31 pages = journal version  GET-IT!

  20. A. Ciaffaglione, L. Liquori, and M. Miculan. Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax. In Proc. of MERLIN'03, 2nd ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding. Uppsala, Sweden. The ACM Digital Library, 2003. GET-IT!

  21. Selected  H. Cirstea, L. Liquori, and B. Wack: Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. In Proc. of Types '03, International Workshop on Types for Proof and Programs. Turin, Italy. Lecture Notes in Computer Science 3085, pages 147-161, Springer Verlag, 2003. GET-IT!

  22. 41%  A. Ciaffaglione, L. Liquori, and M. Miculan. Imperative Object-based Calculi in (Co)Inductive Type Theories. In Proc. of LPAR'03, 10th International Conference on Logic for Programming Artificial Intelligence and Reasoning. Almaty, Kazakhstan. Lecture Notes in Computer Science 2850, pages 59–77, Springer Verlag, 2003. GET-IT!

  23. 35%  G. Barthe, H. Cirstea, C. Kirchner, and L. Liquori. Pure Pattern Type Systems. In Proc. of POPL'03, 30th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages. New Orleans, LA, USA, pages 250–261, The ACM Press, 2003. GET-IT!

  24. Invited  H. Cirstea, C. Kirchner, and L. Liquori. Rewriting Calculus with(out) Types. In Proc. of WRLA'02, 4th International Workshop on Rewriting Systems and Applications. Pisa, Italy. Volume 71 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. GET-IT!

  25. H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. The Rho Cube: Some Results, Some Problems. In Proc. of HOR'02, 1th International Workshop on Higher-Order Rewriting, Copenhagen, Denmark, Electronic proceedings in http://hor.pps.jussieu.fr/02/proc/proc.ps, 2002. GET-IT!

  26. 39%  H. Cirstea, C. Kirchner, and L. Liquori. The Rho Cube. In Proc. of FOSSACS'01, 4th International Conference on Foundations of Software Science and Computation Structures. Genova, Italy. Lecture Notes in Computer Science 2051, pages 77–92, Springer Verlag, 2001. GET-IT!

  27. 28%  H. Cirstea, C. Kirchner, and L. Liquori. Matching Power. In Proc. of RTA'01, 12th International Conference on Rewriting Techniques and Applications. Utrecht, The Netherlands. Lecture Notes in Computer Science 2030, pages 168–183, Springer Verlag, 2001. GET-IT!

  28. F. Lang, P. Lescanne, L. Liquori, D. Dougherty, and K. Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems (extended abstract). In Proc. of WESTAPP'01, 4th International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs. Utrecht, The Netherlands. Logic Group Preprint series No 210, pages 6–25. Printed by the University of Utrecht, 2001. GET-IT!

  29. 64%  D. Colnet and L. Liquori. Match-O, a Statically Safe (?) Dialect of Eiffel. In Proc. of IEEE-TOOLS '00, 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia. pages 190–201, IEEE Computer Society, 2000. GET-IT!

  30. 35%  F. Lang, P. Lescanne, and L. Liquori. A Framework for Defining Object-Calculi. In Proc. of FM'99, World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France. Lecture Notes in Computer Science 1709, pages 963–982, Springer Verlag, 1999. GET-IT!

  31. Selected  L. Liquori. Bounded Polymorphism for Extensible Objects. In Proc. of Types'98, International Workshop on Types for Proof and Programs. Kloster Irsee, Germany. Lecture Notes in Computer Science 1657, pages 149–163. Springer Verlag, 1999. GET-IT!

  32. 18%  P. Di Gianantonio, F. Honsell, and L. Liquori. A Lambda Calculus of Objects with Self-Inflicted Extension. In Proc. of ACM-SIGPLAN OOPSLA'98, International Symposium on Object Oriented, Programming, System, Languages and Applications. Vancouver, Canada. 33(10), pages 166–178, ACM Press, 1998. GET-IT!

  33. 19%  L. Liquori. On Object Extension. In Proc. of ECOOP'98, 12th European Conference on Object Oriented Programming, Brussels, Belgium. Lecture Notes in Computer Science 1445, pages 498-552, Springer-Verlag, 1998. 25 pages = journal version  GET-IT!

  34. 19%  L. Liquori. An Extended Theory of Primitive Objects: First Order System. In Proc. of ECOOP'97, 11th European Conference on Object Oriented Programming, Jyvaskyla, Finland. Lecture Notes in Computer Science 1241, pages 146–167, Springer-Verlag, 1997. 25 pages = journal version  GET-IT!

  35. 38%  V. Bono, M. Bugliesi, M. Dezani, and L. Liquori. Subtyping Constraints for Incomplete Objects. In Proc. of TAPSOFT'97, 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development, Lille, France. Lecture Notes in Computer Science 1214, pages 465–477, Springer-Verlag, 1997. GET-IT!

  36. 18%  L. Liquori and G. Castagna. A Typed Lambda Calculus of Objects. In Proc. of ASIAN'96, 2nd International Conference on Concurrency and Parallelism, Programming, Networking, and Security, Singapore. Lecture Notes in Computer Science 1212, pages 129–141, Springer-Verlag, 1996. GET-IT!

  37. 28%  M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli. A Linear Logic Calculus of Objects. In Proc. of JICSLP'96, Joint International Conference and Symposium on Logic Programming, Bonn, Germany. pages 79–94, The MIT Press, 1996. GET-IT!

  38. 38%  V. Bono, M. Bugliesi, and L. Liquori. A Lambda Calculus of Incomplete Objects. In Proc. of MFCS'96, 21st International Symposium of Mathematical Foundation of Computer Science, 1996, Cracovie, Poland. Lecture Notes in Computer Science 1113, pages 218–229, Springer-Verlag, 1996. GET-IT!

  39. 25%  V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In Proc. of CSL'94, 8th International Conference of Computer Science Logic, Kazimierz, Poland. Lecture Notes in Computer Science 933, pages 16–30, Springer-Verlag, 1995. GET-IT!

  40. S. van Bakel, L. Liquori, S. Ronchi della Rocca, and P. Urzyczyn. Comparing Cubes. In Proc. of LFCS'94. 3rd International Symposium on Logical Foundations of Computer Science, St. Petersbourg, Russia. Lecture Notes in Computer Science 813, pages 353–365, Springer-Verlag, 1994. GET-IT!

  41. L. Liquori and M.L. Sapino. Dealing with Explicit Exceptions, In Proc. of Joint Conference on Declarative Programming, Gulp-Prode'94, Peniscula, Spain. SPUPV-94.2046, pages 296–308, Printed by the University of Valencia, 1994. GET-IT!

1.3  National Conferences / Workshops

  1. H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. Polymorphic Type Inference for the Rewriting Calculus. In Proc. of JFLA'06, 17ème Journées Francophones des Langages Applicatifs, Pauillac, France, pages 57–69, Édition INRIA, 2006. GET-IT!

  2. 63%  P. Di Gianantonio, L. Liquori, and F. Honsell. A Lambda Calculus of Objects with Self-Inflicted Extension (extended abstract). In Proc. of SisForm'98, 1st Workshop sui Sistemi Formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione del Software, Rome, Italy, SI-98/11, pages 39–40, Printed by the University of Rome I La Sapienza, 1998.

  3. L. Liquori. Diamond Types for Extendible Objects. At FUN'98, Fourth Italian Workshop on Functional Programming, Como, Italy, 1998.

  4. L. Liquori and M. L. Sapino. Operational and Denotational Semantics for a Logic Language with explicit Exceptions. In FUN'95, First Italian Workshop on Functional Programming, Bologna, Italy, 1995.

1.4  International Workshops (no proceedings)

  1. F. Honsell, M. Lenisa, and L. Liquori. A Framework for Defining Logical Frameworks. At Rho-06, 3rd Workshop on the Rewriting Calculus, Kings College, London, UK. http://rho.loria.fr/workshop2006.html, 2006.

  2. L. Liquori. Some Progress in the SW iRho. At 2nd Workshop on the Rewriting Calculus, LIX, Paris, France, http://rho.loria.fr/workshop2005.html, 2005.

  3. L. Liquori and A. Spiwack. OhML. (The “Zen Essence” of Methods-as-Functions). At Types'04, International Workshop on Types for Proof and Programs. LIX Palaiseau, Paris, France, http://types2004.lri.fr/index.html, 2004.

  4. L. Liquori. A Typed Axiomatic Object Calculus with Subtyping. At ATSC'95, Workshop on Advances In Type Systems For Computing, Newton Institute, Cambridge, UK, http://www.seas.upenn.edu/~sweirich/types/archive/1996/msg00006.html, 1995.

1.5  Research Reports not Published Elsewhere / Deliverables / Miscellaneous

  1. L. Liquori. LogNet. Logical Networks: Self-organizing Overlay Networks and Generic Overlay Computing Systems. Proposition d'Équipe-Projet INRIA, V2, 2010.

  2. H. Cirstea, E. Coquery, W. Drabent, F. Fages, C. Kirchner, L. Liquori, B. Wack, and A. Wilk. Types for REWERSE reasononing and query language. REWERSE Network of Excellence. Deliverable I3-D4, 2005.

  3. L. Liquori. Book Review: Formal Methods for Open Object-Based Distributed Systems. The Computer Journal, 46(6). Oxford University Press - British Computer Society, 2003.

  4. L. Liquori & the Miró Team. Miró: Systèmes à Objets, Types et Prototypes : Sémantique et Validation, Proposition de Projet INRIA, V1.3, 58 pages, in French, http://www-sop.inria.fr/interne/vie/comites/cp/AvantProjets/Miro/MiroV1.3.ps.gz, 2002.

  5. L. Liquori & the Miró Team. Miró: Systèmes à Objets, Types et Prototypes : Sémantique et Validation, Rapport d'activité INRIA, http://www.inria.fr/rapportsactivite/RA2001/miro/miro_tf.html, 2001-2002-2003.

  6. L. Liquori. Playing with Diamonds. Research Report, Dipartimento di Matematica ed Informatica, University of Udine, Italy, 1998.

  7. L. Liquori. An Extended Theory of Primitive Objects : First and Second Order Systems. Research Report CS-23-96, Dipartimento di Matematica ed Informatica, University of Turin, Italy, 1996.

1.6  Software and Reference Manuals

  1.   V. Ciancaglini, L. Liquori and L. Vanni. CarPal : an implementation of the CarPal overlay network, http://www-sop.inria.fr/lognet/carpal, 2010.

  2. L. Vanni, L. Liquori and V. Ciancaglini. jSynapse: an implementation of the Synapse protocol. http://www-sop.inria.fr/lognet/synapse/jSynapse, 2010.

  3. D. Borsetti, L. Liquori, C. Casetti, and C. F. Chiasserini. Ariwheels: Un Simulateur des protocoles Arigatoni et MANET. http://www-sop.inria.fr/members/Luigi.Liquori/ARIGATONI/Ariwheels.html, 2008.

  4. R. Chand, L. Liquori, and M. Cosnard. Arigatoni: Un Simulateur des protocoles de l'overlay Arigatoni. http://www-sop.inria.fr/members/Luigi.Liquori/ARIGATONI/index.html, 2007.

  5. L. Liquori. Snake: The First Ascii-Oriented Script Language Based on the Original Screenplay of the Imperative Rewriting Calculus V1.1, http://www-sop.inria.fr/members/Luigi.Liquori/Snake, 2005.

  6. L. Liquori and B. Serpette. iRho: interpreter and type checker, and proof certification. http://www-sop.inria.fr/members/Luigi.Liquori/iRho, 2004.

  7. D. Bacchiega, D. Gotta, L. Liquori, M. Porta, and M. Ramella Votta. Ipotesi evolutive del Sistema MOMIX per la Specifica e Qualificazione di Sistemi TMN. In Italian. Technical Report DTR 98.0089, 27 pages, CSELT, Centro Studi e Laboratori Telecomunicazioni (now Telecom Italia Labs), Turin, Italy, 1998.

  8. D. Bacchiega, D. Gotta, L. Liquori, and R. Rossi. MOMIX-emSDH2. Simulatore di Agent di Element Manager SDH2.0. Versione 2.2.3. Manuale Utente e Guida di Riferimento. In Italian. Technical Report DTR 97.0413, 99 pages, CSELT, Centro Studi e Laboratori Telecomunicazioni (now Telecom Italia Labs), Turin, Italy, 1997.

1.7  Submitted/Unpublished

  1. New!  B. Marinkovic, L. Liquori and Z. Ognjanovic. A Distributed Catalog for Digitized Cultural Heritage, Manuscript, submitted, 2010.

  2. P. Nain, C. Casetti, and L. Liquori. A Stochastic Model of an Arigatoni Overlay Computer, Manuscript, 2007.

  3. L. Liquori and P. Zimmer. Rhom: a calculus for context-awareness, Manuscript, 2007.

  4. C. Bertolissi, H. Cirstea, G. Faure, C. Kirchner, L. Liquori, and B. Wack. The Rewriting Calculus. Book Manuscript, 2007.

  5. L. Liquori. On Demand Type Systems (How to plug *your* own type system in *our* virtual machine!), Manuscript, 2007.

  6. S. Fechter, L. Liquori, and T. Hardin. Mini-Foc: A Kernel Calculus for Certified Computer Algebra [Ongoing Work], Manuscript, 2006.

  7. L. Liquori and A. Spiwack. An Object-Oriented Logical Framework [Preliminary Report], Manuscript, 2005.

  8. L. Liquori and A. Spiwack. OhML. (The “Zen Essence” of Methods-as-Functions), Manuscript, 2005.

  9. A. Ciaffaglione, P. Di Gianantonio, L. Liquori, and F. Honsell. Foundations for Dynamic Objet Reclassifications, Extended version of OOPSLA'98, Manuscript, 2006.

  10. L. Liquori and G. Castagna. A Typed Lambda Calculus of Objects. Extended version of ASIAN'96, Manuscript, 2000.

  11. L. Liquori. The Deep Blue Calculus, Manuscript, 1998.

1.8  Thesis

  1. L. Liquori. Peter, le langage qui n'existe pas ... (Peter, the language that does not exists ...), Habilitation Thesis, 108 pages, In French and English, Institut National Politechnique de Lorraine (INPL). Jury: Prof. Gilles Dowek (LIX, Rapporteur), Prof. Robert Harper (CMU, USA, Rapporteur), Prof. Kim Bruce (Pomona College, USA, Rapporteur), Magnifico Rettore Furio Honsell (U. Udine, IT, Président), D.R. Claude Kirchner (INRIA Lorraine), Prof. Pierre Lescanne (ENS Lyon), Prof. Jacques Jaray (ENSM Nancy), D.R. Michael Rusinowitch (INRIA Lorraine), Dr. Horatiu Cirstea (Nancy II), Nancy, http://www-sop.inria.fr/members/Luigi.Liquori/HDR/Peter.Pan.html, 2007. GET-IT!

  2. L. Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. Ph.D. Thesis, 193 pages, in English and Italian, Department of Computer Science, University of Turin, Italy, 1996. GET-IT!

  3. L. Liquori. Semantica e Pragmatica di un Linguaggio Funzionale con le Continuazioni Esplicite, Ms.D. Thesis, 74 pages, in Italian, Department of Mathematics and Computer Science, University of Udine, Italy, 1990.

1.9  Teaching Material / Course Notes

  1. L. Liquori. Structured peer-to-peer overlay networks. Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información, Universidad Politécnica de Valencia, Espagne, 2010.

  2. L. Liquori. Overlay and P2P networks. Summer Schools on Foundations of Information Technologies, FIT, Novi Sad, Serbia, 2009.

  3. L. Liquori. The rewriting calculus (with Claude Kirchner and Horatiu Cirstea). 16th European Summer School in Logic, Language and Information, ESSLLI, Nancy, France, 2004.

  4. L. Liquori. Functional Programming. G5031, Course Slides, University of Sussex, Brighton, UK, 2004.

  5. L. Liquori. Computability and Complexity. G5003, Course Slides, University of Sussex, Brighton, UK, 2004.

  6. L. Liquori. A Brief Introduction to Corba. Course Notes SI 131: Conception d'architectures logicielles. École des Mines de Nancy, France, 1999-2000.

  7. L. Liquori. On Object Calculi. Course Notes SI 142: Fondements de l'algorithmique et de la programmation. École des Mines de Nancy, France, 1999-2000.

  8. L. Liquori. Les Langages ASN.1 et GDMO. Course Notes SI 151 : Réseaux et télécommunications. École des Mines de Nancy, France, 1999-2000.

  9. L. Liquori. Le Bug de Java. Course Notes SI 153: Sûreté des systèmes informatiques. École des Mines de Nancy, France 1999-2000.

  10. L. Liquori and K. Tombre. On C++ Compilers. Course Notes SI 131: Conception d'architectures logicielles. École des Mines de Nancy, France, 1999-2000. GET-IT!

  11. L. Liquori. An Introduction to SmallTalk. Course Notes POOGL: Programmation à Objets et Génie Logiciel, École Normale Supérieure de Lyon, France, 1998-1999.
This document was translated from LATEX by HEVEA.