Giorgio Ghelli

According to our database, Giorgio Ghelli authored at least 98 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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., January, 2024

2023

Negation-closure for JSON Schema.

Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger

Theor. Comput. Sci., April, 2023

A Guided Tour of the Fibonacci System: Taste of Time.

Antonio Albano, Carla Brasini, Milena Diotallevi, Giorgio Ghelli, Renzo Orsini

Proceedings of the 31st Symposium of Advanced Database Systems, 2023

2022

Witness Generation for JSON Schema.

Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger

Proc. VLDB Endow., 2022

The Usage of Negation in Real-World JSON Schema Documents.

Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

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

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.

Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger

Proceedings of the Conceptual Modeling - 40th International Conference, 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

Proceedings of the ER Demos and Posters 2021 co-located with 40th International Conference on Conceptual Modeling (ER 2021), 2021

A Tool for JSON Schema Witness Generation.

Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Francesco Falleni, Giorgio Ghelli, Cristiano Landi, Carlo Sartiani, Stefanie Scherzinger

Proceedings of the 24th International Conference on Extending Database Technology, 2021

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

Proceedings of the Advances in Conceptual Modeling, 2020

Human-in-the-Loop Schema Inference for Massive JSON Datasets.

Mohamed-Amine Baazizi, Clément Berti, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Proceedings of the 23rd International Conference on Extending Database Technology, 2020

2019

Parametric schema inference for massive JSON datasets.

Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

VLDB J., 2019

Schemas and Types for JSON Data: From Theory to Practice.

Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Proceedings of the 2019 International Conference on Management of Data, 2019

A Type System for Interactive JSON Schema Inference (Extended Abstract).

Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Schemas And Types For JSON Data.

Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Proceedings of the Advances in Database Technology, 2019

2018

XML Updates.

Giorgio Ghelli

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

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

Schema Inference for Massive JSON Datasets.

Mohamed-Amine Baazizi, Houssem Ben Lahmar, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Proceedings of the 20th International Conference on Extending Database Technology, 2017

Counting types for massive JSON datasets.

Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2013

Almost-linear inclusion for XML regular expression types.

Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani

ACM Trans. Database Syst., 2013

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

2011

Schemas for safe and efficient XML processing.

Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Proceedings of the 27th International Conference on Data Engineering, 2011

2009

XML Updates.

Giorgio Ghelli

Proceedings of the Encyclopedia of Database Systems, 2009

Efficient inclusion for a class of XML types with interleaving and counting.

Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Inf. Syst., 2009

Efficient asymmetric inclusion between regular expression types.

Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Proceedings of the Database Theory, 2009

Linear inclusion for XML regular expression types.

Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani

Proceedings of the 18th ACM Conference on Information and Knowledge Management, 2009

2008

Commutativity analysis for XML updates.

Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon

ACM Trans. Database Syst., 2008

XML query optimization in the presence of side effects.

Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting.

Giorgio Ghelli, Dario Colazzo, Carlo Sartiani

Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Linear Time Membership for a Class of XML Types with Interleaving and Counting.

Giorgio Ghelli, Dario Colazzo, Carlo Sartiani

Proceedings of the PLAN-X 2008, 2008

Linear time membership in a class of regular expressions with interleaving and counting.

Giorgio Ghelli, Dario Colazzo, Carlo Sartiani

Proceedings of the 17th ACM Conference on Information and Knowledge Management, 2008

2007

Expressiveness and complexity of graph logic.

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

Inf. Comput., 2007

Manipulating Trees with Hidden Labels.

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Scalable Query Dissemination in XPeer.

Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani

Proceedings of the Eleventh International Database Engineering and Applications Symposium (IDEAS 2007), 2007

Commutativity Analysis in XML Update Languages.

Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon

Proceedings of the Database Theory, 2007

A Better Semantics for XQuery with Side-Effects.

Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon

Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006

Static analysis for path correctness of XML queries.

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani

J. Funct. Program., 2006

XQuery!: An XML Query Language with Side Effects.

Giorgio Ghelli, Christopher Ré, Jérôme Siméon

Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

2005

Subtyping recursion and parametric polymorphism in kernel fun.

Dario Colazzo, Giorgio Ghelli

Inf. Comput., 2005

Secrecy and group creation.

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Inf. Comput., 2005

Types for Path Correctness of XML Queries.

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

2004

TQL: a query language for semistructured data based on the ambient logic.

Luca Cardelli, Giorgio Ghelli

Math. Struct. Comput. Sci., 2004

A Self-organizing XML P2P Database System.

Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani

Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Adjunct Elimination Through Games in Static Ambient Logic.

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Decidability of Freshness, Undecidability of Revelation.

Giovanni Conforti, Giorgio Ghelli

Proceedings of the Foundations of Software Science and Computation Structures, 2004

XPeer: A Self-Organizing XML P2P Database System.

Carlo Sartiani, Paolo Manghi, Giorgio Ghelli, Giovanni Conforti

Proceedings of the Current Trends in Database Technology - EDBT 2004 Workshops, 2004

2003

Spatial Tree Logics to reason about Semistructured Data.

Giovanni Conforti, Giorgio Ghelli

Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

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

Foundations for Extensible Objects with Roles.

Giorgio Ghelli

Inf. Comput., 2002

Types for the Ambient Calculus.

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Inf. Comput., 2002

The Query Language TQL.

Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani

Proceedings of the Fifth International Workshop on the Web and Databases, 2002

Types for Correctness of Queries over Semistructured Data.

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani

Proceedings of the Fifth International Workshop on the Web and Databases, 2002

The Query Language TQL - Demo Presentation.

Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani

Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

TQL Algebra and its Implementation.

