SARTIANI, CARLO Statistiche

SARTIANI, CARLO  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
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.
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