The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giorgio Ghelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini
    An Object Data Model with Roles. [Citation Graph (17, 9)][DBLP]
    VLDB, 1993, pp:39-51 [Conf]
  2. Antonio Albano, Giorgio Ghelli, Renzo Orsini
    A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. [Citation Graph (17, 6)][DBLP]
    VLDB, 1991, pp:565-575 [Conf]
  3. Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris D. Marlin, Ronald Morrison, Renzo Orsini, David W. Stemple
    A Framework for Comparing Type Systems for Database Programming Languages. [Citation Graph (9, 3)][DBLP]
    DBPL, 1989, pp:170-178 [Conf]
  4. Giorgio Ghelli
    A Class Abstraction for a Hierarchical Type System. [Citation Graph (5, 5)][DBLP]
    ICDT, 1990, pp:56-71 [Conf]
  5. Antonio Albano, Giorgio Ghelli, Renzo Orsini
    Fibonacci: A Programming Language for Object Databases [Citation Graph (5, 24)][DBLP]
    VLDB J., 1995, v:4, n:3, pp:403-444 [Journal]
  6. Antonio Albano, Giorgio Ghelli, Renzo Orsini
    Objects for a Database Programming Language. [Citation Graph (3, 21)][DBLP]
    DBPL, 1991, pp:236-253 [Conf]
  7. Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini
    A Strongly Typed, Interactive Object-Oriented Database Programming Language. [Citation Graph (3, 0)][DBLP]
    OODBS, 1986, pp:94-103 [Conf]
  8. Giorgio Ghelli
    A Static Type System for Message Passing. [Citation Graph (2, 0)][DBLP]
    OOPSLA, 1991, pp:129-145 [Conf]
  9. Pierre-Louis Curien, Giorgio Ghelli
    Coherence of Subsumption, Minimum Typing and Type-Checking in F<=. [Citation Graph (2, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:1, pp:55-91 [Journal]
  10. Antonio Albano, Giorgio Ghelli, Renzo Orsini
    The Implementation of Galileo's Persistent Values. [Citation Graph (1, 0)][DBLP]
    Data Types and Persistence (Appin), 1985, pp:253-263 [Conf]
  11. Antonio Albano, Giorgio Ghelli, Renzo Orsini
    Types for Databases: The Galileo Experience. [Citation Graph (1, 11)][DBLP]
    DBPL, 1989, pp:196-206 [Conf]
  12. Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    A Calculus for Overloaded Functions with Subtyping. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:182-192 [Conf]
  13. Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. [Citation Graph (1, 0)][DBLP]
    TLCA, 1993, pp:107-123 [Conf]
  14. Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    A Calculus for Overloaded Functions with Subtyping [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1995, v:117, n:1, pp:115-135 [Journal]
  15. Pierre-Louis Curien, Giorgio Ghelli
    Coherence of Subsumption. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:132-146 [Conf]
  16. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
    Secrecy and Group Creation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:365-379 [Conf]
  17. Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli
    Typing Mobility in the Seal Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:82-101 [Conf]
  18. Antonio Albano, Milena Diotallevi, Giorgio Ghelli
    Extensible Objects for Database Evolution: Language Features and Implementation Issues. [Citation Graph (0, 8)][DBLP]
    DBPL, 1995, pp:10- [Conf]
  19. Giorgio Ghelli, Igor Pucci
    The Graphical System of Fibonacci. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1996, pp:237-242 [Conf]
  20. Carlo Sartiani, Paolo Manghi, Giorgio Ghelli, Giovanni Conforti
    XPeer: A Self-Organizing XML P2P Database System. [Citation Graph (0, 0)][DBLP]
    EDBT Workshops, 2004, pp:456-465 [Conf]
  21. Giorgio Ghelli, Christopher Re, Jérôme Siméon
    XQuery!: An XML Query Language with Side Effects. [Citation Graph (0, 0)][DBLP]
    EDBT Workshops, 2006, pp:178-191 [Conf]
  22. Luca Cardelli, Giorgio Ghelli
    A Query Language Based on the Ambient Logic. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:1-22 [Conf]
  23. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
    Manipulating Trees with Hidden Labels. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:216-232 [Conf]
  24. Giovanni Conforti, Giorgio Ghelli
    Decidability of Freshness, Undecidability of Revelation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:105-120 [Conf]
  25. Anuj Dawar, Philippa Gardner, Giorgio Ghelli
    Adjunct Elimination Through Games in Static Ambient Logic. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:211-223 [Conf]
  26. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
    A Spatial Logic for Querying Graphs. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:597-610 [Conf]
  27. Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli
    Mobility Types for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:230-239 [Conf]
  28. Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
    Commutativity Analysis in XML Update Languages. [Citation Graph (0, 0)][DBLP]
    ICDT, 2007, pp:374-388 [Conf]
  29. Giorgio Ghelli
    Complexity of Kernel Fun Subtype Checking. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:134-145 [Conf]
  30. Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
    Types for path correctness of XML queries. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:126-137 [Conf]
  31. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
    Ambient Groups and Mobility Types. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:333-347 [Conf]
  32. Giovanni Conforti, Orlando Ferrara, Giorgio Ghelli
    TQL Algebra and its Implementation. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:422-434 [Conf]
  33. Dario Colazzo, Giorgio Ghelli
    Subtyping Recursive Types in Kernel Fun. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:137-146 [Conf]
  34. Antonio Albano, Giorgio Ghelli, Renzo Orsini
    The Implementation of Galileo's Persistent Values. [Citation Graph (0, 0)][DBLP]
    Data Types and Persistence (Appin), Informal Proceedings, 1985, pp:197-208 [Conf]
  35. Richard C. H. Connor, Giorgio Ghelli, Paolo Manghi
    Persistence, Modules and Type Abstraction. [Citation Graph (0, 0)][DBLP]
    POS, 1996, pp:48-59 [Conf]
  36. Giorgio Ghelli
    Run-Time Support for Hierarchic Records in Persistent Languages. [Citation Graph (0, 0)][DBLP]
    POS, 1992, pp:107-123 [Conf]
  37. Richard C. H. Connor, Malcolm P. Atkinson, Giorgio Ghelli, Atsushi Ohori
    Keynote Discussion Session on Persistent Type Systems. [Citation Graph (0, 0)][DBLP]
    POS, 1992, pp:216-221 [Conf]
  38. Giorgio Ghelli
    Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1990, pp:311-340 [Conf]
  39. Pierre-Louis Curien, Giorgio Ghelli
    On Confluence for Weakly Normalizing Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 1991, pp:215-225 [Conf]
  40. Antonio Albano, Giuseppe Antognoni, Gianluca Baratti, Giorgio Ghelli, Renzo Orsini
    Il Galileo95. [Citation Graph (0, 0)][DBLP]
    SEBD, 1995, pp:247-272 [Conf]
  41. Antonio Albano, C. Brasini, Milena Diotallevi, Giorgio Ghelli, Renzo Orsini
    A Guided Tour of the Fibonacci System. [Citation Graph (0, 0)][DBLP]
    SEBD, 1994, pp:371-394 [Conf]
  42. Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini
    An Introduction to the Database Programming Language Fibonacci. [Citation Graph (0, 0)][DBLP]
    SEBD, 1993, pp:247-266 [Conf]
  43. Luca Cardelli, Giorgio Ghelli
    A Query Language Based on the Ambient Logic. [Citation Graph (0, 0)][DBLP]
    SEBD, 2001, pp:95-104 [Conf]
  44. Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
    Types for Path Correctness of XML Queries. [Citation Graph (0, 0)][DBLP]
    SEBD, 2005, pp:264-271 [Conf]
  45. Giovanni Conforti, Giorgio Ghelli
    Spatial Tree Logics to reason about Semistructured Data. [Citation Graph (0, 0)][DBLP]
    SEBD, 2003, pp:37-48 [Conf]
  46. Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani
    The Query Language TQL - Demo Presentation. [Citation Graph (0, 0)][DBLP]
    SEBD, 2002, pp:427-431 [Conf]
  47. Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
    A Self-organizing XML P2P Database System. [Citation Graph (0, 0)][DBLP]
    SEBD, 2004, pp:394-401 [Conf]
  48. Giorgio Ghelli, F. Nanni, G. Puglielli, Antonio Albano
    Tipi e moduli nel linguaggio Fibonacci. [Citation Graph (0, 0)][DBLP]
    SEBD, 1998, pp:377-397 [Conf]
  49. Giorgio Ghelli, Igor Pucci
    Il sistema grafico del Fibonacci. [Citation Graph (0, 0)][DBLP]
    SEBD, 1996, pp:35-50 [Conf]
  50. Pierre-Louis Curien, Giorgio Ghelli
    Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:731-749 [Conf]
  51. Giorgio Ghelli
    Recursive Types Are not Conservative over F. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:146-162 [Conf]
  52. Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
    Types for Correctness of Queries over Semistructured Data. [Citation Graph (0, 0)][DBLP]
    WebDB, 2002, pp:19-24 [Conf]
  53. Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani
    The Query Language TQL. [Citation Graph (0, 0)][DBLP]
    WebDB, 2002, pp:13-18 [Conf]
  54. Luca Cardelli, Andy Gordon, Giorgio Ghelli
    Secrecy, Group Creation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  55. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
    Manipulating Trees with Hidden Labels. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:177-201 [Journal]
  56. Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà
    Basic Theory of F-Bounded Quantification. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:153, n:1, pp:173-237 [Journal]
  57. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
    Types for the Ambient Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:177, n:2, pp:160-194 [Journal]
  58. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
    Secrecy and group creation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:196, n:2, pp:127-155 [Journal]
  59. Dario Colazzo, Giorgio Ghelli
    Subtyping recursion and parametric polymorphism in kernel fun. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:198, n:2, pp:71-147 [Journal]
  60. Pierre-Louis Curien, Giorgio Ghelli
    Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:109, n:1/2, pp:57-114 [Journal]
  61. Giorgio Ghelli
    Foundations for Extensible Objects with Roles. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:175, n:1, pp:50-75 [Journal]
  62. Giorgio Ghelli
    Termination of System F-bounded: A Complete Proof. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:139, n:1, pp:39-56 [Journal]
  63. Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, Michele Paoli
    A typed text retrieval query language for XML documents. [Citation Graph (0, 0)][DBLP]
    JASIST, 2002, v:53, n:6, pp:467-488 [Journal]
  64. Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
    Static analysis for path correctness of XML queries. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:4-5, pp:621-661 [Journal]
  65. Luca Cardelli, Giorgio Ghelli
    TQL: a query language for semistructured data based on the ambient logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:3, pp:285-327 [Journal]
  66. Giorgio Ghelli
    Divergence of F< Type Checking. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:139, n:1&2, pp:131-162 [Journal]
  67. Giorgio Ghelli, Benjamin C. Pierce
    Bounded Existentials and Minimal Typing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:193, n:1-2, pp:75-96 [Journal]
  68. Antonio Albano, Giuseppe Antognoni, Giorgio Ghelli
    View Operations on Objects with Roles for a Statically Typed Database Language. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2000, v:12, n:4, pp:548-567 [Journal]
  69. Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
    Efficient Inclusion for a Class of XML Types with Interleaving and Counting. [Citation Graph (0, 0)][DBLP]
    DBPL, 2007, pp:231-245 [Conf]
  70. Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon
    A Better Semantics for XQuery with Side-Effects. [Citation Graph (0, 0)][DBLP]
    DBPL, 2007, pp:81-96 [Conf]
  71. Anuj Dawar, Philippa Gardner, Giorgio Ghelli
    Expressiveness and complexity of graph logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:3, pp:263-310 [Journal]

  72. Linear time membership in a class of regular expressions with interleaving and counting. [Citation Graph (, )][DBLP]


  73. Linear inclusion for XML regular expression types. [Citation Graph (, )][DBLP]


  74. Scalable Query Dissemination in XPeer. [Citation Graph (, )][DBLP]


  75. Efficient asymmetric inclusion between regular expression types. [Citation Graph (, )][DBLP]


  76. Scalable Query Dissemination in XPeer. [Citation Graph (, )][DBLP]


  77. Linear Time Membership for a Class of XML Types with Interleaving and Counting. [Citation Graph (, )][DBLP]


  78. Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting. [Citation Graph (, )][DBLP]


  79. XML query optimization in the presence of side effects. [Citation Graph (, )][DBLP]


Search in 0.123secs, Finished in 0.127secs
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