GHELLI, GIORGIO Statistiche

GHELLI, GIORGIO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 99 (tempo di esecuzione: 0.12 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.
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
Schemas for safe and efficient XML processing 1-gen-2011 Dario, Colazzo; Ghelli, Giorgio; Carlo, Sartiani