Giorgio Ghelli

Dario Colazzo, Giorgio Ghelli, Carlo Sartiani: Schemas for safe and efficient XML processing. ICDE 2011: 1378-1379

Dario Colazzo, Giorgio Ghelli, Carlo Sartiani: Efficient inclusion for a class of XML types with interleaving and counting. Inf. Syst. 34(7): 643-656 (2009)

Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani: Linear inclusion for XML regular expression types. CIKM 2009: 137-146

Dario Colazzo, Giorgio Ghelli, Carlo Sartiani: Efficient asymmetric inclusion between regular expression types. ICDT 2009: 174-182

Giorgio Ghelli: XML Updates. Encyclopedia of Database Systems 2009: 3654-3656

Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon: Commutativity analysis for XML updates. ACM Trans. Database Syst. 33(4) (2008)

Giorgio Ghelli, Dario Colazzo, Carlo Sartiani: Linear time membership in a class of regular expressions with interleaving and counting. CIKM 2008: 389-398

Giorgio Ghelli, Dario Colazzo, Carlo Sartiani: Linear Time Membership for a Class of XML Types with Interleaving and Counting. PLAN-X 2008

Giorgio Ghelli, Dario Colazzo, Carlo Sartiani: Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting. SEBD 2008: 390-397

Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon: XML query optimization in the presence of side effects. SIGMOD Conference 2008: 339-352

Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. Electr. Notes Theor. Comput. Sci. 172: 177-201 (2007)

Anuj Dawar, Philippa Gardner, Giorgio Ghelli: Expressiveness and complexity of graph logic. Inf. Comput. 205(3): 263-310 (2007)

Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon: A Better Semantics for XQuery with Side-Effects. DBPL 2007: 81-96

Giorgio Ghelli, Dario Colazzo, Carlo Sartiani: Efficient Inclusion for a Class of XML Types with Interleaving and Counting. DBPL 2007: 231-245

Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Scalable Query Dissemination in XPeer. EROW 2007

Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon: Commutativity Analysis in XML Update Languages. ICDT 2007: 374-388

Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Scalable Query Dissemination in XPeer. IDEAS 2007: 199-207

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Static analysis for path correctness of XML queries. J. Funct. Program. 16(4-5): 621-661 (2006)

Giorgio Ghelli, Christopher Re, Jérôme Siméon: XQuery!: An XML Query Language with Side Effects. EDBT Workshops 2006: 178-191

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and group creation. Inf. Comput. 196(2): 127-155 (2005)

Dario Colazzo, Giorgio Ghelli: Subtyping recursion and parametric polymorphism in kernel fun. Inf. Comput. 198(2): 71-147 (2005)

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Types for Path Correctness of XML Queries. SEBD 2005: 264-271

Luca Cardelli, Giorgio Ghelli: TQL: a query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science 14(3): 285-327 (2004)

Carlo Sartiani, Paolo Manghi, Giorgio Ghelli, Giovanni Conforti: XPeer: A Self-Organizing XML P2P Database System. EDBT Workshops 2004: 456-465

Giovanni Conforti, Giorgio Ghelli: Decidability of Freshness, Undecidability of Revelation. FoSSaCS 2004: 105-120

Anuj Dawar, Philippa Gardner, Giorgio Ghelli: Adjunct Elimination Through Games in Static Ambient Logic. FSTTCS 2004: 211-223

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Types for path correctness of XML queries. ICFP 2004: 126-137

Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: A Self-organizing XML P2P Database System. SEBD 2004: 394-401

Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. FoSSaCS 2003: 216-232

Giovanni Conforti, Giorgio Ghelli: Spatial Tree Logics to reason about Semistructured Data. SEBD 2003: 37-48

Giorgio Ghelli: Foundations for Extensible Objects with Roles. Inf. Comput. 175(1): 50-75 (2002)

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Types for the Ambient Calculus. Inf. Comput. 177(2): 160-194 (2002)

Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, Michele Paoli: A typed text retrieval query language for XML documents. JASIST 53(6): 467-488 (2002)

Luca Cardelli, Philippa Gardner, Giorgio Ghelli: A Spatial Logic for Querying Graphs. ICALP 2002: 597-610

Giovanni Conforti, Orlando Ferrara, Giorgio Ghelli: TQL Algebra and its Implementation. IFIP TCS 2002: 422-434

Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani: The Query Language TQL - Demo Presentation. SEBD 2002: 427-431

Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani: The Query Language TQL. WebDB 2002: 13-18

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Types for Correctness of Queries over Semistructured Data. WebDB 2002: 19-24

Giorgio Ghelli, Gösta Grahne (Eds.): Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers. Lecture Notes in Computer Science 2397, Springer 2002, isbn 3-540-44080-1

Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli: Typing Mobility in the Seal Calculus. CONCUR 2001: 82-101

Luca Cardelli, Giorgio Ghelli: A Query Language Based on the Ambient Logic. ESOP 2001: 1-22

Luca Cardelli, Giorgio Ghelli: A Query Language Based on the Ambient Logic. SEBD 2001: 95-104

Luca Cardelli, Andy Gordon, Giorgio Ghelli: Secrecy, Group Creation. Electr. Notes Theor. Comput. Sci. 40: 7 (2000)

