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

A Strongly Typed, Interactive Object-Oriented Database Programming Language. - Antonio Albano; Giorgio Ghelli; M. Eugenia Occhiuto; Renzo Orsini (OODBS, 1986)

A Framework for Comparing Type Systems for Database Programming Languages. - Antonio Albano; Alan Dearle; Giorgio Ghelli; Chris D. Marlin; Ronald Morrison; Renzo Orsini; David W. Stemple (DBPL, 1989)

Types for Databases: The Galileo Experience. - Antonio Albano; Giorgio Ghelli; Renzo Orsini (DBPL, 1989)

Coherence of Subsumption. - Pierre-Louis Curien; Giorgio Ghelli (CAAP, 1990)

A Class Abstraction for a Hierarchical Type System. - Giorgio Ghelli (ICDT, 1990)

Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. - Giorgio Ghelli (REX Workshop, 1990)

Object-Oriented Galileo. - Antonio Albano; Giorgio Ghelli; M. Eugenia Occhiuto; Renzo Orsini (On Object-Oriented Database System, 1991)

Objects for a Database Programming Language. - Antonio Albano; Giorgio Ghelli; Renzo Orsini (DBPL, 1991)

A Static Type System for Message Passing. - Giorgio Ghelli (OOPSLA, 1991)

On Confluence for Weakly Normalizing Systems. - Pierre-Louis Curien; Giorgio Ghelli (RTA, 1991)

Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=. - Pierre-Louis Curien; Giorgio Ghelli (TACS, 1991)

A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. - Antonio Albano; Giorgio Ghelli; Renzo Orsini (VLDB, 1991)

Keynote Discussion Session on Persistent Type Systems. - Richard C. H. Connor; Malcolm P. Atkinson 001; Giorgio Ghelli; Atsushi Ohori (POS, 1992)

Run-Time Support for Hierarchic Records in Persistent Languages. - Giorgio Ghelli (POS, 1992)

Coherence of Subsumption, Minimum Typing and Type-Checking in F<=. - Pierre-Louis Curien; Giorgio Ghelli (Math. Struct. Comput. Sci., 1992)

An Introduction to the Database Programming Language Fibonacci. - Antonio Albano; Roberto Bergamini; Giorgio Ghelli; Renzo Orsini (SEBD, 1993)

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

Recursive Types Are not Conservative over F. - Giorgio Ghelli (TLCA, 1993)

An Object Data Model with Roles. - Antonio Albano; Roberto Bergamini; Giorgio Ghelli; Renzo Orsini (VLDB, 1993)

A Guided Tour of the Fibonacci System. - Antonio Albano; Carla Brasini; Milena Diotallevi; Giorgio Ghelli; Renzo Orsini (SEBD, 1994)

Decidability and Confluence of beta eta hboxtop_ le Reduction in F_ le - Pierre-Louis Curien; Giorgio Ghelli (Inf. Comput., 1994)

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

Il Galileo95. - Antonio Albano; Giuseppe Antognoni; Gianluca Baratti; Giorgio Ghelli; Renzo Orsini (SEBD, 1995)

Divergence of F< Type Checking. - Giorgio Ghelli (Theor. Comput. Sci., 1995)

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

A Calculus for Overloaded Functions with Subtyping - Giuseppe Castagna; Giorgio Ghelli; Giuseppe Longo (Inf. Comput., 1995)

The Graphical System of Fibonacci. - Giorgio Ghelli; Igor Pucci (DEXA Workshop, 1996)

Complexity of Kernel Fun Subtype Checking. - Giorgio Ghelli (ICFP, 1996)

Persistence, Modules and Type Abstraction. - Richard Connor 001; Giorgio Ghelli; Paolo Manghi (POS, 1996)

Il sistema grafico del Fibonacci. - Giorgio Ghelli; Igor Pucci (SEBD, 1996)

Termination of System F-bounded: A Complete Proof. - Giorgio Ghelli (Inf. Comput., 1997)

Tipi e moduli nel linguaggio Fibonacci. - Giorgio Ghelli; F. Nanni; G. Puglielli; Antonio Albano (SEBD, 1998)

