Location: LARGO BRUNO PONTECORVO, 3, 56127 PISA
Email: giorgio.ghelli@unipi.it
Phone: 050 221 2780
Website: www.di.unipi.it/~ghelli
Profile
Teaching
Teaching activity
Teaching responsibility for modules/courses
- Basi di dati - corso a (cod. 244AA) per Laurea in Informatica
- Advanced databases (cod. 641AA) per Laurea Magistrale in Informatica
Insegnamenti condivisi/mutuati:- Advanced databases (cod. 641AA) - Laurea Magistrale in Data science and business informatics
- Databases (cod. 765AA) per Laurea Magistrale in Data science and business informatics
Insegnamenti condivisi/mutuati:- Databases (cod. 765AA) - Laurea Magistrale in Informatica umanistica
Student consultation hours
Mode of office hours: Per sicurezza contattatemi prima
Location: Dip.to di Informatica, Stanza 290
Time: Lunedì, ore 9:45 - 12:45
Research
Publications
- Validation of Modern JSON Schema: Formalization and Complexity (Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2024 - 1.1 Articolo in rivista)
- Negation-closure for JSON Schema (Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2023 - 1.1 Articolo in rivista)
- Witness Generation for JSON Schema (Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2022 - 1.1 Articolo in rivista)
- The Usage of Negation in Real-World JSON Schema Documents (Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2022 - 4.1 Contributo in Atti di convegno)
- A tool for JSON schema witness generation (Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Falleni, F.; Ghelli, G.; Landi, C.; Sartiani, C.; Scherzinger, S. - 2021 - 4.2 Abstract in Atti di convegno)
- A test suite for JSON schema containment (Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ding, Y.; Fruth, M.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2021 - 4.2 Abstract in Atti di convegno)
- An Empirical Study on the “Usage of Not” in Real-World JSON Schema Documents (Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2021 - 4.1 Contributo in Atti di convegno)
- Human-in-the-loop schema inference for massive JSON datasets (Baazizi, M. -A.; Berti, C.; Colazzo, D.; Ghelli, G.; Sartiani, C. - 2020 - 4.1 Contributo in Atti di convegno)
- Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas (Fruth, M.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2020 - 4.1 Contributo in Atti di convegno)
- Schemas and types for JSON data: From theory to practice (Baazizi, M. -A.; Ghelli, G.; Colazzo, D.; Sartiani, C. - 2019 - 4.1 Contributo in Atti di convegno)
- Schemas and types for JSON data (Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. - 2019 - 4.1 Contributo in Atti di convegno)
- A type system for interactive JSON schema inference [extended abstract] (Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. - 2019 - 4.1 Contributo in Atti di convegno)
- Parametric schema inference for massive JSON datasets (Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. - 2019 - 1.1 Articolo in rivista)
- XML Updates (Ghelli, Giorgio - 2017 - 2.4 Voce (in dizionario o enciclopedia))
- Counting types for massive JSON datasets (Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo - 2017 - 4.1 Contributo in Atti di convegno)