Publications

    Books:

  1. A. Albano, G. Ghelli, and R. Orsini. Basi di Dati Relazionali e a Oggetti. Zanichelli, 1997.

    2. PhD Thesis:

  2. G. Ghelli. Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism. PhD thesis, Dipartimento di Informatica, Università di Pisa, March 1990. Tech. Rep. TD-6/90.

    3. Book editing:

  3. G. Ghelli and G. Grahne, editors. Proc. of the 8th Intl. Workshop on Data Base Programming Languages (DBPL), Frascati, Italy, Revised Papers, number 2397 in LNCS. Springer-Verlag, 2002.

    4. Top conferences (see CORE list here):

  4. G. Ghelli, N. Onose, K. Rose, and J. Siméon. XML query optimization in the presence of side effects. In Proc. of ACM SIGMOD Conference (SIGMOD), Vancouver, Canada, pages 339-352, 2008. (pdf)
  5. D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani. Types for path correctness for XML queries. In Proc. of ACM International Conference on Functional Programming (ICFP), Snowbird, Utah, USA, pages 126-137, September 2004. (pdf)
  6. D. Colazzo and G. Ghelli. Subtyping recursive types in kernel Fun, extended abstract. In Proc. of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS), Trento, Italy, June 1999. (pdf) (full paper)
  7. G. Ghelli. Complexity of kernel Fun subtype checking. In Proc. of ACM International Conference on Functional Programming (ICFP), Philadelphia, Pennsylvania, pages 134-145. ACM Press, May 1996. (pdf)
  8. A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An object data model with roles. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. of the Nineteenth Intl. Conf. on Very Large Data Bases (VLDB), Dublin, Ireland, pages 39-51, San Mateo, CA, 1993. Morgan Kaufmann. (pdf)
  9. A. Albano, G. Ghelli, and R. Orsini. A relationship mechanism for object-oriented database programming language. In G.M. Lohman, A. Sernadas, and R. Camps, editors, Proc. of the Seventeenth Intl. Conf. on Very Large Data Bases (VLDB), Barcelona, Spain, pages 565-576, San Mateo, CA, 1991. Morgan Kaufmann. (pdf)
  10. G. Ghelli. A static type system for message passing. In A. Paepcke, editor, Proc. of the Sixth Intl. ACM Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA), Phoenix, Arizona, number 26 (11) in ACM SIGPLAN Notices, pages 129-145, Reading, MA, 1991. Addison-Wesley. (pdf)

    11. Journal papers:

  11. G. Ghelli, D. Colazzo, and C. Sartiani. Efficient inclusion for a class of XML types with interleaving and counting. In Information Systems, 34(7):643-656, 2009. (pdf)
  12. G. Ghelli, K. Rose, and J. Siméon. Commutativity analysis for XML updates. ACM Transactions on Database Systems, 33(4):1-47, 2008. (pdf)
  13. A. Dawar, P. Gardner, and G. Ghelli. Expressiveness and complexity of graph logic. Information and Computation, 205(3):263-310, 2007. (pdf)
  14. D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani. Static analysis for path correctness of XML queries. Journal of Functional Programming (JFP), 16(4-5):621-661, 2006. (pdf)
  15. L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. Information and Computation, 196(2): 127-155, 2005. (pdf)
  16. D. Colazzo and G. Ghelli. Subtyping, recursion and parametric polymorphism in Kernel Fun. Information and Computation, 198(2):71-147, 2005. (pdf)
  17. L. Cardelli and G. Ghelli. TQL: A query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science, 14(3):285-327, 2004. (pdf)
  18. L. Cardelli, G. Ghelli, and A. D. Gordon. Types for the ambient calculus. Information and Computation, 177(2):160-194, 2002. (pdf)
  19. D. Colazzo, C. Sartiani, A. Albano, P. Manghi, G. Ghelli, L. Lini, and M. Paoli. A typed text retrieval query language for XML documents. Journal of the American Society for Information Science and Technology (JASIS), 53(6):467-488, 2002.
  20. G. Ghelli. Foundations for extensible objects with roles. Information and Computation, 175(1):50-75, 2002. (pdf)
  21. A. Albano, G.Antognoni, and G. Ghelli. View operations on objects with roles for a statically typed database language. IEEE Transactions on Knowledge and Data Engineering, 12(4):548-567, 2000. (pdf)
  22. P. Baldan, G. Ghelli, and A. Raffaetà. Basic theory of F-bounded quantification. Information and Computation, 153(2):173-237, 1999. (pdf)
  23. G. Ghelli and B. Pierce. Bounded existentials and minimal typing. Theoretical Computer Science, 193(1-2):75-96, 1998.
  24. G. Ghelli. Termination of system F-bounded: a complete proof. Information and Computation, 193(1):39-56, 1997. (pdf)
  25. A. Albano, G. Ghelli, and R. Orsini. Fibonacci: A programming language for object databases. Journal of Very Large Data Bases, 4(3):403-444, 1995. (pdf)
  26. G. Ghelli. Divergence of Fsub type checking. Theoretical Computer Science, 139(1-2):131-162, 1995. (pdf)
  27. G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. Information and Computation, 117(1):115-135, 1995. (pdf)
  28. P.-L. Curien and G. Ghelli. Decidability and confluence of beta-eta top reduction in Fsub. Information and Computation, 109(1, 2):57-114, 1994.
  29. P.-L. Curien and G. Ghelli. Coherence of subsumption, minimum typing and type checking in Fsub. Mathematical Structures in Computer Science, 2(1):55-91, 1992.

    30. Book chapters:

  30. G. Ghelli. XML updates. In Encyclopedia of Database Systems. Springer-Verlag, 2009. Publisher site
  31. L. Cardelli, P. Gardner, and G. Ghelli. Manipulating trees with hidden labels. In Computation, Meaning and Logic: Articles dedicated to Gordon Plotkin, number 172 in ENTCS - Electronic Notes in Theoretical Computer Science, pages 177-201, 2007. (pdf)
  32. G. Ghelli and R. Orsini. Types and subtypes as partial equivalence relations. In Lenzerini, Nardi, and Simi, editors, Data Types and Persistence, pages 191-209, Chichester, England, 1991. J. Wiley & Sons. A preliminary versione published in the Proceedings of the Workshop on Inheritance Hierarchies in Knowledge Representation and Programming Languages, Viareggio, February 6-8, 1989.
  33. A. Albano, G. Ghelli, M.E. Occhiuto, and R. Orsini. Object-oriented Galileo. In K. Dittrich, U. Dayal, and A. Buchmann, editors, On Object-Oriented Database Systems, Topics in Information Systems, pages 87-103, Berlin, 1991. Springer-Verlag. A preliminary version published in the Proceedings of the First Intl. Workshop on Object-Oriented Database Systems, Asilomar, California, 1988.
  34. A. Albano, G. Ghelli, and R. Orsini. The implementation of Galileo's persistent values. In M. Atkinson, P. Bunemann, and R. Morrison, editors, Data Types and Persistence, Topics in Information Systems, pages 253-263, Berlin, 1988. Springer-Verlag. A preliminary version published in the Proceedings of the Workshop on Persistence and Data Types, Appin, Scotland, August, 1985.

    35. Invited papers:

  35. G. Ghelli, D. Colazzo, and C. Sartiani. Almost Linear Inclusion of XML Types In The 12th Intl.\ Symposium on Data Base Programming Languages (DBPL), keynote talk, 2009. (pdf)
  36. G. Ghelli, C. Ré, and J. Siméon. XQuery!: An XML query language with side effects. In Actes des 21es journées: Bases de données avancées (BDA), Saint-Malo, France, 2005.
  37. L. Cardelli, P. Gardner, and G. Ghelli. A spatial logic for querying graphs. Workshop on the Mathematical Foundations of Programming Semantics (MFPS), New Orleans, USA, March 2002.
  38. L. Cardelli, and G. Ghelli, A Query Language Based on the Ambient Logic. In Proc. of the European Symposium on Programming (ESOP), Genova, Italy, number 2028 in LNCS, pages 1-22, Berlin, April 2001. Springer-Verlag. (pdf)
  39. G. Ghelli. Modelling features of object-oriented languages in second order functional languages with subtypes. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, number 489 in LNCS, pages 311-340, Berlin, 1991. Springer-Verlag.
  40. A. Albano and G. Ghelli. Object-oriented data base programming languages. In V. A. Monaco and R. Negrini, editors, Proc. of Advanced Computer Technology, Reliable Systems and Applications, 5th IEEE Annual European Computer Conference, Bologna, Italy, pages 726-734, Los Alamitos, CA, 1991. IEEE Computer Society Press.

    41. Tutorials:

  41. Dario Colazzo, Giorgio Ghelli, and Carlo Sartiani. Schemas for safe and efficient XML processing. In Proc. of the 27th International Conference on Data Engineering (ICDE), pages 1378-1379. IEEE Computer Society, 2011.

    42. Other International conferences:

  42. D. Colazzo, G. Ghelli, L. Pardini, and C. Sartiani. Linear inclusion for XML regular expression types. In Proc. of ACM Conference on Information and Knowledge Management (CIKM), Hong Kong, China, 2009.
  43. D. Colazzo, G. Ghelli, and C. Sartiani. Efficient asymmetric inclusion between regular expression types. In Proc. of the 12th Intl. Conf. on Database Theory (ICDT), Saint-Petersburg, Russia, 2009. (pdf)
  44. G. Ghelli, D. Colazzo, and C. Sartiani. Linear time membership for a class of XML types with interleaving and counting. In Proc. of ACM Conference on Information and Knowledge Management (CIKM), Napa Valley, CA, 2008. (pdf)
  45. G. Conforti, G. Ghelli, P. Manghi, and C. Sartiani. Scalable query dissemination in XPeer. In Proc. of the 11th International Database Engineering and Applications Symposium (IDEAS), Banff, Canada, 2007. (pdf)
  46. G. Ghelli, K. Rose, and J. Siméon. Commutativity analysis in XML update languages. In Proc. of the 11th Intl. Conf. on Database Theory (ICDT), Barcelona, Spain, LNCS, Berlin, 2007. Springer-Verlag. (pdf)
  47. M. Carey, D. Chamberlin, M. Fernandez, D. Florescu, G. Ghelli, D. Kossmann, J. Robie, and J. Siméon. XQueryP: An XML application development language. In Proc. of XML 2006, Boston, Usa, 2006.
  48. A. Dawar, P. Gardner, and G. Ghelli. Adjunct elimination through games in Static Ambient Logic (extended abstract). In Proc. of the 24th Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Chennai, India, number 3328 in LNCS, Berlin, December 2004. Springer-Verlag. (pdf)
  49. G. Conforti and G. Ghelli. Decidability of freshness, undecidability of revelation (extended abstract). In Proc. of Foundations of Software Science and Computation Structures (FOSSACS), Barcelona, Spain, number 2987 in LNCS, pages 105-120, Berlin, March-April 2004. Springer-Verlag.
  50. L. Cardelli, P. Gardner, and G. Ghelli. Manipulating trees with hidden labels. In Proc. of Foundations of Software Science and Computation Structures (FOSSACS), Warsaw, Poland, number 2620 in LNCS, pages 216-232, Berlin, April 2003. Springer-Verlag. (pdf)
  51. G. Conforti, O. Ferrara, and G. Ghelli. TQL algebra and its implementation (extended abstract). In Proc. of IFIP International Conference on Theoretical Computer Science (IFIP TCS), Montreal, Canada, pages 422-434, August 2002. (pdf)
  52. L. Cardelli, P. Gardner, and G. Ghelli. A spatial logic for querying graphs. In Proc. of the 29th International Colloquium on Automata, Languages, and Programming (ICALP), Malaga, Spain, number 2380 in LNCS, pages 597-610, Berlin, July 2002. Springer-Verlag. (pdf)
  53. G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing mobility in the Seal Calculus. In Proc. of the 12th International Conference on Concurrency Theory (CONCUR), Aalborg, Denmark, number 2154 in LNCS, pages 82-101, Berlin, August 2001. Springer-Verlag.
  54. L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. In Proc. of the 11th International Conference on Concurrency Theory (CONCUR), University Park, PA, USA, number 1877 in LNCS, pages 365-379, Berlin, August 2000. Springer-Verlag. (pdf)
  55. L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. In Proc. of IFIP International Conference on Theoretical Computer Science (IFIP TCS), Sendai, Japan, August 2000. (pdf)
  56. L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In Proc. of the 26th International Colloquium on Automata, Languages, and Programming (ICALP), Prague, Czech Republic, number 1644 in LNCS, pages 230-239, Berlin, July 1999. Springer-Verlag. (pdf)
  57. G. Castagna, G. Ghelli, and G. Longo. A semantics for -early: a calculus with overloading and early binding. In M. Bezen and J.F. Groote, editors, Proc. of the International Conference on Typed Lambda Calculi and Applications (TLCA), Utrecht, The Netherlands, number 664 in LNCS, pages 107-123, Berlin, March 1993. Springer-Verlag.
  58. G. Ghelli. Recursive types are not conservative over Fsub. In M. Bezen and J.F. Groote, editors, Proc. of the International Conference on Typed Lambda Calculi and Applications (TLCA), Utrecht, The Netherlands, number 664 in LNCS, pages 146-162, Berlin, March 1993. Springer-Verlag. (pdf)
  59. G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping, extended abstract. In Proc. of ACM Conference on LISP and Functional Programming (LFP), San Francisco, Ca, pages 182-192. ACM Press, July 1992. (pdf)
  60. G. Ghelli, R. Orsini, A.P. Paz, and P. Trinder. Design of an integrated query and manipulation notation for database languages. In B. D. Shriver, editor, Proc. of the 25th Hawaii International Conference on System Sciences (HICSS), pages 777-786, Los Alamitos, CA, 1992. IEEE Computer Society Press.
  61. P.-L. Curien and G. Ghelli. Subtyping + extensionality: Confluence of beta-eta top in Fsub, extended abstract. In Proc. of Intl. Conference on Theoretical Aspects of Computer Science (TACS), Sendai, Japan, number 526 in LNCS, pages 731-749, Berlin, 1991. Springer-Verlag.
  62. P.-L. Curien and G. Ghelli. On confluence for weakly normalizing systems. In R. V. Book, editor, Proc. of the Fourth Intl. Conf. on Rewriting Techniques and Applications (RTA), Como, Italy, number 488 in LNCS, pages 215-225, Berlin, 1991. Springer-Verlag.
  63. G. Ghelli. A class abstraction for a hierarchical type system. In S. Abiteboul and P. C. Kanellakis, editors, Proc. of the Third Intl. Conf. on Database Theory (ICDT), Paris, France, number 470 in LNCS, pages 56-71, Berlin, 1990. Springer-Verlag.
  64. P.-L. Curien and G. Ghelli. Coherence of subsumption. In A. Arnold, editor, Proc. of CAAP '90, number 431 in LNCS, pages 132-146, Berlin, 1990. Springer-Verlag.
  65. A. Albano, G. Ghelli, and R. Orsini. Reflections on object-oriented database programming languages features. In Proc. of the 12th International Seminar on Database Management Systems, Suzdal, USSR, October 17-20, 1989.

    66. International Workshops:

  66. Dario Colazzo, Giorgio Ghelli, and Carlo Sartiani. Typing massive JSON datasets. In Informal proc. of the first International Workshop on Cross-model Language Design and Implementation (XLDI), Copenhagen, Denmark, 2012.
  67. G. Ghelli, D. Colazzo, and C. Sartiani. Linear time membership for a class of XML types with interleaving and counting. In Proc. of Workshop on Programming Language Technologies for XML (PLAN-X), San Francisco, CA, 2008. (pdf)
  68. G. Ghelli, D. Colazzo, and C. Sartiani. Efficient Inclusion for a Class of XML Types with interleaving and counting. In Proc. of the 11th Data Base Programming Languages (DBPL), Vienna, Austria, number 4797 in LNCS, pages 231-245, Berlin, 2007. Springer-Verlag. (pdf)
  69. G. Ghelli, N. Onose, K. Rose, and J. Siméon. A Better Semantics for XQuery with Side-Effects. In Proc. of the 11th Data Base Programming Languages (DBPL), Vienna, Austria, number 4797 in LNCS, pages 81-96, Berlin, 2007. Springer-Verlag. (pdf)
  70. C. Sartiani, P. Manghi, G. Ghelli, and G. Conforti. Scalable query dissemination in XPeer. In Proc. of Workshop on Emerging Research Opportunities in Web Data Management (EROW), Barcelona, Spain. 2007. (pdf)
  71. G. Ghelli, C. Ré, and J. Siméon. XQuery!: An XML query language with side effects. In Proc. of Workshop on Database Technologies for Handling XML Information on the Web (DataX), number 4254 in LNCS, pages 178-191, Berlin, 2006. Springer-Verlag. (pdf)
  72. A. Dawar, P. Gardner, and G. Ghelli. Adjunct elimination through games. In Proc. of the Workshop on Logics for Resources, Processes, and Programs (LRPP), Turku, Finland, July 2004.
  73. C. Sartiani, P. Manghi, G. Ghelli, and G. Conforti. XPeer: A self-organizing XML P2P database system. In Proc. of the First International Workshop on Peer-to-Peer Computing and Databases (P2P&DB), Heraklion - Crete, Greece, number 3268 in LNCS, pages 456-465, Berlin, 2004. Springer-Verlag. (pdf),
  74. G. Conforti, G. Ghelli, A. Albano, D. Colazzo, P. Manghi, and C. Sartiani. The query language TQL. In Proc. of the 5th International Workshop on the Web and Databases (WebDB), Madison, Wisconsin, USA, 2002. (pdf)
  75. D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani. Types for correctness of queries over semistructured data. In Proc. of the 5th International Workshop on the Web and Databases (WebDB), Madison, Wisconsin, USA, 2002. (pdf)
  76. A. Albano, D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani. A type system for querying XML documents (extended abstract). In ACM SIGIR 2000 Workshop on XML and Information Retrieval, Athens, Greece, 2000.
  77. G.  Ghelli and D. Palmerini. Foundations for extensible objects with roles, extended abstract. In Proc. of the 6th Workshop on Foundations of Object-Oriented Languages (FOOL), San Antonio, Texas, January 1999. (pdf)
  78. G. Ghelli and I. Pucci. The graphical system of Fibonacci. In R. R. Wagner, editor, Proc. of the 7th International Conference and Workshop on Database and Expert Systems Applications (DEXA), Zurich, Switzerland, pages 237-242, Los Alamitos, CA, September 1996. IEEE Computer Society Press.
  79. R. Connor, G. Ghelli, and P. Manghi. Modules and type abstraction in persistent systems. In R. Connor and S. Nettles, editors, Proc. of the 7th International Workshop on Persistent Object Systems (POS), Cape May, New Jersey, pages 48-59, San Mateo, CA, May 1996. Morgan Kaufmann.
  80. A. Albano, M. Diotallevi, and G. Ghelli. Extensible objects for database evolution: Language features and implementation issues. In Proc. of the Fifth Intl. Workshop on Data Base Programming Languages (DBPL), Gubbio, Italy, 1995. (pdf)
  81. G. Ghelli. Run-time support for hierarchic records in persistent languages. In A. Albano and R. Morrison, editors, Proc. of the 5th International Workshop on Persistent Object Systems (POS), San Miniato, Pisa, Workshops in Computing, pages 107-123, Berlin, September 1992. Springer-Verlag.
  82. A. Albano, G. Ghelli, and R. Orsini. Objects for a database programming language. In P. C. Kanellakis and J. W. Schmidt, editors, Proc. of the Third Intl. Workshop on Data Base Programming Languages (DBPL), Napflion, Greece, pages 236-253, San Mateo, CA, 1991. Morgan Kaufmann.
  83. A. Albano, G. Ghelli, and R. Orsini. Types for databases: the Galileo experience. In R. Hull, R. Morrison, and D. Stemple, editors, Proc. of the Second Intl. Workshop on Data Base Programming Languages (DBPL), Salishan Lodge, Oregon, pages 196-206, San Mateo, CA, 1989. Morgan Kaufmann.
  84. A. Albano, A. Dearle, G. Ghelli, C. Marlin, R. Morrison, R. Orsini, and D. Stemple. A framework for comparing type systems for database programming languages. In R. Hull, R. Morrison, and D. Stemple, editors, Proc. of the Second Intl. Workshop on Data Base Programming Languages (DBPL), Salishan Lodge, Oregon, pages 170-178, San Mateo, CA, 1989. Morgan Kaufmann.
  85. G. Ghelli. Null values: How nicely they fit in a hierarchical type system. In Proc. of the 2nd Intl. Workshop on Persistent Object Systems (POS), Newcastle, Australia, San Mateo, CA, 1988. Morgan Kaufmann.

    86. Italian conferences:

  86. G. Conforti, G. Ghelli, P. Manghi, and C. Sartiani. A self-organizing XML P2P database system. In Proc. of Dodicesimo Convegno su Sistemi Evoluti per Basi di Dati, S.Margherita di Pula, Cagliari, Italy, 2004. (pdf)
  87. G. Ghelli, F. Nanni, G. Puglielli, and A. Albano. Tipi e moduli nel linguaggio Fibonacci. In Proc. of Sesto Convegno su Sistemi Evoluti per Basi di Dati, Ravenna, Italy, 1998.
  88. G. Ghelli and I. Pucci. Il sistema grafico del Fibonacci. In Proc. of Quarto Convegno su Sistemi Evoluti per Basi di Dati, San Miniato, Italy, pages 35-50, 1996.
  89. A. Albano, G. Antognoni, G. Baratti, G. Ghelli, and R. Orsini. Galileo 95. In Proc. of Terzo Convegno su Sistemi Evoluti per Basi di Dati, Ravello, Italy, 1995.
  90. A. Albano, C. Brasini, M. Diotallevi, G. Ghelli, and R. Orsini. A guided tour of the Fibonacci system. In Proc. of Secondo Convegno su Sistemi Evoluti per Basi di Dati, Rimini, Italy, pages 371-396, 1994.
  91. A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An introduction to the database programming language Fibonacci. In Proc. of Convegno su Sistemi Evoluti per Basi di Dati, Gizzeria Lido (CZ), Italy, 1993.
Giorgio Ghelli