The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luigi Liquori: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  38. Resource Discovery in the Arigatoni Model. [Citation Graph (, )][DBLP]


  39. Babelchord: a social tower of DHT-based overlay networks. [Citation Graph (, )][DBLP]


  40. A Conditional Logical Framework. [Citation Graph (, )][DBLP]


  41. An Overlay Architecture for Vehicular Networks. [Citation Graph (, )][DBLP]


  42. Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. [Citation Graph (, )][DBLP]


  43. Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002