Giorgio Ghelli

Orcid: 0000-0002-0596-6395

Affiliations:
  • University of Pisa, Italy


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Validation of Modern JSON Schema: Formalization and Complexity.
Proc. ACM Program. Lang., January, 2024

2023
Negation-closure for JSON Schema.
Theor. Comput. Sci., April, 2023

A Guided Tour of the Fibonacci System: Taste of Time.
Proceedings of the 31st Symposium of Advanced Database Systems, 2023

2022
Witness Generation for JSON Schema.
Proc. VLDB Endow., 2022

The Usage of Negation in Real-World JSON Schema Documents.
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).
CoRR, 2021

Not Elimination and Witness Generation for JSON Schema.
CoRR, 2021

An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents.
Proceedings of the Conceptual Modeling - 40th International Conference, 2021

A Test Suite for JSON Schema Containment.
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.
Proceedings of the 24th International Conference on Extending Database Technology, 2021

2020
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas.
Proceedings of the Advances in Conceptual Modeling, 2020

Human-in-the-Loop Schema Inference for Massive JSON Datasets.
Proceedings of the 23rd International Conference on Extending Database Technology, 2020

2019
Parametric schema inference for massive JSON datasets.
VLDB J., 2019

Schemas and Types for JSON Data: From Theory to Practice.
Proceedings of the 2019 International Conference on Management of Data, 2019

A Type System for Interactive JSON Schema Inference (Extended Abstract).
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Schemas And Types For JSON Data.
Proceedings of the Advances in Database Technology, 2019

2018
XML Updates.
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.
ACM Trans. Database Syst., 2017

Schema Inference for Massive JSON Datasets.
Proceedings of the 20th International Conference on Extending Database Technology, 2017

Counting types for massive JSON datasets.
Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2013
Almost-linear inclusion for XML regular expression types.
ACM Trans. Database Syst., 2013

Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking.
Theor. Comput. Sci., 2013

2011
Schemas for safe and efficient XML processing.
Proceedings of the 27th International Conference on Data Engineering, 2011

2009
XML Updates.
Proceedings of the Encyclopedia of Database Systems, 2009

Efficient inclusion for a class of XML types with interleaving and counting.
Inf. Syst., 2009

Efficient asymmetric inclusion between regular expression types.
Proceedings of the Database Theory, 2009

Linear inclusion for XML regular expression types.
Proceedings of the 18th ACM Conference on Information and Knowledge Management, 2009

2008
Commutativity analysis for XML updates.
ACM Trans. Database Syst., 2008

XML query optimization in the presence of side effects.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Linear Time Membership for a Class of XML Types with Interleaving and Counting.
Proceedings of the PLAN-X 2008, 2008

Linear time membership in a class of regular expressions with interleaving and counting.
Proceedings of the 17th ACM Conference on Information and Knowledge Management, 2008

2007
Expressiveness and complexity of graph logic.
Inf. Comput., 2007

Manipulating Trees with Hidden Labels.
Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Scalable Query Dissemination in XPeer.
Proceedings of the Eleventh International Database Engineering and Applications Symposium (IDEAS 2007), 2007

Commutativity Analysis in XML Update Languages.
Proceedings of the Database Theory, 2007

A Better Semantics for XQuery with Side-Effects.
Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006
Static analysis for path correctness of XML queries.
J. Funct. Program., 2006

XQuery!: An XML Query Language with Side Effects.
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

2005
Subtyping recursion and parametric polymorphism in kernel fun.
Inf. Comput., 2005

Secrecy and group creation.
Inf. Comput., 2005

Types for Path Correctness of XML Queries.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

2004
TQL: a query language for semistructured data based on the ambient logic.
Math. Struct. Comput. Sci., 2004

A Self-organizing XML P2P Database System.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Adjunct Elimination Through Games in Static Ambient Logic.
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Decidability of Freshness, Undecidability of Revelation.
Proceedings of the Foundations of Software Science and Computation Structures, 2004

XPeer: A Self-Organizing XML P2P Database System.
Proceedings of the Current Trends in Database Technology - EDBT 2004 Workshops, 2004