Giovanni Conforti, Orlando Ferrara, Giorgio Ghelli

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

A Spatial Logic for Querying Graphs.

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

2001

A Query Language Based on the Ambient Logic.

Luca Cardelli, Giorgio Ghelli

Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Typing Mobility in the Seal Calculus.

Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli

Proceedings of the CONCUR 2001, 2001

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

Secrecy, Group Creation.

Luca Cardelli, Andy Gordon, Giorgio Ghelli

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Ambient Groups and Mobility Types.

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Proceedings of the Theoretical Computer Science, 2000

1999

Basic Theory of F-Bounded Quantification.

Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà

Inf. Comput., 1999

Subtyping Recursive Types in Kernel Fun.

Dario Colazzo, Giorgio Ghelli

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Mobility Types for Mobile Ambients.

Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli

Proceedings of the Automata, 1999

1998

Bounded Existentials and Minimal Typing.

Giorgio Ghelli, Benjamin C. Pierce

Theor. Comput. Sci., 1998

Tipi e moduli nel linguaggio Fibonacci.

Giorgio Ghelli, F. Nanni, G. Puglielli, Antonio Albano

Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

1997

Termination of System F-bounded: A Complete Proof.

Giorgio Ghelli

Inf. Comput., 1997

1996

Il sistema grafico del Fibonacci.

Giorgio Ghelli, Igor Pucci

Proceedings of the Atti del Quarto Convegno Nazionale su Sistemi Evoluti per Basi di Dati (4th National Conference on Advanced Database Systems), 1996

Persistence, Modules and Type Abstraction.

Richard Connor, Giorgio Ghelli, Paolo Manghi

Proceedings of the 7th Workshop on Persistent Object Systems, 1996

Complexity of Kernel Fun Subtype Checking.

Giorgio Ghelli

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

The Graphical System of Fibonacci.

Giorgio Ghelli, Igor Pucci

Proceedings of the Seventh International Workshop on Database and Expert Systems Applications, 1996

1995

A Calculus for Overloaded Functions with Subtyping

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo

Inf. Comput., February, 1995

Fibonacci: A Programming Language for Object Databases

Antonio Albano, Giorgio Ghelli, Renzo Orsini

VLDB J., 1995

Divergence of F< Type Checking.

Giorgio Ghelli

Theor. Comput. Sci., 1995

Il Galileo95.

Antonio Albano, Giuseppe Antognoni, Gianluca Baratti, Giorgio Ghelli, Renzo Orsini

Proceedings of the Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 1995

Extensible Objects for Database Evolution: Language Features and Implementation Issues.

Antonio Albano, Milena Diotallevi, Giorgio Ghelli

Proceedings of the Database Programming Languages (DBPL-5), 1995

1994

Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le

Pierre-Louis Curien, Giorgio Ghelli

Inf. Comput., 1994

A Guided Tour of the Fibonacci System.

Antonio Albano, Carla Brasini, Milena Diotallevi, Giorgio Ghelli, Renzo Orsini

Proceedings of the Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati", 1994

1993

An Object Data Model with Roles.

Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini

Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Recursive Types Are not Conservative over F.

Giorgio Ghelli

Proceedings of the Typed Lambda Calculi and Applications, 1993

A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo

Proceedings of the Typed Lambda Calculi and Applications, 1993

An Introduction to the Database Programming Language Fibonacci.

Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini

Proceedings of the Convegno SEBD'93, 1993

1992

Coherence of Subsumption, Minimum Typing and Type-Checking in F_<=.

Pierre-Louis Curien, Giorgio Ghelli

Math. Struct. Comput. Sci., 1992

Run-Time Support for Hierarchic Records in Persistent Languages.

Giorgio Ghelli

Proceedings of the Persistent Object Systems, 1992

Keynote Discussion Session on Persistent Type Systems.

Richard C. H. Connor, Malcolm P. Atkinson, Giorgio Ghelli, Atsushi Ohori

Proceedings of the Persistent Object Systems, 1992

1991

A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language.

Antonio Albano, Giorgio Ghelli, Renzo Orsini

Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Subtyping + Extensionality: Confluence of beta-eta-top reduction in F_<=.

Pierre-Louis Curien, Giorgio Ghelli

Proceedings of the Theoretical Aspects of Computer Software, 1991

On Confluence for Weakly Normalizing Systems.

Pierre-Louis Curien, Giorgio Ghelli

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

A Static Type System for Message Passing.

Giorgio Ghelli

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

Objects for a Database Programming Language.

Antonio Albano, Giorgio Ghelli, Renzo Orsini

Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

Object-Oriented Galileo.

Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini

Proceedings of the On Object-Oriented Database Systems, 1991

1990

Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes.

Giorgio Ghelli

Proceedings of the Foundations of Object-Oriented Languages, 1990

A Class Abstraction for a Hierarchical Type System.

Giorgio Ghelli

Proceedings of the ICDT'90, 1990

Coherence of Subsumption.

Pierre-Louis Curien, Giorgio Ghelli

Proceedings of the CAAP '90, 1990

1989

Types for Databases: The Galileo Experience.

Antonio Albano, Giorgio Ghelli, Renzo Orsini

Proceedings of the Second International Workshop on Database Programming Languages, 1989

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

Proceedings of the Second International Workshop on Database Programming Languages, 1989

1986

A Strongly Typed, Interactive Object-Oriented Database Programming Language.

Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini

Proceedings of the 1986 International Workshop on Object-Oriented Database Systems, 1986

1985

The Implementation of Galileo's Persistent Values.

Antonio Albano, Giorgio Ghelli, Renzo Orsini

Proceedings of the Data Types and Persistence, 1985