Giorgio Ghelli

115 papers A* 7A 10B 9C 1Journal 34Unranked 50
YearRankTypeTitle / Venue / Authors
2026 J jnl
Elimination of annotation dependencies in validation for Modern JSON Schema.
Theor. Comput. Sci.
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Stefan Klessinger, Carlo Sartiani, Stefanie Scherzinger
2026 J jnl
JSON Schema Inclusion through Refutational Normalization: Reconciling Efficiency and Completeness.
CoRR
Mohamed-Amine Baazizi, Nour El Houda Ben Ali, Dario Colazzo, Giorgio Ghelli, Stefan Klessinger, Carlo Sartiani, Stefanie Scherzinger
2025 J jnl
Elimination of annotation dependencies in validation for Modern JSON Schema.
CoRR
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Stefan Klessinger, Carlo Sartiani, Stefanie Scherzinger
2025 B conf
Everything You Always Wanted to Know About JSON Schema (But Were Afraid to Ask).
EDBT
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2025 — conf
JTutor: JSON Schema Validation Explained.
DBPL
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Kachimsirikwuo Caleb Imo, Stefan Klessinger, Carlo Sartiani, Stefanie Scherzinger
2024 J jnl
Validation of Modern JSON Schema: Formalization and Complexity.
Proc. ACM Program. Lang.
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2023 — conf
A Guided Tour of the Fibonacci System: Taste of Time.
SEBD
Antonio Albano, Carla Brasini, Milena Diotallevi, Giorgio Ghelli, Renzo Orsini
2023 J jnl
Negation-closure for JSON Schema.
Theor. Comput. Sci.
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2023 J jnl
Validation of Modern JSON Schema: Formalization and Complexity.
CoRR
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2022 J jnl
Negation-Closure for JSON Schema.
CoRR
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2022 — conf
The Usage of Negation in Real-World JSON Schema Documents.
SEBD
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2022 J jnl
Witness Generation for JSON Schema.
CoRR
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2022 J jnl
Witness Generation for JSON Schema.
Proc. VLDB Endow.
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2021 — conf
A Test Suite for JSON Schema Containment.
ER Demos/Posters
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Yunchen Ding, Michael Fruth, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2021 B conf
A Tool for JSON Schema Witness Generation.
EDBT
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Francesco Falleni, Giorgio Ghelli, Cristiano Landi, Carlo Sartiani, Stefanie Scherzinger
2021 J jnl
An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version).
CoRR
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2021 A conf
An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents.
ER
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2021 J jnl
Not Elimination and Witness Generation for JSON Schema.
CoRR
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2020 — conf
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas.
ER (Workshops)
Michael Fruth, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2020 B conf
Human-in-the-Loop Schema Inference for Massive JSON Datasets.
EDBT
Mohamed-Amine Baazizi, Clément Berti, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2019 A* conf
A Type System for Interactive JSON Schema Inference (Extended Abstract).
ICALP
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2019 J jnl
Parametric schema inference for massive JSON datasets.
VLDB J.
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2019 B conf
Schemas And Types For JSON Data.
EDBT
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2019 — conf
Schemas and Types for JSON Data: From Theory to Practice.
SIGMOD Conference
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2018 — ch.
XML Updates.
Encyclopedia of Database Systems (2nd ed.)
Giorgio Ghelli
2017 — conf
Counting types for massive JSON datasets.
DBPL
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2017 J jnl
Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation.
ACM Trans. Database Syst.
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2017 B conf
Schema Inference for Massive JSON Datasets.
EDBT
Mohamed-Amine Baazizi, Houssem Ben Lahmar, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2013 J jnl
Almost-linear inclusion for XML regular expression types.
ACM Trans. Database Syst.
Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani
2013 J jnl
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking.
Theor. Comput. Sci.
Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani
2011 A* conf
Schemas for safe and efficient XML processing.
ICDE
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2009 A conf
Efficient asymmetric inclusion between regular expression types.
ICDT
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2009 J jnl
Efficient inclusion for a class of XML types with interleaving and counting.
Inf. Syst.
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2009 A conf
Linear inclusion for XML regular expression types.
CIKM
Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani
2009 — ch.
XML Updates.
Encyclopedia of Database Systems
Giorgio Ghelli
2008 J jnl
Commutativity analysis for XML updates.
ACM Trans. Database Syst.
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
2008 — conf
Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting.
SEBD
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
2008 — conf
Linear Time Membership for a Class of XML Types with Interleaving and Counting.
PLAN-X
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
2008 A conf
Linear time membership in a class of regular expressions with interleaving and counting.
CIKM
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
2008 — conf
XML query optimization in the presence of side effects.
SIGMOD Conference
Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon
2007 — conf
A Better Semantics for XQuery with Side-Effects.
DBPL
Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon
2007 A conf
Commutativity Analysis in XML Update Languages.
ICDT
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
2007 — conf
Efficient Inclusion for a Class of XML Types with Interleaving and Counting.
DBPL
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
2007 J jnl
Expressiveness and complexity of graph logic.
Inf. Comput.
Anuj Dawar, Philippa Gardner, Giorgio Ghelli
2007 — conf
Manipulating Trees with Hidden Labels.
Computation, Meaning, and Logic
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
2007 — conf
Scalable Query Dissemination in XPeer.
EROW
Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
2007 C conf
Scalable Query Dissemination in XPeer.
IDEAS
Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
2006 J jnl
Static analysis for path correctness of XML queries.
J. Funct. Program.
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
2006 — conf
XQuery!: An XML Query Language with Side Effects.
EDBT Workshops
Giorgio Ghelli, Christopher Ré, Jérôme Siméon
2005 J jnl
Secrecy and group creation.
Inf. Comput.
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2005 J jnl
Subtyping recursion and parametric polymorphism in kernel fun.
Inf. Comput.
Dario Colazzo, Giorgio Ghelli
2005 — conf
Types for Path Correctness of XML Queries.
SEBD
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
2004 — conf
A Self-organizing XML P2P Database System.
SEBD
Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
2004 — conf
Adjunct Elimination Through Games in Static Ambient Logic.
FSTTCS
Anuj Dawar, Philippa Gardner, Giorgio Ghelli
2004 B conf
Decidability of Freshness, Undecidability of Revelation.
FoSSaCS
Giovanni Conforti, Giorgio Ghelli
2004 J jnl
TQL: a query language for semistructured data based on the ambient logic.
Math. Struct. Comput. Sci.
Luca Cardelli, Giorgio Ghelli
2004 A conf
Types for path correctness of XML queries.
ICFP
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
2004 — conf
XPeer: A Self-Organizing XML P2P Database System.
EDBT Workshops
Carlo Sartiani, Paolo Manghi, Giorgio Ghelli, Giovanni Conforti
2003 B conf
Manipulating Trees with Hidden Labels.
FoSSaCS
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
2003 — conf
Spatial Tree Logics to reason about Semistructured Data.
SEBD
Giovanni Conforti, Giorgio Ghelli
2002 A* conf
A Spatial Logic for Querying Graphs.
ICALP
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
2002 J jnl
A typed text retrieval query language for XML documents.
J. Assoc. Inf. Sci. Technol.
Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, Michele Paoli
2002 — ed.
Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers
DBPL
Giorgio Ghelli, Gösta Grahne
2002 J jnl
Foundations for Extensible Objects with Roles.
Inf. Comput.
Giorgio Ghelli
2002 — conf
TQL Algebra and its Implementation.
IFIP TCS
Giovanni Conforti, Orlando Ferrara, Giorgio Ghelli
2002 — conf
The Query Language TQL - Demo Presentation.
SEBD
Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani
2002 — conf
The Query Language TQL.
WebDB
Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani
2002 — conf
Types for Correctness of Queries over Semistructured Data.
WebDB
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
2002 J jnl
Types for the Ambient Calculus.
Inf. Comput.
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2001 A conf
A Query Language Based on the Ambient Logic.
ESOP
Luca Cardelli, Giorgio Ghelli
2001 — conf
A Query Language Based on the Ambient Logic.
SEBD
Luca Cardelli, Giorgio Ghelli
2001 B conf
Typing Mobility in the Seal Calculus.
CONCUR
Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli
2000 — conf
Ambient Groups and Mobility Types.
IFIP TCS
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2000 B conf
Secrecy and Group Creation.
CONCUR
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2000 — conf
Secrecy, Group Creation.
MFCSIT
Luca Cardelli, Andy Gordon, Giorgio Ghelli
2000 J jnl
View Operations on Objects with Roles for a Statically Typed Database Language.
IEEE Trans. Knowl. Data Eng.
Antonio Albano, Giuseppe Antognoni, Giorgio Ghelli
1999 J jnl
Basic Theory of F-Bounded Quantification.
Inf. Comput.
Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà
1999 A* conf
Mobility Types for Mobile Ambients.
ICALP
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli
1999 A* conf
Subtyping Recursive Types in Kernel Fun.
LICS
Dario Colazzo, Giorgio Ghelli
1998 J jnl
Bounded Existentials and Minimal Typing.
Theor. Comput. Sci.
Giorgio Ghelli, Benjamin C. Pierce
1998 — conf
Tipi e moduli nel linguaggio Fibonacci.
SEBD
Giorgio Ghelli, F. Nanni, G. Puglielli, Antonio Albano
1997 J jnl
Termination of System F-bounded: A Complete Proof.
Inf. Comput.
Giorgio Ghelli
1996 A conf
Complexity of Kernel Fun Subtype Checking.
ICFP
Giorgio Ghelli
1996 — conf
Il sistema grafico del Fibonacci.
SEBD
Giorgio Ghelli, Igor Pucci
1996 — conf
Persistence, Modules and Type Abstraction.
POS
Richard Connor, Giorgio Ghelli, Paolo Manghi
1996 — conf
The Graphical System of Fibonacci.
DEXA Workshop
Giorgio Ghelli, Igor Pucci
1995 J jnl
A Calculus for Overloaded Functions with Subtyping
Inf. Comput.
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
1995 J jnl
Divergence of F< Type Checking.
Theor. Comput. Sci.
Giorgio Ghelli
1995 — conf
Extensible Objects for Database Evolution: Language Features and Implementation Issues.
DBPL
Antonio Albano, Milena Diotallevi, Giorgio Ghelli
1995 J jnl
Fibonacci: A Programming Language for Object Databases
VLDB J.
Antonio Albano, Giorgio Ghelli, Renzo Orsini
1995 — conf
Il Galileo95.
SEBD
Antonio Albano, Giuseppe Antognoni, Gianluca Baratti, Giorgio Ghelli, Renzo Orsini
1994 — conf
A Guided Tour of the Fibonacci System.
SEBD
Antonio Albano, Carla Brasini, Milena Diotallevi, Giorgio Ghelli, Renzo Orsini
1994 J jnl
Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le
Inf. Comput.
Pierre-Louis Curien, Giorgio Ghelli
1993 — conf
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.
TLCA
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
1993 — conf
An Introduction to the Database Programming Language Fibonacci.
SEBD
Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini
1993 A* conf
An Object Data Model with Roles.
VLDB
Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini
1993 — conf
Recursive Types Are not Conservative over F.
TLCA
Giorgio Ghelli
1992 — conf
A Calculus for Overloaded Functions with Subtyping.
LISP and Functional Programming
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
1992 J jnl
Coherence of Subsumption, Minimum Typing and Type-Checking in F
Math. Struct. Comput. Sci.
Pierre-Louis Curien, Giorgio Ghelli
1992 — conf
Keynote Discussion Session on Persistent Type Systems.
POS
Richard C. H. Connor, Malcolm P. Atkinson, Giorgio Ghelli, Atsushi Ohori
1992 — conf
Run-Time Support for Hierarchic Records in Persistent Languages.
POS
Giorgio Ghelli
1991 A* conf
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language.
VLDB
Antonio Albano, Giorgio Ghelli, Renzo Orsini
1991 A conf
A Static Type System for Message Passing.
OOPSLA
Giorgio Ghelli
1991 — ch.
Object-Oriented Galileo.
On Object-Oriented Database System
Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini
1991 — conf
Objects for a Database Programming Language.
DBPL
Antonio Albano, Giorgio Ghelli, Renzo Orsini
1991 — conf
On Confluence for Weakly Normalizing Systems.
RTA
Pierre-Louis Curien, Giorgio Ghelli
1991 — conf
Subtyping + Extensionality: Confluence of beta-eta-top reduction in F
TACS
Pierre-Louis Curien, Giorgio Ghelli
1990 A conf
A Class Abstraction for a Hierarchical Type System.
ICDT
Giorgio Ghelli
1990 — conf
Coherence of Subsumption.
CAAP
Pierre-Louis Curien, Giorgio Ghelli
1990 — conf
Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes.
REX Workshop
Giorgio Ghelli
1989 — conf
A Framework for Comparing Type Systems for Database Programming Languages.
DBPL
Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris D. Marlin, Ronald Morrison, Renzo Orsini, David W. Stemple
1989 — conf
Types for Databases: The Galileo Experience.
DBPL
Antonio Albano, Giorgio Ghelli, Renzo Orsini
1986 — conf
A Strongly Typed, Interactive Object-Oriented Database Programming Language.
OODBS
Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini
1985 — conf
The Implementation of Galileo's Persistent Values.
Data Types and Persistence (Appin)
Antonio Albano, Giorgio Ghelli, Renzo Orsini
1985 — conf
The Implementation of Galileo's Persistent Values.
Data Types and Persistence (Appin), Informal Proceedings
Antonio Albano, Giorgio Ghelli, Renzo Orsini