2003
Spatial Tree Logics to reason about Semistructured Data.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

2002
A typed text retrieval query language for XML documents.
J. Assoc. Inf. Sci. Technol., 2002

Foundations for Extensible Objects with Roles.
Inf. Comput., 2002

Types for the Ambient Calculus.
Inf. Comput., 2002

The Query Language TQL.
Proceedings of the Fifth International Workshop on the Web and Databases, 2002

Types for Correctness of Queries over Semistructured Data.
Proceedings of the Fifth International Workshop on the Web and Databases, 2002

The Query Language TQL - Demo Presentation.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

TQL Algebra and its Implementation.
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

A Spatial Logic for Querying Graphs.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

2001
A Query Language Based on the Ambient Logic.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Typing Mobility in the Seal Calculus.
Proceedings of the CONCUR 2001, 2001

2000
View Operations on Objects with Roles for a Statically Typed Database Language.
IEEE Trans. Knowl. Data Eng., 2000

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

Ambient Groups and Mobility Types.
Proceedings of the Theoretical Computer Science, 2000

1999
Basic Theory of F-Bounded Quantification.
Inf. Comput., 1999

Subtyping Recursive Types in Kernel Fun.
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Mobility Types for Mobile Ambients.
Proceedings of the Automata, 1999

1998
Bounded Existentials and Minimal Typing.
Theor. Comput. Sci., 1998

Tipi e moduli nel linguaggio Fibonacci.
Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

1997
Termination of System F-bounded: A Complete Proof.
Inf. Comput., 1997

1996
Il sistema grafico del Fibonacci.
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.
Proceedings of the 7th Workshop on Persistent Object Systems, 1996

Complexity of Kernel Fun Subtype Checking.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

The Graphical System of Fibonacci.
Proceedings of the Seventh International Workshop on Database and Expert Systems Applications, 1996

1995
A Calculus for Overloaded Functions with Subtyping
Inf. Comput., February, 1995

Fibonacci: A Programming Language for Object Databases
VLDB J., 1995

Divergence of F< Type Checking.
Theor. Comput. Sci., 1995

Il Galileo95.
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.
Proceedings of the Database Programming Languages (DBPL-5), 1995

1994
Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le
Inf. Comput., 1994

A Guided Tour of the Fibonacci System.
Proceedings of the Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati", 1994

1993
An Object Data Model with Roles.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Recursive Types Are not Conservative over F.
Proceedings of the Typed Lambda Calculi and Applications, 1993

A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.
Proceedings of the Typed Lambda Calculi and Applications, 1993

An Introduction to the Database Programming Language Fibonacci.
Proceedings of the Convegno SEBD'93, 1993

1992
Coherence of Subsumption, Minimum Typing and Type-Checking in F<sub><=</sub>.
Math. Struct. Comput. Sci., 1992

Run-Time Support for Hierarchic Records in Persistent Languages.
Proceedings of the Persistent Object Systems, 1992

Keynote Discussion Session on Persistent Type Systems.
Proceedings of the Persistent Object Systems, 1992

1991
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language.
Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<sub><=</sub>.
Proceedings of the Theoretical Aspects of Computer Software, 1991

On Confluence for Weakly Normalizing Systems.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

A Static Type System for Message Passing.
Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

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

Object-Oriented Galileo.
Proceedings of the On Object-Oriented Database Systems, 1991

1990
Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes.
Proceedings of the Foundations of Object-Oriented Languages, 1990

A Class Abstraction for a Hierarchical Type System.
Proceedings of the ICDT'90, 1990

Coherence of Subsumption.
Proceedings of the CAAP '90, 1990

1989
Types for Databases: The Galileo Experience.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

A Framework for Comparing Type Systems for Database Programming Languages.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

1986
A Strongly Typed, Interactive Object-Oriented Database Programming Language.
Proceedings of the 1986 International Workshop on Object-Oriented Database Systems, 1986

1985
The Implementation of Galileo's Persistent Values.
Proceedings of the Data Types and Persistence, 1985


  Loading...