Luigi Liquori

	2009
46		Luigi Liquori, Cédric Tedeschi, Francesco Bongiovanni: Babelchord: a social tower of DHT-based overlay networks. ISCC 2009: 307-312
	2008
45		Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto: A Conditional Logical Framework. LPAR 2008: 143-157
44		Luigi Liquori, Diego Borsetti, Claudio Casetti, Carla-Fabiana Chiasserini: An Overlay Architecture for Vehicular Networks. Networking 2008: 60-71
43		Luigi Liquori, Arnaud Spiwack: FeatherTrait: A modest extension of Featherweight Java. ACM Trans. Program. Lang. Syst. 30(2): (2008)
42		Raphaël Chand, Michel Cosnard, Luigi Liquori: Powerful resource discovery for Arigatoni overlay network. Future Generation Comp. Syst. 24(1): 31-38 (2008)
41		Luigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. Mathematical Structures in Computer Science 18(3): 467-500 (2008)
40		Luigi Liquori, Arnaud Spiwack: Extending FeatherTrait Java with Interfaces. Theor. Comput. Sci. 398(1-3): 243-260 (2008)
	2007
39		Raphaël Chand, Luigi Liquori, Michel Cosnard: Improving Resource Discovery in the Arigatoni Overlay Network. ARCS 2007: 98-111
38		Luigi Liquori, Michel Cosnard: Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. TGC 2007: 90-107
37		Michel Cosnard, Luigi Liquori, Raphaël Chand: Virtual Organizations in Arigatoni. Electr. Notes Theor. Comput. Sci. 171(3): 55-75 (2007)
36		Furio Honsell, Marina Lenisa, Luigi Liquori: A Framework for Defining Logical Frameworks. Electr. Notes Theor. Comput. Sci. 172: 399-436 (2007)
35		Luigi Liquori, Simona Ronchi Della Rocca: Intersection-types à la Church. Inf. Comput. 205(9): 1371-1386 (2007)
34		Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. J. Autom. Reasoning 39(1): 1-47 (2007)
	2006
33		Didier Benza, Michel Cosnard, Luigi Liquori, Marc Vesin: Arigatoni: A Simple Programmable Overlay Network. John Vincent Atanasoff Symposium 2006: 82-91
32		Luigi Liquori: iRho: the Software: [System Description]. Electr. Notes Theor. Comput. Sci. 135(3): 85-94 (2006)
31		Luigi Liquori, Furio Honsell, Rekha Redamalla: A Language for Verification and Manipulation of Web Documents: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 157(2): 67-78 (2006)
30		Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori: Addressed term rewriting systems: application to a typed object calculus. Mathematical Structures in Computer Science 16(4): 667-709 (2006)
	2005
29		Luigi Liquori, Furio Honsell, Rekha Redamalla: A Language for Verification and Manipulation of Web Documents. WWV 2005: 127-137
28		Luigi Liquori, Benjamin Wack: The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. Electr. Notes Theor. Comput. Sci. 117: 89-111 (2005)
27		Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang: Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. Electr. Notes Theor. Comput. Sci. 127(5): 57-82 (2005)
26		Luigi Liquori, Simona Ronchi Della Rocca: Towards an Intersection Typed System à la Church. Electr. Notes Theor. Comput. Sci. 136: 43-56 (2005)
	2004
25		Luigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. PPDP 2004: 167-178
	2003
24		Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77
23		Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003
22		Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Pure patterns type systems. POPL 2003: 250-261
21		Horatiu Cirstea, Luigi Liquori, Benjamin Wack: Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES 2003: 147-161
20		Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack: Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci. 86(4): (2003)
	2002
19		Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Rewriting Calculus with(out) Types. Electr. Notes Theor. Comput. Sci. 71: (2002)
	2001
18		Horatiu Cirstea, Claude Kirchner, Luigi Liquori: The Rho Cube. FoSSaCS 2001: 168-183
17		Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Matching Power. RTA 2001: 77-92
	2000