Bounded Existentials and Minimal Typing. - Giorgio Ghelli; Benjamin C. Pierce (Theor. Comput. Sci., 1998)

Mobility Types for Mobile Ambients. - Luca Cardelli; Andrew D. Gordon 001; Giorgio Ghelli (ICALP, 1999)

Subtyping Recursive Types in Kernel Fun. - Dario Colazzo; Giorgio Ghelli (LICS, 1999)

Basic Theory of F-Bounded Quantification. - Paolo Baldan; Giorgio Ghelli; Alessandra Raffaetà (Inf. Comput., 1999)

Ambient Groups and Mobility Types. - Luca Cardelli; Giorgio Ghelli; Andrew D. Gordon 001 (IFIP TCS, 2000)

Secrecy, Group Creation. - Luca Cardelli; Andy Gordon 001; Giorgio Ghelli (MFCSIT, 2000)

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

Typing Mobility in the Seal Calculus. - Giuseppe Castagna; Giorgio Ghelli; Francesco Zappa Nardelli (CONCUR, 2001)

A Query Language Based on the Ambient Logic. - Luca Cardelli; Giorgio Ghelli (SEBD, 2001)

A Spatial Logic for Querying Graphs. - Luca Cardelli; Philippa Gardner; Giorgio Ghelli (ICALP, 2002)

TQL Algebra and its Implementation. - Giovanni Conforti; Orlando Ferrara; Giorgio Ghelli (IFIP TCS, 2002)

The Query Language TQL - Demo Presentation. - Giovanni Conforti; Giorgio Ghelli; Antonio Albano; Dario Colazzo; Paolo Manghi; Carlo Sartiani (SEBD, 2002)

Types for Correctness of Queries over Semistructured Data. - Dario Colazzo; Giorgio Ghelli; Paolo Manghi; Carlo Sartiani (WebDB, 2002)

The Query Language TQL. - Giovanni Conforti; Giorgio Ghelli; Antonio Albano; Dario Colazzo; Paolo Manghi; Carlo Sartiani (WebDB, 2002)

Types for the Ambient Calculus. - Luca Cardelli; Giorgio Ghelli; Andrew D. Gordon 001 (Inf. Comput., 2002)

Foundations for Extensible Objects with Roles. - Giorgio Ghelli (Inf. Comput., 2002)

A typed text retrieval query language for XML documents. - Dario Colazzo; Carlo Sartiani; Antonio Albano; Paolo Manghi; Giorgio Ghelli; Luca Lini; Michele Paoli (J. Assoc. Inf. Sci. Technol., 2002)

Spatial Tree Logics to reason about Semistructured Data. - Giovanni Conforti; Giorgio Ghelli (SEBD, 2003)

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

Decidability of Freshness, Undecidability of Revelation. - Giovanni Conforti; Giorgio Ghelli (FoSSaCS, 2004)

Adjunct Elimination Through Games in Static Ambient Logic. - Anuj Dawar; Philippa Gardner; Giorgio Ghelli (FSTTCS, 2004)

A Self-organizing XML P2P Database System. - Giovanni Conforti; Giorgio Ghelli; Paolo Manghi; Carlo Sartiani (SEBD, 2004)

TQL: a query language for semistructured data based on the ambient logic. - Luca Cardelli; Giorgio Ghelli (Math. Struct. Comput. Sci., 2004)

Types for Path Correctness of XML Queries. - Dario Colazzo; Giorgio Ghelli; Paolo Manghi; Carlo Sartiani (SEBD, 2005)

Secrecy and group creation. - Luca Cardelli; Giorgio Ghelli; Andrew D. Gordon 001 (Inf. Comput., 2005)

Subtyping recursion and parametric polymorphism in kernel fun. - Dario Colazzo; Giorgio Ghelli (Inf. Comput., 2005)

XQuery!: An XML Query Language with Side Effects. - Giorgio Ghelli; Christopher Ré; Jérôme Siméon (EDBT Workshops, 2006)

