- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c35 |      | Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan: A backward-compatible protocol for inter-routing over heterogeneous overlay networks. SAC 2013: 649-651 |
| 2012 | ||
| c34 | | Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic: An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. Networking Workshops 2012: 10-18 |
| c33 | | Thao Nguyen, Luigi Liquori, Bruno Martin, Karl Hanks: Towards a Trust and Reputation Framework for Social Web Platforms. OTM Workshops 2012: 13-22 |
| 2011 | ||
| c32 | | Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang: Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks. ICPADS 2011: 817-822 |
| 2010 | ||
| c31 | | Raphaël Chand, Luigi Liquori, Michel Cosnard: Resource Discovery in the Arigatoni Model. IICS 2010: 437-449 |
| c30 | | Daniel J. Dougherty, Luigi Liquori: Logic and Computation in a Lambda Calculus with Intersection and Union Types. LPAR (Dakar) 2010: 173-191 |
| c29 | | Luigi Liquori, Cédric Tedeschi, Laurent Vanni, Francesco Bongiovanni, Vincenzo Ciancaglini, Bojan Marinkovic: Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. Networking 2010: 67-82 |
| c28 | | Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni: CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility. TGC 2010: 301-317 |
| 2009 | ||
| c27 | | Luigi Liquori, Cédric Tedeschi, Francesco Bongiovanni: Babelchord: a social tower of DHT-based overlay networks. ISCC 2009: 307-312 |
| 2008 | ||
| j19 | | Raphaël Chand, Michel Cosnard, Luigi Liquori: Powerful resource discovery for Arigatoni overlay network. Future Generation Comp. Syst. 24(1): 31-38 (2008) |
| j18 | | Luigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. Mathematical Structures in Computer Science 18(3): 467-500 (2008) |
| j17 | | Luigi Liquori, Arnaud Spiwack: Extending FeatherTrait Java with Interfaces. Theor. Comput. Sci. 398(1-3): 243-260 (2008) |
| j16 | | Luigi Liquori, Arnaud Spiwack: FeatherTrait: A modest extension of Featherweight Java. ACM Trans. Program. Lang. Syst. 30(2) (2008) |
| c26 | | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto: A Conditional Logical Framework. LPAR 2008: 143-157 |
| c25 | | Luigi Liquori, Diego Borsetti, Claudio Casetti, Carla-Fabiana Chiasserini: An Overlay Architecture for Vehicular Networks. Networking 2008: 60-71 |
| 2007 | ||
| j15 | | Michel Cosnard, Luigi Liquori, Raphaël Chand: Virtual Organizations in Arigatoni. Electr. Notes Theor. Comput. Sci. 171(3): 55-75 (2007) |
| j14 | | Furio Honsell, Marina Lenisa, Luigi Liquori: A Framework for Defining Logical Frameworks. Electr. Notes Theor. Comput. Sci. 172: 399-436 (2007) |
| j13 | | Luigi Liquori, Simona Ronchi Della Rocca: Intersection-types à la Church. Inf. Comput. 205(9): 1371-1386 (2007) |
| j12 | | 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) |
| c24 | | Raphaël Chand, Luigi Liquori, Michel Cosnard: Improving Resource Discovery in the Arigatoni Overlay Network. ARCS 2007: 98-111 |
| c23 | | Luigi Liquori, Michel Cosnard: Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. TGC 2007: 90-107 |
| 2006 | ||
| j11 | | Luigi Liquori: iRho: the Software: [System Description]. Electr. Notes Theor. Comput. Sci. 135(3): 85-94 (2006) |
| j10 | | 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) |
| j9 | | 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) |
| c22 | | Didier Benza, Michel Cosnard, Luigi Liquori, Marc Vesin: Arigatoni: A Simple Programmable Overlay Network. John Vincent Atanasoff Symposium 2006: 82-91 |
| 2005 | ||
| j8 | | Luigi Liquori, Benjamin Wack: The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. Electr. Notes Theor. Comput. Sci. 117: 89-111 (2005) |
| j7 | | 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) |
| j6 | | Luigi Liquori, Simona Ronchi Della Rocca: Towards an Intersection Typed System à la Church. Electr. Notes Theor. Comput. Sci. 136: 43-56 (2005) |
| c21 |  | Luigi Liquori, Furio Honsell, Rekha Redamalla: A Language for Verification and Manipulation of Web Documents. WWV 2005: 127-137 |
| 2004 | ||
| c20 | | |
| 2003 | ||
| j5 | | Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack: Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci. 86(4): 593-624 (2003) |
| c19 | | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003 |
| c18 | | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77 |
| c17 | | Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Pure patterns type systems. POPL 2003: 250-261 |
| c16 | | Horatiu Cirstea, Luigi Liquori, Benjamin Wack: Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES 2003: 147-161 |
| 2002 | ||
| j4 | | Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Rewriting Calculus with(out) Types. Electr. Notes Theor. Comput. Sci. 71: 3-19 (2002) |
| 2001 | ||
| c15 | | |
| c14 | | |
| 2000 | ||
| j3 | | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: Object calculi in linear logic. J. Log. Comput. 10(1): 75-104 (2000) |
| c13 | | Dominique Colnet, Luigi Liquori: Match-O, A Dialect of Eiffel with Match-Types. TOOLS (37) 2000: 190-201 |
| 1999 | ||
| j2 | | Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: A Subtyping for Extensible, Incomplete Objects. Fundam. Inform. 38(4): 325-364 (1999) |
| c12 | | Frédéric Lang, Pierre Lescanne, Luigi Liquori: A Framework for Defining Object-Calculi. World Congress on Formal Methods 1999: 963-982 |
| 1998 | ||
| c11 | | |
| c10 | | Pietro Di Gianantonio, Furio Honsell, Luigi Liquori: A Lambda Calculus of Objects with Self-Inflicted Extension. OOPSLA 1998: 166-178 |
| c9 | | |
| 1997 | ||
| j1 | | 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) |
| c8 | | |
| c7 | | Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477 |
| 1996 | ||
| c6 | | Luigi Liquori, Giuseppe Castagna: A Typed Lambda Calculus of Objects (Extended Abstract). ASIAN 1996: 129-141 |
| c5 | | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: A Linear Logic Calculus Objects. JICSLP 1996: 67-81 |
| c4 | | Viviana Bono, Michele Bugliesi, Luigi Liquori: A Lambda Calculus of Incomplete Objects. MFCS 1996: 218-229 |
| 1994 | ||
| c3 | | Luigi Liquori, Maria Luisa Sapino: Dealing with Explicit Exceptions in Prolog. GULP-PRODE (2) 1994: 296-308 |
| c2 | | Viviana Bono, Luigi Liquori: A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. CSL 1994: 16-30 |
| c1 | | Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn: Comparing Cubes. LFCS 1994: 353-365 |
Colors in the list of coauthors
Last update Fri May 24 21:04:29 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page