SARTIANI, CARLO Statistiche
SARTIANI, CARLO
Validation of Modern JSON Schema: Formalization and Complexity
2024-01-01 Attouche, L.; 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.
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.
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
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. | |
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. | |
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. | |
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 |