Static analysis for path correctness of XML queries. - Dario Colazzo; Giorgio Ghelli; Paolo Manghi; Carlo Sartiani (J. Funct. Program., 2006)

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

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

Scalable Query Dissemination in XPeer. - Giovanni Conforti; Giorgio Ghelli; Paolo Manghi; Carlo Sartiani (IDEAS, 2007)

Manipulating Trees with Hidden Labels. - Luca Cardelli; Philippa Gardner; Giorgio Ghelli (Computation, Meaning, and Logic, 2007)

Expressiveness and complexity of graph logic. - Anuj Dawar; Philippa Gardner; Giorgio Ghelli (Inf. Comput., 2007)

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

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

Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting. - Giorgio Ghelli; Dario Colazzo; Carlo Sartiani (SEBD, 2008)

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

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

Linear inclusion for XML regular expression types. - Dario Colazzo; Giorgio Ghelli; Luca Pardini; Carlo Sartiani (CIKM, 2009)

Efficient asymmetric inclusion between regular expression types. - Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (ICDT, 2009)

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

XML Updates. - Giorgio Ghelli (Encyclopedia of Database Systems, 2009)

Schemas for safe and efficient XML processing. - Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (ICDE, 2011)

Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking. - Dario Colazzo; Giorgio Ghelli; Luca Pardini; Carlo Sartiani (Theor. Comput. Sci., 2013)

Almost-linear inclusion for XML regular expression types. - Dario Colazzo; Giorgio Ghelli; Luca Pardini; Carlo Sartiani (ACM Trans. Database Syst., 2013)

Counting types for massive JSON datasets. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (DBPL, 2017)

Schema Inference for Massive JSON Datasets. - Mohamed-Amine Baazizi; Houssem Ben Lahmar; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (EDBT, 2017)

Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation. - Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (ACM Trans. Database Syst., 2017)

XML Updates. - Giorgio Ghelli (Encyclopedia of Database Systems (2nd ed.), 2018)

Schemas And Types For JSON Data. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (EDBT, 2019)

A Type System for Interactive JSON Schema Inference (Extended Abstract). - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (ICALP, 2019)

Schemas and Types for JSON Data: From Theory to Practice. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (SIGMOD Conference, 2019)

Parametric schema inference for massive JSON datasets. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (VLDB J., 2019)

Human-in-the-Loop Schema Inference for Massive JSON Datasets. - Mohamed-Amine Baazizi; Clément Berti; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (EDBT, 2020)

Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas. - Michael Fruth; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (ER (Workshops), 2020)

A Tool for JSON Schema Witness Generation. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Francesco Falleni; Giorgio Ghelli; Cristiano Landi; Carlo Sartiani; Stefanie Scherzinger (EDBT, 2021)

A Test Suite for JSON Schema Containment. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Yunchen Ding; Michael Fruth; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (ER Demos/Posters, 2021)

An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (ER, 2021)

Not Elimination and Witness Generation for JSON Schema. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (CoRR, 2021)

An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version). - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (CoRR, 2021)

The Usage of Negation in Real-World JSON Schema Documents. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (SEBD, 2022)

Witness Generation for JSON Schema. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (Proc. VLDB Endow., 2022)

A Guided Tour of the Fibonacci System: Taste of Time. - Antonio Albano; Carla Brasini; Milena Diotallevi; Giorgio Ghelli; Renzo Orsini (SEBD, 2023)

Negation-closure for JSON Schema. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (Theor. Comput. Sci., 2023)

Validation of Modern JSON Schema: Formalization and Complexity. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (Proc. ACM Program. Lang., 2024)

JTutor: JSON Schema Validation Explained. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Kachimsirikwuo Caleb Imo; Stefan Klessinger; Carlo Sartiani; Stefanie Scherzinger (DBPL, 2025)

Everything You Always Wanted to Know About JSON Schema (But Were Afraid to Ask). - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (EDBT, 2025)

Elimination of annotation dependencies in validation for Modern JSON Schema. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Stefan Klessinger; Carlo Sartiani; Stefanie Scherzinger (CoRR, 2025)