Giorgio Ghelli

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 22

Top Venues

Publications

Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Validation of Modern JSON Schema: Formalization and Complexity. Proc. ACM Program. Lang. 8 (POPL) (2024)
Antonio Albano, Carla Brasini, Milena Diotallevi, Giorgio Ghelli, Renzo Orsini
A Guided Tour of the Fibonacci System: Taste of Time. SEBD (2023)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Negation-closure for JSON Schema. Theor. Comput. Sci. 955 (2023)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Validation of Modern JSON Schema: Formalization and Complexity. CoRR (2023)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
The Usage of Negation in Real-World JSON Schema Documents. SEBD (2022)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Witness Generation for JSON Schema. CoRR (2022)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Witness Generation for JSON Schema. Proc. VLDB Endow. 15 (13) (2022)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Negation-Closure for JSON Schema. CoRR (2022)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Francesco Falleni, Giorgio Ghelli, Cristiano Landi, Carlo Sartiani, Stefanie Scherzinger
A Tool for JSON Schema Witness Generation. EDBT (2021)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Not Elimination and Witness Generation for JSON Schema. CoRR (2021)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents. ER (2021)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Yunchen Ding, Michael Fruth, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
A Test Suite for JSON Schema Containment. ER Demos/Posters (2021)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version). CoRR (2021)
Mohamed Amine Baazizi, Clément Berti, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Human-in-the-Loop Schema Inference for Massive JSON Datasets. EDBT (2020)
Michael Fruth, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas. ER (Workshops) (2020)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Schemas and Types for JSON Data: From Theory to Practice. SIGMOD Conference (2019)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Schemas And Types For JSON Data. EDBT (2019)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Parametric schema inference for massive JSON datasets. VLDB J. 28 (4) (2019)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
A Type System for Interactive JSON Schema Inference (Extended Abstract). ICALP (2019)
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation. ACM Trans. Database Syst. 42 (4) (2017)
Mohamed Amine Baazizi, Houssem Ben Lahmar, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Schema Inference for Massive JSON Datasets. EDBT (2017)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Counting types for massive JSON datasets. DBPL (2017)
Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking. Theor. Comput. Sci. 492 (2013)
Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani
Almost-linear inclusion for XML regular expression types. ACM Trans. Database Syst. 38 (3) (2013)
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Schemas for safe and efficient XML processing. ICDE (2011)
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Efficient inclusion for a class of XML types with interleaving and counting. Inf. Syst. 34 (7) (2009)
Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani
Linear inclusion for XML regular expression types. CIKM (2009)
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Efficient asymmetric inclusion between regular expression types. ICDT (2009)
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
Linear time membership in a class of regular expressions with interleaving and counting. CIKM (2008)
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting. SEBD (2008)
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)
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
Commutativity analysis for XML updates. ACM Trans. Database Syst. 33 (4) (2008)
Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Scalable Query Dissemination in XPeer. IDEAS (2007)
Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon
A Better Semantics for XQuery with Side-Effects. DBPL (2007)
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
Efficient Inclusion for a Class of XML Types with Interleaving and Counting. DBPL (2007)
Anuj Dawar, Philippa Gardner, Giorgio Ghelli
Expressiveness and complexity of graph logic. Inf. Comput. 205 (3) (2007)
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
Manipulating Trees with Hidden Labels. Electron. Notes Theor. Comput. Sci. 172 (2007)
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)
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Static analysis for path correctness of XML queries. J. Funct. Program. 16 (4-5) (2006)
Giorgio Ghelli, Christopher Ré, Jérôme Siméon
XQuery!: An XML Query Language with Side Effects. EDBT Workshops (2006)
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Types for Path Correctness of XML Queries. SEBD (2005)
Dario Colazzo, Giorgio Ghelli
Subtyping recursion and parametric polymorphism in kernel fun. Inf. Comput. 198 (2) (2005)
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
Secrecy and group creation. Inf. Comput. 196 (2) (2005)
Anuj Dawar, Philippa Gardner, Giorgio Ghelli
Adjunct Elimination Through Games in Static Ambient Logic. FSTTCS (2004)
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Types for path correctness of XML queries. ICFP (2004)
Luca Cardelli, Giorgio Ghelli
TQL: a query language for semistructured data based on the ambient logic. Math. Struct. Comput. Sci. 14 (3) (2004)
Carlo Sartiani, Paolo Manghi, Giorgio Ghelli, Giovanni Conforti
XPeer: A Self-Organizing XML P2P Database System. EDBT Workshops (2004)
Giovanni Conforti, Giorgio Ghelli
Decidability of Freshness, Undecidability of Revelation. FoSSaCS (2004)
Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
A Self-organizing XML P2P Database System. SEBD (2004)
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
Manipulating Trees with Hidden Labels. FoSSaCS (2003)
Giovanni Conforti, Giorgio Ghelli
Spatial Tree Logics to reason about Semistructured Data. SEBD (2003)
Giorgio Ghelli
Foundations for Extensible Objects with Roles. Inf. Comput. 175 (1) (2002)
Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani
The Query Language TQL. WebDB (2002)
Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani
The Query Language TQL - Demo Presentation. SEBD (2002)
Giovanni Conforti, Orlando Ferrara, Giorgio Ghelli
TQL Algebra and its Implementation. IFIP TCS (2002)
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Types for Correctness of Queries over Semistructured Data. WebDB (2002)
Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, Michele Paoli
A typed text retrieval query language for XML documents. J. Assoc. Inf. Sci. Technol. 53 (6) (2002)
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
A Spatial Logic for Querying Graphs. ICALP (2002)
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
Types for the Ambient Calculus. Inf. Comput. 177 (2) (2002)
Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli
Typing Mobility in the Seal Calculus. CONCUR (2001)
Luca Cardelli, Giorgio Ghelli
A Query Language Based on the Ambient Logic. ESOP (2001)
Luca Cardelli, Giorgio Ghelli
A Query Language Based on the Ambient Logic. SEBD (2001)
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
Secrecy and Group Creation. CONCUR (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) (2000)
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
Ambient Groups and Mobility Types. IFIP TCS (2000)
Luca Cardelli, Andy Gordon, Giorgio Ghelli
Secrecy, Group Creation. Electron. Notes Theor. Comput. Sci. 40 (2000)
Dario Colazzo, Giorgio Ghelli
Subtyping Recursive Types in Kernel Fun. LICS (1999)
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli
Mobility Types for Mobile Ambients. ICALP (1999)
Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà
Basic Theory of F-Bounded Quantification. Inf. Comput. 153 (1) (1999)
Giorgio Ghelli, Benjamin C. Pierce
Bounded Existentials and Minimal Typing. Theor. Comput. Sci. 193 (1-2) (1998)
Giorgio Ghelli, F. Nanni, G. Puglielli, Antonio Albano
Tipi e moduli nel linguaggio Fibonacci. SEBD (1998)
Giorgio Ghelli
Termination of System F-bounded: A Complete Proof. Inf. Comput. 139 (1) (1997)
Richard Connor, Giorgio Ghelli, Paolo Manghi
Persistence, Modules and Type Abstraction. POS (1996)
Giorgio Ghelli, Igor Pucci
The Graphical System of Fibonacci. DEXA Workshop (1996)
Giorgio Ghelli
Complexity of Kernel Fun Subtype Checking. ICFP (1996)
Giorgio Ghelli, Igor Pucci
Il sistema grafico del Fibonacci. SEBD (1996)
Antonio Albano, Giorgio Ghelli, Renzo Orsini
Fibonacci: A Programming Language for Object Databases VLDB J. 4 (3) (1995)
Antonio Albano, Milena Diotallevi, Giorgio Ghelli
Extensible Objects for Database Evolution: Language Features and Implementation Issues. DBPL (1995)
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
A Calculus for Overloaded Functions with Subtyping Inf. Comput. 117 (1) (1995)
Antonio Albano, Giuseppe Antognoni, Gianluca Baratti, Giorgio Ghelli, Renzo Orsini
Il Galileo95. SEBD (1995)
Giorgio Ghelli
Divergence of F< Type Checking. Theor. Comput. Sci. 139 (1&2) (1995)
Pierre-Louis Curien, Giorgio Ghelli
Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le Inf. Comput. 109 (1/2) (1994)
Antonio Albano, C. Brasini, Milena Diotallevi, Giorgio Ghelli, Renzo Orsini
A Guided Tour of the Fibonacci System. SEBD (1994)
Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini
An Introduction to the Database Programming Language Fibonacci. SEBD (1993)
Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini
An Object Data Model with Roles. VLDB (1993)
Giorgio Ghelli
Recursive Types Are not Conservative over F. TLCA (1993)
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA (1993)
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming (1992)
Richard C. H. Connor, Malcolm P. Atkinson, Giorgio Ghelli, Atsushi Ohori
Keynote Discussion Session on Persistent Type Systems. POS (1992)
Giorgio Ghelli
Run-Time Support for Hierarchic Records in Persistent Languages. POS (1992)
Pierre-Louis Curien, Giorgio Ghelli
. Math. Struct. Comput. Sci. 2 (1) (1992)
Antonio Albano, Giorgio Ghelli, Renzo Orsini
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. VLDB (1991)
Antonio Albano, Giorgio Ghelli, Renzo Orsini
Objects for a Database Programming Language. DBPL (1991)
Giorgio Ghelli
A Static Type System for Message Passing. OOPSLA (1991)
Pierre-Louis Curien, Giorgio Ghelli
On Confluence for Weakly Normalizing Systems. RTA (1991)
Pierre-Louis Curien, Giorgio Ghelli
. TACS (1991)
Giorgio Ghelli
Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. REX Workshop (1990)
Pierre-Louis Curien, Giorgio Ghelli
Coherence of Subsumption. CAAP (1990)

Giorgio Ghelli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Giorgio Ghelli