16		Dominique Colnet, Luigi Liquori: Match-O, A Dialect of Eiffel with Match-Types. TOOLS (37) 2000: 190-201
15		Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: Object calculi in linear logic. J. Log. Comput. 10(1): 75-104 (2000)
	1999
14		Frédéric Lang, Pierre Lescanne, Luigi Liquori: A Framework for Defining Object-Calculi. World Congress on Formal Methods 1999: 963-982
13		Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: A Subtyping for Extensible, Incomplete Objects. Fundam. Inform. 38(4): 325-364 (1999)
	1998
12		Luigi Liquori: On Object Extension. ECOOP 1998: 498-522
11		Pietro Di Gianantonio, Furio Honsell, Luigi Liquori: A Lambda Calculus of Objects with Self-Inflicted Extension. OOPSLA 1998: 166-178
10		Luigi Liquori: Bounded Polymorphism for Extensible Objects. TYPES 1998: 149-163
	1997
9		Luigi Liquori: An Extended Theory of Primitive Objects: FIrst Order System. ECOOP 1997: 146-169
8		Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477
7		Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn: Comparing Cubes of Typed and Type Assignment Systems. Ann. Pure Appl. Logic 86(3): 267-303 (1997)
	1996
6		Luigi Liquori, Giuseppe Castagna: A Typed Lambda Calculus of Objects (Extended Abstract). ASIAN 1996: 129-141
5		Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: A Linear Logic Calculus Objects. JICSLP 1996: 67-81
4		Viviana Bono, Michele Bugliesi, Luigi Liquori: A Lambda Calculus of Incomplete Objects. MFCS 1996: 218-229
	1994
3		Viviana Bono, Luigi Liquori: A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. CSL 1994: 16-30
2		Luigi Liquori, Maria Luisa Sapino: Dealing with Explicit Exceptions in Prolog. GULP-PRODE (2) 1994: 296-308
1		Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn: Comparing Cubes. LFCS 1994: 353-365

Coauthor Index

1	Steffen van Bakel	[1] [7]
2	Gilles Barthe	[22]
3	Didier Benza	[33]
4	Francesco Bongiovanni	[46]
5	Viviana Bono	[3] [4] [8] [13]
6	Diego Borsetti	[44]
7	Michele Bugliesi	[4] [5] [8] [13] [15]
8	Claudio Casetti	[44]
9	Giuseppe Castagna	[6]
10	Raphaël Chand	[37] [39] [42]
11	Carla-Fabiana Chiasserini	[44]
12	Alberto Ciaffaglione	[23] [24] [34]
13	Horatiu Cirstea	[17] [18] [19] [20] [21] [22]
14	Dominique Colnet	[16]
15	Michel Cosnard	[33] [37] [38] [39] [42]
16	Giorgio Delzanno	[5] [15]
17	Mariangiola Dezani-Ciancaglini	[8] [13]
18	Daniel J. Dougherty	[27] [30]
19	Pietro Di Gianantonio	[11]
20	Furio Honsell	[11] [29] [31] [36] [45]
21	Claude Kirchner	[17] [18] [19] [20] [22]
22	Frédéric Lang	[14] [27]
23	Marina Lenisa	[36] [45]
24	Pierre Lescanne	[14] [27] [30]
25	Maurizio Martelli	[5] [15]
26	Marino Miculan	[23] [24] [34]
27	Rekha Redamalla	[29] [31]
28	Simona Ronchi Della Rocca	[1] [7] [26] [35]
29	Maria Luisa Sapino	[2]
30	Ivan Scagnetto	[45]
31	Bernard P. Serpette	[25] [41]
32	Arnaud Spiwack	[40] [43]
33	Cédric Tedeschi	[46]
34	Pawel Urzyczyn	[1] [7]
35	Marc Vesin	[33]
36	Benjamin Wack	[20] [21] [28]

Colors in the list of coauthors