dblp.uni-trier.dewww.uni-trier.de

Luigi Liquori Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
46EELuigi Liquori, Cédric Tedeschi, Francesco Bongiovanni: Babelchord: a social tower of DHT-based overlay networks. ISCC 2009: 307-312
2008
45EEFurio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto: A Conditional Logical Framework. LPAR 2008: 143-157
44EELuigi Liquori, Diego Borsetti, Claudio Casetti, Carla-Fabiana Chiasserini: An Overlay Architecture for Vehicular Networks. Networking 2008: 60-71
43EELuigi Liquori, Arnaud Spiwack: FeatherTrait: A modest extension of Featherweight Java. ACM Trans. Program. Lang. Syst. 30(2): (2008)
42EERaphaël Chand, Michel Cosnard, Luigi Liquori: Powerful resource discovery for Arigatoni overlay network. Future Generation Comp. Syst. 24(1): 31-38 (2008)
41EELuigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. Mathematical Structures in Computer Science 18(3): 467-500 (2008)
40EELuigi Liquori, Arnaud Spiwack: Extending FeatherTrait Java with Interfaces. Theor. Comput. Sci. 398(1-3): 243-260 (2008)
2007
39EERaphaël Chand, Luigi Liquori, Michel Cosnard: Improving Resource Discovery in the Arigatoni Overlay Network. ARCS 2007: 98-111
38EELuigi Liquori, Michel Cosnard: Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. TGC 2007: 90-107
37EEMichel Cosnard, Luigi Liquori, Raphaël Chand: Virtual Organizations in Arigatoni. Electr. Notes Theor. Comput. Sci. 171(3): 55-75 (2007)
36EEFurio Honsell, Marina Lenisa, Luigi Liquori: A Framework for Defining Logical Frameworks. Electr. Notes Theor. Comput. Sci. 172: 399-436 (2007)
35EELuigi Liquori, Simona Ronchi Della Rocca: Intersection-types à la Church. Inf. Comput. 205(9): 1371-1386 (2007)
34EEAlberto 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
33EEDidier Benza, Michel Cosnard, Luigi Liquori, Marc Vesin: Arigatoni: A Simple Programmable Overlay Network. John Vincent Atanasoff Symposium 2006: 82-91
32EELuigi Liquori: iRho: the Software: [System Description]. Electr. Notes Theor. Comput. Sci. 135(3): 85-94 (2006)
31EELuigi 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)
30EEDaniel 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
28EELuigi Liquori, Benjamin Wack: The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. Electr. Notes Theor. Comput. Sci. 117: 89-111 (2005)
27EEDaniel 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)
26EELuigi Liquori, Simona Ronchi Della Rocca: Towards an Intersection Typed System à la Church. Electr. Notes Theor. Comput. Sci. 136: 43-56 (2005)
2004
25EELuigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. PPDP 2004: 167-178
2003
24EEAlberto Ciaffaglione, Luigi Liquori, Marino Miculan: Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77
23EEAlberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003
22EEGilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Pure patterns type systems. POPL 2003: 250-261
21EEHoratiu Cirstea, Luigi Liquori, Benjamin Wack: Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES 2003: 147-161
20EEHoratiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack: Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci. 86(4): (2003)
2002
19EEHoratiu Cirstea, Claude Kirchner, Luigi Liquori: Rewriting Calculus with(out) Types. Electr. Notes Theor. Comput. Sci. 71: (2002)
2001
18EEHoratiu Cirstea, Claude Kirchner, Luigi Liquori: The Rho Cube. FoSSaCS 2001: 168-183
17EEHoratiu Cirstea, Claude Kirchner, Luigi Liquori: Matching Power. RTA 2001: 77-92
2000
16EEDominique 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
14EEFré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
12EELuigi Liquori: On Object Extension. ECOOP 1998: 498-522
11EEPietro Di Gianantonio, Furio Honsell, Luigi Liquori: A Lambda Calculus of Objects with Self-Inflicted Extension. OOPSLA 1998: 166-178
10EELuigi Liquori: Bounded Polymorphism for Extensible Objects. TYPES 1998: 149-163
1997
9EELuigi Liquori: An Extended Theory of Primitive Objects: FIrst Order System. ECOOP 1997: 146-169
8EEViviana 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
4EEViviana Bono, Michele Bugliesi, Luigi Liquori: A Lambda Calculus of Incomplete Objects. MFCS 1996: 218-229
1994
3EEViviana 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)