GHELLI, GIORGIO Statistiche
GHELLI, GIORGIO
DIPARTIMENTO DI INFORMATICA
Validation of Modern JSON Schema: Formalization and Complexity
2024-01-01 Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S.
Negation-closure for JSON Schema
2023-01-01 Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S.
The Usage of Negation in Real-World JSON Schema Documents
2022-01-01 Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S.
Witness Generation for JSON Schema
2022-01-01 Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S.
A test suite for JSON schema containment
2021-01-01 Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ding, Y.; Fruth, M.; Ghelli, G.; Sartiani, C.; Scherzinger, S.
A tool for JSON schema witness generation
2021-01-01 Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Falleni, F.; Ghelli, G.; Landi, C.; Sartiani, C.; Scherzinger, S.
An Empirical Study on the “Usage of Not” in Real-World JSON Schema Documents
2021-01-01 Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S.
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas
2020-01-01 Fruth, M.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S.
Human-in-the-loop schema inference for massive JSON datasets
2020-01-01 Baazizi, M. -A.; Berti, C.; Colazzo, D.; Ghelli, G.; Sartiani, C.
A type system for interactive JSON schema inference (extended abstract)
2019-01-01 Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.
Parametric schema inference for massive JSON datasets
2019-01-01 Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.
Schemas and types for JSON data
2019-01-01 Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.
Schemas and types for JSON data: From theory to practice
2019-01-01 Baazizi, M. -A.; Ghelli, G.; Colazzo, D.; Sartiani, C.
Counting types for massive JSON datasets
2017-01-01 Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo
Linear time membership in a class of regular expressions with counting, interleaving, and unordered concatenation
2017-01-01 Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo
Schema Inference for Massive JSON Datasets
2017-01-01 Baazizi, Mohamed Amine; Ben Lahmar, Houssem; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo
XML Updates
2017-01-01 Ghelli, Giorgio
Schema Inference for Massive JSON Datasets, extended abstract
2016-01-01 Baazizi, Mohamed Amine; Ben Lahmar, Houssem; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo
Almost-Linear Inclusion for XML Regular Expression Types
2013-01-01 Dario, Colazzo; Ghelli, Giorgio; Luca, Pardini; Carlo, Sartiani
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking
2013-01-01 Dario, Colazzo; Ghelli, Giorgio; Luca, Pardini; Carlo, Sartiani
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Validation of Modern JSON Schema: Formalization and Complexity | 1-gen-2024 | Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. | |
| Negation-closure for JSON Schema | 1-gen-2023 | Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. | |
| The Usage of Negation in Real-World JSON Schema Documents | 1-gen-2022 | Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. | |
| Witness Generation for JSON Schema | 1-gen-2022 | Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. | |
| A test suite for JSON schema containment | 1-gen-2021 | Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ding, Y.; Fruth, M.; Ghelli, G.; Sartiani, C.; Scherzinger, S. | |
| A tool for JSON schema witness generation | 1-gen-2021 | Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Falleni, F.; Ghelli, G.; Landi, C.; Sartiani, C.; Scherzinger, S. | |
| An Empirical Study on the “Usage of Not” in Real-World JSON Schema Documents | 1-gen-2021 | Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. | |
| Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas | 1-gen-2020 | Fruth, M.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. | |
| Human-in-the-loop schema inference for massive JSON datasets | 1-gen-2020 | Baazizi, M. -A.; Berti, C.; Colazzo, D.; Ghelli, G.; Sartiani, C. | |
| A type system for interactive JSON schema inference (extended abstract) | 1-gen-2019 | Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. | |
| Parametric schema inference for massive JSON datasets | 1-gen-2019 | Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. | |
| Schemas and types for JSON data | 1-gen-2019 | Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. | |
| Schemas and types for JSON data: From theory to practice | 1-gen-2019 | Baazizi, M. -A.; Ghelli, G.; Colazzo, D.; Sartiani, C. | |
| Counting types for massive JSON datasets | 1-gen-2017 | Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo | |
| Linear time membership in a class of regular expressions with counting, interleaving, and unordered concatenation | 1-gen-2017 | Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo | |
| Schema Inference for Massive JSON Datasets | 1-gen-2017 | Baazizi, Mohamed Amine; Ben Lahmar, Houssem; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo | |
| XML Updates | 1-gen-2017 | Ghelli, Giorgio | |
| Schema Inference for Massive JSON Datasets, extended abstract | 1-gen-2016 | Baazizi, Mohamed Amine; Ben Lahmar, Houssem; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo | |
| Almost-Linear Inclusion for XML Regular Expression Types | 1-gen-2013 | Dario, Colazzo; Ghelli, Giorgio; Luca, Pardini; Carlo, Sartiani | |
| Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking | 1-gen-2013 | Dario, Colazzo; Ghelli, Giorgio; Luca, Pardini; Carlo, Sartiani |