Antonio Albano, Giuseppe Antognoni, Giorgio Ghelli: View Operations on Objects with Roles for a Statically Typed Database Language. IEEE Trans. Knowl. Data Eng. 12(4): 548-567 (2000)

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and Group Creation. CONCUR 2000: 365-379

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Ambient Groups and Mobility Types. IFIP TCS 2000: 333-347

Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà: Basic Theory of F-Bounded Quantification. Inf. Comput. 153(1): 173-237 (1999)

Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli: Mobility Types for Mobile Ambients. ICALP 1999: 230-239

Dario Colazzo, Giorgio Ghelli: Subtyping Recursive Types in Kernel Fun. LICS 1999: 137-146

Giorgio Ghelli, Benjamin C. Pierce: Bounded Existentials and Minimal Typing. Theor. Comput. Sci. 193(1-2): 75-96 (1998)

Giorgio Ghelli, F. Nanni, G. Puglielli, Antonio Albano: Tipi e moduli nel linguaggio Fibonacci. SEBD 1998: 377-397

Giorgio Ghelli: Termination of System F-bounded: A Complete Proof. Inf. Comput. 139(1): 39-56 (1997)

Giorgio Ghelli, Igor Pucci: The Graphical System of Fibonacci. DEXA Workshop 1996: 237-242

Giorgio Ghelli: Complexity of Kernel Fun Subtype Checking. ICFP 1996: 134-145

Richard C. H. Connor, Giorgio Ghelli, Paolo Manghi: Persistence, Modules and Type Abstraction. POS 1996: 48-59

Giorgio Ghelli, Igor Pucci: Il sistema grafico del Fibonacci. SEBD 1996: 35-50

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping. Inf. Comput. 117(1): 115-135 (1995)

Giorgio Ghelli: Divergence of F< Type Checking. Theor. Comput. Sci. 139(1&2): 131-162 (1995)

Antonio Albano, Giorgio Ghelli, Renzo Orsini: Fibonacci: A Programming Language for Object Databases. VLDB J. 4(3): 403-444 (1995)

Antonio Albano, Milena Diotallevi, Giorgio Ghelli: Extensible Objects for Database Evolution: Language Features and Implementation Issues. DBPL 1995: 10

Antonio Albano, Giuseppe Antognoni, Gianluca Baratti, Giorgio Ghelli, Renzo Orsini: Il Galileo95. SEBD 1995: 247-272

Pierre-Louis Curien, Giorgio Ghelli: Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le. Inf. Comput. 109(1/2): 57-114 (1994)

Antonio Albano, C. Brasini, Milena Diotallevi, Giorgio Ghelli, Renzo Orsini: A Guided Tour of the Fibonacci System. SEBD 1994: 371-394

Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini: An Introduction to the Database Programming Language Fibonacci. SEBD 1993: 247-266

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA 1993: 107-123

Giorgio Ghelli: Recursive Types Are not Conservative over F. TLCA 1993: 146-162

Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini: An Object Data Model with Roles. VLDB 1993: 39-51

Pierre-Louis Curien, Giorgio Ghelli: Coherence of Subsumption, Minimum Typing and Type-Checking in F_<=. Mathematical Structures in Computer Science 2(1): 55-91 (1992)

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming 1992: 182-192

Giorgio Ghelli: Run-Time Support for Hierarchic Records in Persistent Languages. POS 1992: 107-123

Richard C. H. Connor, Malcolm P. Atkinson, Giorgio Ghelli, Atsushi Ohori: Keynote Discussion Session on Persistent Type Systems. POS 1992: 216-221

Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini: Object-Oriented Galileo. On Object-Oriented Database System 1991: 87-104

Antonio Albano, Giorgio Ghelli, Renzo Orsini: Objects for a Database Programming Language. DBPL 1991: 236-253

Giorgio Ghelli: A Static Type System for Message Passing. OOPSLA 1991: 129-145

Pierre-Louis Curien, Giorgio Ghelli: On Confluence for Weakly Normalizing Systems. RTA 1991: 215-225

Pierre-Louis Curien, Giorgio Ghelli: Subtyping + Extensionality: Confluence of beta-eta-top reduction in F_<=. TACS 1991: 731-749

Antonio Albano, Giorgio Ghelli, Renzo Orsini: A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. VLDB 1991: 565-575

Pierre-Louis Curien, Giorgio Ghelli: Coherence of Subsumption. CAAP 1990: 132-146

Giorgio Ghelli: A Class Abstraction for a Hierarchical Type System. ICDT 1990: 56-71

Giorgio Ghelli: Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. REX Workshop 1990: 311-340

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. DBPL 1989: 170-178

Antonio Albano, Giorgio Ghelli, Renzo Orsini: Types for Databases: The Galileo Experience. DBPL 1989: 196-206

Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini: A Strongly Typed, Interactive Object-Oriented Database Programming Language. OODBS 1986: 94-103

Antonio Albano, Giorgio Ghelli, Renzo Orsini: The Implementation of Galileo's Persistent Values. Data Types and Persistence (Appin) 1985: 253-263

Antonio Albano, Giorgio Ghelli, Renzo Orsini: The Implementation of Galileo's Persistent Values. Data Types and Persistence (Appin), Informal Proceedings 1985: 197-208