The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Luigi Liquori" ( http://dblp.L3S.de/Authors/Luigi_Liquori )

URL (Homepage):  http://www-sop.inria.fr/mascotte/Luigi.Liquori/index.html  Author page on DBLP  Author page in RDF  Community of Luigi Liquori in ASPL-2

Publication years (Num. hits)
1994-1999 (15) 2000-2005 (15) 2006-2008 (17) 2009-2015 (16) 2016-2018 (11)
Publication types (Num. hits)
article(27) book(1) inproceedings(45) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 29 keywords

Results
Found 75 publication records. Showing 74 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto Plugging-in proof development environments using Locks in LF. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ciaffaglione Alberto, Di Gianantonio Pietro, Furio Honsell, Luigi Liquori A prototype-based approach to object reclassification. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Luigi Liquori, Claude Stolze The Delta-calculus: syntax and types. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto The Delta-framework. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto The Delta-Framework. Search on Bibsonomy FSTTCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto LLFP: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto LLF: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Claude Stolze A Decidable Subtyping Logic for Intersection and Union Types. Search on Bibsonomy TTCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic An open logical framework. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze A Realizability Interpretation for Intersection and Union Types. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto Implementing Cantor's Paradise. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic Analyzing the exhaustiveness of the Synapse protocol. Search on Bibsonomy Peer-to-Peer Networking and Applications The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giang Ngo Hoang, Luigi Liquori, Hung Nguyen Chan Backward-Compatible Cooperation of Heterogeneous P2P Systems. Search on Bibsonomy ICDCN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Luigi Liquori, Ivan Scagnetto L ax F: Side Conditions and External Evidence as Monads. Search on Bibsonomy MFCS (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancaglini, Rossano Gaeta, Riccardo Loti, Luigi Liquori Interconnection of Large Scale Unstructured P2P Networks: Modeling and Analysis. Search on Bibsonomy ASMTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancaglini, Giuseppe Piro, Riccardo Loti, Luigi Alfredo Grieco, Luigi Liquori CCN-TV: A Data-centric Approach to Real-Time Video Services. Search on Bibsonomy AINA Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan A backward-compatible protocol for inter-routing over heterogeneous overlay networks. Search on Bibsonomy SAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. Search on Bibsonomy Networking Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thao Nguyen, Luigi Liquori, Bruno Martin, Karl Hanks Towards a Trust and Reputation Framework for Social Web Platforms. Search on Bibsonomy OTM Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks. Search on Bibsonomy ICPADS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Cédric Tedeschi, Laurent Vanni, Francesco Bongiovanni, Vincenzo Ciancaglini, Bojan Marinkovic Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. Search on Bibsonomy Networking The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility. Search on Bibsonomy TGC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel J. Dougherty, Luigi Liquori Logic and Computation in a Lambda Calculus with Intersection and Union Types. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Raphaël Chand, Luigi Liquori, Michel Cosnard Resource Discovery in the Arigatoni Model. Search on Bibsonomy IICS The full citation details ... 2010 DBLP  BibTeX  RDF
1Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic A Distributed Catalog for Digitized Cultural Heritage. Search on Bibsonomy ICT Innovations The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Cédric Tedeschi, Francesco Bongiovanni Babelchord: a social tower of DHT-based overlay networks. Search on Bibsonomy ISCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Raphaël Chand, Michel Cosnard, Luigi Liquori Powerful resource discovery for Arigatoni overlay network. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Bernard P. Serpette iRho: an imperative rewriting calculus. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Arnaud Spiwack Extending FeatherTrait Java with Interfaces. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Arnaud Spiwack FeatherTrait: A modest extension of Featherweight Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java, inheritance, language design, language semantics
1Luigi Liquori, Diego Borsetti, Claudio Casetti, Carla-Fabiana Chiasserini An Overlay Architecture for Vehicular Networks. Search on Bibsonomy Networking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto A Conditional Logical Framework. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michel Cosnard, Luigi Liquori, Raphaël Chand Virtual Organizations in Arigatoni. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Marina Lenisa, Luigi Liquori A Framework for Defining Logical Frameworks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Simona Ronchi Della Rocca Intersection-types à la Church. Search on Bibsonomy Inf. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alberto Ciaffaglione, Luigi Liquori, Marino Miculan Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Functional and imperative object-calculi, Logical foundations of programming, Coinductive type theories, Logical frameworks, Interactive theorem proving
1Luigi Liquori Peter, the Language that does not Exist... (Peter, le langage qui n'existe pas..). Search on Bibsonomy 2007   RDF
1Raphaël Chand, Luigi Liquori, Michel Cosnard Improving Resource Discovery in the Arigatoni Overlay Network. Search on Bibsonomy ARCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Michel Cosnard Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. Search on Bibsonomy TGC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Furio Honsell, Rekha Redamalla A Language for Verification and Manipulation of Web Documents: (Extended Abstract). Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luigi Liquori iRho: the Software: [System Description]. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori Addressed term rewriting systems: application to a typed object calculus. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Didier Benza, Michel Cosnard, Luigi Liquori, Marc Vesin Arigatoni: A Simple Programmable Overlay Network. Search on Bibsonomy John Vincent Atanasoff Symposium The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Benjamin Wack The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Simona Ronchi Della Rocca Towards an Intersection Typed System à la Church. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Furio Honsell, Rekha Redamalla A Language for Verification and Manipulation of Web Documents. Search on Bibsonomy WWV The full citation details ... 2005 DBLP  BibTeX  RDF
1Luigi Liquori, Bernard P. Serpette iRho: an imperative rewriting calculus. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics
1Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack Rewrite strategies in the rewriting calculus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori Pure patterns type systems. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting
1Alberto Ciaffaglione, Luigi Liquori, Marino Miculan Imperative Object-Based Calculi in Co-inductive Type Theories. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alberto Ciaffaglione, Luigi Liquori, Marino Miculan Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving
1Horatiu Cirstea, Luigi Liquori, Benjamin Wack Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rewriting-calculus, Object-calculus, Pattern Mat-ching, Lambda-calculus, Type Theory, Fixpoints
1Horatiu Cirstea, Claude Kirchner, Luigi Liquori Rewriting Calculus with(out) Types. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Horatiu Cirstea, Claude Kirchner, Luigi Liquori Matching Power. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Horatiu Cirstea, Claude Kirchner, Luigi Liquori The Rho Cube. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli Object calculi in linear logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Dominique Colnet, Luigi Liquori Match-O, A Dialect of Eiffel with Match-Types. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current
1Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori A Subtyping for Extensible, Incomplete Objects. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Frédéric Lang, Pierre Lescanne, Luigi Liquori A Framework for Defining Object-Calculi. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Design of functional and imperative object-oriented languages, memory management, operational semantics, implementation issues
1Luigi Liquori On Object Extension. Search on Bibsonomy ECOOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Pietro Di Gianantonio, Furio Honsell, Luigi Liquori A Lambda Calculus of Objects with Self-Inflicted Extension. Search on Bibsonomy OOPSLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Luigi Liquori Bounded Polymorphism for Extensible Objects. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn Comparing Cubes of Typed and Type Assignment Systems. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Luigi Liquori An Extended Theory of Primitive Objects: FIrst Order System. Search on Bibsonomy ECOOP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF design and semantics of object-oriented languages, Type systems
1Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori Subtyping Constraints for Incomplete Objects (Extended Abstract). Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Luigi Liquori, Giuseppe Castagna A Typed Lambda Calculus of Objects (Extended Abstract). Search on Bibsonomy ASIAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Viviana Bono, Michele Bugliesi, Luigi Liquori A Lambda Calculus of Incomplete Objects. Search on Bibsonomy MFCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli A Linear Logic Calculus Objects. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Luigi Liquori Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. (Sistemi di Assegnamento di tipi per il lambda calcolo e per il lambda calcolo degli oggetti / Systèmes d'inférence de type pour le lambda-calcul et pour le lambda-calcul à objets). Search on Bibsonomy 1996   RDF
1Luigi Liquori, Maria Luisa Sapino Dealing with Explicit Exceptions in Prolog. Search on Bibsonomy GULP-PRODE (2) The full citation details ... 1994 DBLP  BibTeX  RDF
1Viviana Bono, Luigi Liquori A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn Comparing Cubes. Search on Bibsonomy LFCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #74 of 74 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license