Giorgio Ghelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
15
Active years
1990–2025
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EDBT | 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 |
| 2021 | EDBT | A Tool for JSON Schema Witness Generation. | Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Francesco Falleni, Giorgio Ghelli, Cristiano Landi, Carlo Sartiani, Stefanie Scherzinger |
| 2021 | ER | A Test Suite for JSON Schema Containment. | Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Yunchen Ding, Michael Fruth, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger |
| 2021 | ER | 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 |
| 2020 | EDBT | Human-in-the-Loop Schema Inference for Massive JSON Datasets. | Mohamed-Amine Baazizi, Clment Berti, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
| 2020 | ER | Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas. | Michael Fruth, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger |
| 2019 | EDBT | Schemas And Types For JSON Data. | Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
| 2019 | ICALP | A Type System for Interactive JSON Schema Inference (Extended Abstract). | Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
| 2019 | SIGMOD | Schemas and Types for JSON Data: From Theory to Practice. | Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
| 2017 | EDBT | Schema Inference for Massive JSON Datasets. | Mohamed-Amine Baazizi, Houssem Ben Lahmar, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
| 2011 | ICDE | Schemas for safe and efficient XML processing. | Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
| 2009 | CIKM | Linear inclusion for XML regular expression types. | Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani |
| 2009 | ICDT | Efficient asymmetric inclusion between regular expression types. | Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
| 2008 | CIKM | Linear time membership in a class of regular expressions with interleaving and counting. | Giorgio Ghelli, Dario Colazzo, Carlo Sartiani |
| 2008 | SIGMOD | XML query optimization in the presence of side effects. | Giorgio Ghelli, Nicola Onose, Kristoffer Hgsbro Rose, Jrme Simon |
| 2007 | ICDT | Scalable Query Dissemination in XPeer. | Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
| 2007 | ICDT | Commutativity Analysis in XML Update Languages. | Giorgio Ghelli, Kristoffer Hgsbro Rose, Jrme Simon |
| 2007 | IDEAS | Scalable Query Dissemination in XPeer. | Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
| 2004 | FOSSACS | Decidability of Freshness, Undecidability of Revelation. | Giovanni Conforti, Giorgio Ghelli |
| 2004 | ICFP | Types for path correctness of XML queries. | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
| 2003 | FOSSACS | Manipulating Trees with Hidden Labels. | Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
| 2002 | ICALP | A Spatial Logic for Querying Graphs. | Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
| 2001 | CONCUR | Typing Mobility in the Seal Calculus. | Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli |
| 2001 | ESOP | A Query Language Based on the Ambient Logic. | Luca Cardelli, Giorgio Ghelli |
| 2000 | CONCUR | Secrecy and Group Creation. | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
| 1999 | ICALP | Mobility Types for Mobile Ambients. | Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli |
| 1999 | LICS | Subtyping Recursive Types in Kernel Fun. | Dario Colazzo, Giorgio Ghelli |
| 1996 | ICFP | Complexity of Kernel Fun Subtype Checking. | Giorgio Ghelli |
| 1993 | VLDB | An Object Data Model with Roles. | Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini |
| 1991 | OOPSLA | A Static Type System for Message Passing. | Giorgio Ghelli |
| 1991 | VLDB | A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. | Antonio Albano, Giorgio Ghelli, Renzo Orsini |
| 1990 | ICDT | A Class Abstraction for a Hierarchical Type System. | Giorgio Ghelli |