Luigi Liquori

2008
45	EE	Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto: A Conditional Logical Framework. LPAR 2008: 143-157
44	EE	Luigi Liquori, Diego Borsetti, Claudio Casetti, Carla-Fabiana Chiasserini: An Overlay Architecture for Vehicular Networks. Networking 2008: 60-71
43	EE	Luigi Liquori, Arnaud Spiwack: FeatherTrait: A modest extension of Featherweight Java. ACM Trans. Program. Lang. Syst. 30(2): (2008)
42	EE	Raphaël Chand, Michel Cosnard, Luigi Liquori: Powerful resource discovery for Arigatoni overlay network. Future Generation Comp. Syst. 24(1): 31-38 (2008)
41	EE	Luigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. Mathematical Structures in Computer Science 18(3): 467-500 (2008)
40	EE	Luigi Liquori, Arnaud Spiwack: Extending FeatherTrait Java with Interfaces. Theor. Comput. Sci. 398(1-3): 243-260 (2008)
2007
39	EE	Raphaël Chand, Luigi Liquori, Michel Cosnard: Improving Resource Discovery in the Arigatoni Overlay Network. ARCS 2007: 98-111
38	EE	Luigi Liquori, Michel Cosnard: Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. TGC 2007: 90-107
37	EE	Michel Cosnard, Luigi Liquori, Raphaël Chand: Virtual Organizations in Arigatoni. Electr. Notes Theor. Comput. Sci. 171(3): 55-75 (2007)
36	EE	Furio Honsell, Marina Lenisa, Luigi Liquori: A Framework for Defining Logical Frameworks. Electr. Notes Theor. Comput. Sci. 172: 399-436 (2007)
35	EE	Luigi Liquori, Simona Ronchi Della Rocca: Intersection-types à la Church. Inf. Comput. 205(9): 1371-1386 (2007)
34	EE	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	EE	Didier Benza, Michel Cosnard, Luigi Liquori, Marc Vesin: Arigatoni: A Simple Programmable Overlay Network. John Vincent Atanasoff Symposium 2006: 82-91
32	EE	Luigi Liquori: iRho: the Software: [System Description]. Electr. Notes Theor. Comput. Sci. 135(3): 85-94 (2006)
31	EE	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	EE	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	EE	Luigi Liquori, Benjamin Wack: The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. Electr. Notes Theor. Comput. Sci. 117: 89-111 (2005)
27	EE	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	EE	Luigi Liquori, Simona Ronchi Della Rocca: Towards an Intersection Typed System à la Church. Electr. Notes Theor. Comput. Sci. 136: 43-56 (2005)
2004
25	EE	Luigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. PPDP 2004: 167-178
2003
24	EE	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77
23	EE	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003
22	EE	Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Pure patterns type systems. POPL 2003: 250-261
21	EE	Horatiu Cirstea, Luigi Liquori, Benjamin Wack: Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES 2003: 147-161
20	EE	Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack: Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci. 86(4): (2003)
2002
19	EE	Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Rewriting Calculus with(out) Types. Electr. Notes Theor. Comput. Sci. 71: (2002)
2001
18	EE	Horatiu Cirstea, Claude Kirchner, Luigi Liquori: The Rho Cube. FoSSaCS 2001: 168-183
17	EE	Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Matching Power. RTA 2001: 77-92
2000
16	EE	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	EE	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	EE	Luigi Liquori: On Object Extension. ECOOP 1998: 498-522
11	EE	Pietro Di Gianantonio, Furio Honsell, Luigi Liquori: A Lambda Calculus of Objects with Self-Inflicted Extension. OOPSLA 1998: 166-178
10	EE	Luigi Liquori: Bounded Polymorphism for Extensible Objects. TYPES 1998: 149-163
1997
9	EE	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	Viviana Bono	[3] [4] [8] [13]
5	Diego Borsetti	[44]
6	Michele Bugliesi	[4] [5] [8] [13] [15]
7	Claudio Casetti	[44]
8	Giuseppe Castagna	[6]
9	Raphaël Chand	[37] [39] [42]
10	Carla-Fabiana Chiasserini	[44]
11	Alberto Ciaffaglione	[23] [24] [34]
12	Horatiu Cirstea	[17] [18] [19] [20] [21] [22]
13	Dominique Colnet	[16]
14	Michel Cosnard	[33] [37] [38] [39] [42]
15	Giorgio Delzanno	[5] [15]
16	Mariangiola Dezani-Ciancaglini	[8] [13]
17	Daniel J. Dougherty	[27] [30]
18	Pietro Di Gianantonio	[11]
19	Furio Honsell	[11] [29] [31] [36] [45]
20	Claude Kirchner	[17] [18] [19] [20] [22]
21	Frédéric Lang	[14] [27]
22	Marina Lenisa	[36] [45]
23	Pierre Lescanne	[14] [27] [30]
24	Maurizio Martelli	[5] [15]
25	Marino Miculan	[23] [24] [34]
26	Rekha Redamalla	[29] [31]
27	Simona Ronchi Della Rocca	[1] [7] [26] [35]
28	Maria Luisa Sapino	[2]
29	Ivan Scagnetto	[45]
30	Bernard P. Serpette	[25] [41]
31	Arnaud Spiwack	[40] [43]
32	Pawel Urzyczyn	[1] [7]
33	Marc Vesin	[33]
34	Benjamin Wack	[20] [21] [28]

Colors in the list of coauthors