GHELLI, GIORGIO
GHELLI, GIORGIO
Universita' degli Studi della BASILICATA (PZ)
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.
A type system for interactive JSON schema inference (extended abstract)
2019-01-01 Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.
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.
Counting types for massive JSON datasets
2017-01-01 Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo
Human-in-the-loop schema inference for massive JSON datasets
2020-01-01 Baazizi, M. -A.; Berti, C.; Colazzo, D.; Ghelli, G.; Sartiani, C.
Linear time membership in a class of regular expressions with counting, interleaving, and unordered concatenation
2017-01-01 Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo
Negation-closure for JSON Schema
2023-01-01 Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S.
Parametric schema inference for massive JSON datasets
2019-01-01 Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo
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.
The Usage of Negation in Real-World JSON Schema Documents
2022-01-01 Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S.
Validation of Modern JSON Schema: Formalization and Complexity
2024-01-01 Attouche, L.; 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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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. | |
| A type system for interactive JSON schema inference (extended abstract) | 1-gen-2019 | Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. | |
| 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. | |
| Counting types for massive JSON datasets | 1-gen-2017 | Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo | |
| Human-in-the-loop schema inference for massive JSON datasets | 1-gen-2020 | Baazizi, M. -A.; Berti, C.; Colazzo, D.; Ghelli, G.; Sartiani, C. | |
| Linear time membership in a class of regular expressions with counting, interleaving, and unordered concatenation | 1-gen-2017 | Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo | |
| Negation-closure for JSON Schema | 1-gen-2023 | Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. | |
| Parametric schema inference for massive JSON datasets | 1-gen-2019 | Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo | |
| 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. | |
| The Usage of Negation in Real-World JSON Schema Documents | 1-gen-2022 | Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. | |
| Validation of Modern JSON Schema: Formalization and Complexity | 1-gen-2024 | Attouche, L.; 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. |