Publications of L. Liquori
BACK TO COATI PUBLICATION INDEX
Publications of L. Liquori
-
L. Liquori.
Peter, le langage qui n'existe pas... (Peter, the language that does not exists...).
Habilitation à Diriger des Recherches,
Institut National Polytechnique de Lorraine (INPL),
6 Juillet 2007.
[PDF
] [bibtex-entry]
-
L. Liquori.
Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects.
Ph.D. Thesis, 193 pp.,
University of Turin,
October 1996.
[POSTSCRIPT
] [bibtex-entry]
-
R. Chand,
M. Cosnard,
and L. Liquori.
Powerful resource discovery for Arigatoni overlay network.
Future Generation Computer Systems,
24:31--38,
2008.
[WWW
] [PDF
] [bibtex-entry]
-
A. Ciaffaglione,
L. Liquori,
and M. Miculan.
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.
JAR, Journal of Automated Reasoning,
39:1--47,
2007.
[PDF
] [bibtex-entry]
-
F. Honsell,
M. Lenisa,
and L. Liquori.
A Framework for Defining Logical Frameworks.
Electronic Notes in Theoretical Computer Science,
172:399 - 436,
2007.
Note: Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin.
[WWW
] [PDF
] [Abstract] [bibtex-entry]
-
L. Liquori and S. Ronchi Della Rocca.
Intersection Typed System it à la Church.
IC, Journal of Information and Computation,
205(9):1371--1386,
September 2007.
[WWW
] [PDF
] [bibtex-entry]
-
D. J. Dougherty,
P. Lescanne,
and L. Liquori.
Addressed Term Rewriting Systems: Application to a Typed Object Calculus.
Journal of Mathematical Structures in Computer Science,
16(4):667--709,
2006.
[PDF
] [bibtex-entry]
-
D. J. Dougherty,
P. Lescanne,
L. Liquori,
and F. Lang.
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.
TERMGRAPH: International Workshop on Computing with Terms and Graphs. Electr. Notes Theor. Comput. Sci.,
127(5):57--82,
2005.
[POSTSCRIPT
] [bibtex-entry]
-
L. Liquori and S. Ronchi Della Rocca.
Towards an Intersection Typed System it à la Church.
ITRS: Workshop on Intersection Types and Related Systems. Electr. Notes Theor. Comput. Sci.,
136:43--56,
2005.
[POSTSCRIPT
] [bibtex-entry]
-
L. Liquori and B. Wack.
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference].
WRLA: International Workshop on Rewriting Logic and its Applications. Electr. Notes Theor. Comput. Sci.,
117:89--111,
2005.
[POSTSCRIPT
] [bibtex-entry]
-
H. Cirstea,
C. Kirchner,
L. Liquori,
and B. Wack.
Rewrite strategies in the Rewriting Calculus.
WRS, International Workshop on Reduction Strategies in Rewriting and Programming. Electr. Notes Theor. Comput. Sci.,
86(4),
2003.
[POSTSCRIPT
] [bibtex-entry]
-
H. Cirstea,
C. Kirchner,
and L. Liquori.
Rewriting Calculus with(out) Types.
WRLA, International Workshop on Rewriting Logic and its Applications. Electr. Notes Theor. Comput. Sci.,
71,
2002.
[POSTSCRIPT
] [bibtex-entry]
-
M. Bugliesi,
G. Delzanno,
L. Liquori,
and M. Martelli.
Object Calculi in Linear Logic.
Journal of Logic and Computation,
10(1):75--104,
2000.
[POSTSCRIPT
] [bibtex-entry]
-
V. Bono,
M. Bugliesi,
M. Dezani-Ciancaglini,
and L. Liquori.
Subtyping for Extensible, Incomplete Objects.
Fundamenta Informaticae,
38(4):325--364,
1999.
[POSTSCRIPT
] [bibtex-entry]
-
S. van Bakel,
L. Liquori,
S. Ronchi della Rocca,
and P. Urzyczyn.
Comparing Cubes of Typed and Type Assignment System.
Annals of Pure and Applied Logics,
86(3):267--303,
1997.
[POSTSCRIPT
] [bibtex-entry]
-
R. Chand,
L. Liquori,
and M. Cosnard.
Improving Resource Discovery in the Arigatoni Overlay Network.
In 20th International Conference on Architecture of Computing Systems (ARCS 2007),
volume 4415 of Lecture Notes in Computer Science,
Zurich, Switzerland,
pages 98--111,
2007.
Springer.
[PDF
] [bibtex-entry]
-
M. Cosnard,
L. Liquori,
and R. Chand.
Virtual Organizations in Arigatoni.
In DCM, International Workshop on Developpment in Computational Models,
volume 171 of Electronique Notes in Theoretical Computer Science,
pages 55--75,
2007.
[WWW
] [PDF
] [bibtex-entry]
-
L. Liquori and M. Cosnard.
Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems.
In 3rd Symposium on Trustworthy Global Computing (TGC 2007),
volume 4912 of Lecture Notes in Computer Science,
Sophia Antipolis, France,
pages 90-107,
November 2007.
Springer.
[PDF
] [bibtex-entry]
-
L. Liquori and M. Cosnard.
Weaving Arigatoni with a Graph Topology.
In International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2007),
Papeete, French Polynesia,
pages 8p,
November 2007.
IEEE Computer Society Press.
[PDF
] [bibtex-entry]
-
D. Benza,
M. Cosnard,
L. Liquori,
and M. Vesin.
Arigatoni: Overlaying Internet via Low Level Network Protocols.
In JVA: John Vincent Atanasoff International Symposium on Modern Computing,
pages 82--91,
2006.
IEEE.
[PDF
] [bibtex-entry]
-
R. Chand,
M. Cosnard,
and L. Liquori.
Resource Discovery in the Arigatoni Overlay Network.
In Proceedings of the International Workshop on Innovative Internet Community Systems (I2CS),
pages 13p,
2006.
[PDF
] [bibtex-entry]
-
H. Cirstea,
K. Claude,
L. Liquori,
and B. Wack.
Polymorphic Type Inference for the Rewriting Calculus.
In JFLA: Journées Francophones des Langages Applicatifs,
pages 57--69,
2006.
INRIA.
[bibtex-entry]
-
L. Liquori,
F. Honsell,
and R. Redamalla.
A Language for Verification and Manipulation of Web Documents.
In Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005),
volume 157 of Electronic Notes in Theoretical Computer Science,
pages 67--78,
2006.
Elsevier.
[bibtex-entry]
-
L. Liquori.
iRho: the Software: [System Description].
In Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005),
volume 135 of Electronic Notes in Theoretical Computer Science,
pages 85--94,
2006.
Elsevier.
[PDF
] [bibtex-entry]
-
L. Liquori and B. P. Serpette.
iRho: an imperative rewriting calculus.
In Proc. of ACM-PPDP: International Conference on Principles and Practice of Declarative Programming,
pages 167--178,
2004.
[POSTSCRIPT
] [bibtex-entry]
-
G. Barthe,
H. Cirstea,
C. Kirchner,
and L. Liquori.
Pure Patterns Type Systems.
In POPL, Symposium on Principles of Programming Languages,
pages 250--261,
2003.
ACM.
[POSTSCRIPT
] [bibtex-entry]
-
A. Ciaffaglione,
L. Liquori,
and M. Miculan.
Imperative Object-Based Calculi in Co-inductive Type Theories.
In LPAR, International Conference on Logic for Programming Artificial Intelligence and Reasoning,
volume 2850 of Lecture Notes in Computer Science,
pages 59--77,
2003.
[PDF
] [bibtex-entry]
-
A. Ciaffaglione,
L. Liquori,
and M. Miculan.
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.
In MERLIN, International Workshop on Mechanized Reasoning about Languages with Variable Binding,
2003.
ACM.
[PDF
] [bibtex-entry]
-
H. Cirstea,
L. Liquori,
and B. Wack.
Rewriting Calculus with Fixpoints: Untyped and First-order Systems.
In TYPES, International Workshop on Types for Proof and Programs,
volume 3085 of Lecture Notes in Computer Science,
pages 147--161,
2003.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
H. Cirstea,
C. Kirchner,
and L. Liquori.
The Rho Cube.
In FoSSaCS, International Conference on Foundations of Software Science and Computation Structures,
volume 2030 of Lecture Notes in Computer Science,
pages 168--183,
2001.
[POSTSCRIPT
] [bibtex-entry]
-
H. Cirstea,
C. Kirchner,
and L. Liquori.
Matching Power.
In RTA, International Conference on Rewriting Techniques and Applications,
volume 2051 of Lecture Notes in Computer Science,
pages 77--92,
2001.
[POSTSCRIPT
] [bibtex-entry]
-
D. Colnet and L. Liquori.
Match-O, a Statically Safe (?) Dialect of Eiffel.
In TOOLS, International Conference on Technology of Object-Oriented Languages and Systems,
pages 190--201,
2000.
IEEE Computer Society.
[POSTSCRIPT
] [bibtex-entry]
-
F. Lang,
P. Lescanne,
and L. Liquori.
A Framework for Defining Object-Calculi (extended abstract).
In FM, World Congress on Formal Methods in the Development of Computing Systems,
volume 1709 of Lecture Notes in Computer Science,
pages 963--982,
1999.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
P. Di Gianantonio,
F. Honsell,
and L. Liquori.
A Lambda Calculus of Objects with Self-inflicted Extension.
In Proc. of ACM-SIGPLAN OOPSLA, International Symposium on Object Oriented, Programming, System, Languages and Applications,
pages 166--178,
1998.
The ACM Press.
[POSTSCRIPT
] [bibtex-entry]
-
L. Liquori.
On Object Extension.
In ECOOP, European Conference on Object Oriented Programming,
volume 1445 of Lecture Notes in Computer Science,
pages 498--552,
1998.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
L. Liquori.
Bounded Polymorphism for Extensible Objects.
In Types, International Workshop on Types for Proof and Programs,
volume 1657 of Lecture Notes in Computer Science,
pages 149--163,
1998.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
V. Bono,
M. Bugliesi,
M. Dezani-Ciancaglini,
and L. Liquori.
Subtyping Constraint for Incomplete Objects.
In TAPSOFT/CAAP, International Conference of Theory and Practice of Software Development,
volume 1214 of Lecture Notes in Computer Science,
pages 465--477,
1997.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
L. Liquori.
An Extended Theory of Primitive Objects: First Order System.
In ECOOP, European Conference on Object Oriented Programming,
volume 1241 of Lecture Notes in Computer Science,
pages 146--169,
1997.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
V. Bono,
M. Bugliesi,
and L. Liquori.
A Lambda Calculus of Incomplete Objects.
In MFCS, International Symposium of Mathematical Foundation of Computer Science,
volume 1113 of Lecture Notes in Computer Science,
pages 218--229,
1996.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
M. Bugliesi,
G. Delzanno,
L. Liquori,
and M. Martelli.
A Linear Logic Calculus of Objects.
In The MIT Press, editor,
JICSLP, Joint International Conference and Symposium on Logic Programming,
pages 67--81,
1996.
[POSTSCRIPT
] [bibtex-entry]
-
L. Liquori and G. Castagna.
A Typed Lambda Calculus of Objects.
In Asian, International Conference on Concurrency and Parallelism, Programming, Networking, and Security,
volume 1179 of Lecture Notes in Computer Science,
pages 129--141,
1996.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
V. Bono and L. Liquori.
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.
In CSL, International Conference of Computer Science Logic,
volume 933 of Lecture Notes in Computer Science,
pages 16--30,
1995.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
L. Liquori.
A Typed Axiomatic Object Calculus with Subtyping.
In ATSC, International Workshop on Advances in Type Systems for Computing,
Newton Institute, Cambridge,
1995.
[bibtex-entry]
-
L. Liquori and M.L. Sapino.
Dealing with Explicit Exceptions.
In M. Alpuente,
R. Barbuti,
and I. Ramos, editors,
GULP-PRODE, International Joint Conference on Declarative Programming,
pages 296--308,
1994.
[POSTSCRIPT
] [bibtex-entry]
-
S. van Bakel,
L. Liquori,
S. Ronchi della Rocca,
and P. Urzyczyn.
Comparing Cubes.
In LFCS, International Symposium on Logical Foundations of Computer Science,
volume 813 of Lecture Notes in Computer Science,
pages 353--365,
1994.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
L. Liquori,
D. Borsetti,
C. Casetti,
and C. Chiasserini.
Overlay Networks for Vehicular Networks.
Research Report,
Politecnico di Torino,
2007.
[bibtex-entry]
-
P. Nain,
C. Casetti,
and L. Liquori.
A Stochastic Model of an Arigatoni Overlay Computer.
Research Report to be given,
Politecnico di Torino,
2007.
[bibtex-entry]
-
M. Lenisa,
F. Honsell,
and L. Liquori.
A Framework for Defining Logical Frameworks.
Research Report,
RR INRIA and University of Udine,
2006.
[WWW
] [bibtex-entry]
-
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.
Technical Report DTR 98.0089,
CSELT, Centro Studi e Laboratori Telecomunicazioni, Telecom Italia Research Center,
1998.
Note: Not available. In Italian.
[bibtex-entry]
-
D. Bacchiega,
D. Gotta,
L. Liquori,
M. Porta,
and R. Rossi.
MOMIX-emSDH2. Simulatore di Agent di Element Manager SDH2.0. Versione 2.2.3. Manuale Utente e Guida di Riferimento.
Technical Report DTR 97.0413,
CSELT, Centro Studi e Laboratori Telecomunicazioni, Telecom Italia Research Center,
1997.
Note: Not available. In Italian.
[bibtex-entry]
-
L. Liquori.
An Extended Theory of Primitive Objects.
Technical Report CS-23-96,
Computer Science Department, University of Turin,
1996.
[bibtex-entry]
-
L. Liquori.
The Languages ASN.1 and GDMO.
École des Mines de Nancy,
1999-2000.
Note: Cours SI 151 : Réseaux et télécommunications.
[bibtex-entry]
-
L. Liquori and K. Tombre.
On C++ Compilers.
École des Mines de Nancy,
1999-2000.
Note: Cours SI 131 : Conception d'architectures logicielles.
[bibtex-entry]
-
L. Liquori.
A Brief Introduction to Corba.
École des Mines de Nancy,
1999-2000.
Note: Cours SI 131 : Conception d'architectures logicielles.
[bibtex-entry]
-
L. Liquori.
On Object Calculi.
École des Mines de Nancy,
1999-2000.
Note: Cours SI 142 : Fondements de l'algorithmique et de la programmation.
[bibtex-entry]
-
L. Liquori.
Le Bug de Java.
École des Mines de Nancy,
1999-2000.
Note: Cours SI 153 : Sûreté des systèmes informatiques.
[bibtex-entry]
-
L. Liquori.
An Introduction to SmallTalk.
École Normale Supérieure de Lyon,
1998-1999.
Note: Cours POOGL : Programmation à Objets et Génie Logiciel.
[bibtex-entry]
-
L Liquori.
Semantica e Pragmatica di un Linguaggio Funzionale con le Continuazioni Esplicite.
Laurea in Science dell'Informazione,
University of Udine,
1990.
Note: In Italian, 74 pp.[bibtex-entry]
BACK TO COATI PUBLICATION INDEX
Last modified: Sat Jan 29 19:00:45 2022
