Dario Colazzo
Université Paris-Dauphine
H-index: 19
Europe-France
Top articles of Dario Colazzo
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Validation of Modern JSON Schema: Formalization and Complexity | Proceedings of the ACM on Programming Languages | Lyes Attouche Mohamed-Amine Baazizi Dario Colazzo Giorgio Ghelli Carlo Sartiani | 2024/1/5 |
Negation-closure for JSON Schema | Theoretical Computer Science | Mohamed-Amine Baazizi Dario Colazzo Giorgio Ghelli Carlo Sartiani Stefanie Scherzinger | 2023/4/26 |
Witness generation for JSON Schema | arXiv preprint arXiv:2202.12849 | Lyes Attouche Mohamed-Amine Baazizi Dario Colazzo Giorgio Ghelli Carlo Sartiani | 2022/2/25 |
The Usage of Negation in Real-World JSON Schema Documents. | Mohamed Amine Baazizi Dario Colazzo Giorgio Ghelli Carlo Sartiani Stefanie Scherzinger | 2022 | |
A tool for JSON schema witness generation | Lyes Attouche Mohamed-Amine Baazizi Dario Colazzo Francesco Falleni Giorgio Ghelli | 2021/3/23 | |
Un Outil de Génération de Témoins pour les schémas JSON A Tool for JSON Schema Witness Generation | Actes de la conférence BDA 2021 | Lyes Attouche Mohamed-Amine Baazizi Dario Colazzo Francesco Falleni Giorgio Ghelli | 2021 |
An empirical study on the “usage of not” in real-world json schema documents | Mohamed-Amine Baazizi Dario Colazzo Giorgio Ghelli Carlo Sartiani Stefanie Scherzinger | 2021 | |
A test suite for JSON schema containment | Lyes Attouche Mohamed-Amine Baazizi Dario Colazzo Yunchen Ding Michael Fruth | 2021/10/18 | |
Not elimination and witness generation for JSON schema | arXiv preprint arXiv:2104.14828 | Mohamed-Amine Baazizi Dario Colazzo Giorgio Ghelli Carlo Sartiani Stefanie Scherzinger | 2021/4/30 |
Scalable saturation of streaming RDF triples | Transactions on Large-Scale Data-and Knowledge-Centered Systems XLIV: Special Issue on Data Management–Principles, Technologies, and Applications | Mohammad Amin Farvardin Dario Colazzo Khalid Belhajjame Carlo Sartiani | 2020 |
Human-in-the-loop schema inference for massive JSON datasets | Mohamed-Amine Baazizi Clément Berti Dario Colazzo Giorgio Ghelli Carlo Sartiani | 2020/3/30 | |
Challenges in checking JSON schema containment over evolving real-world schemas | Michael Fruth Mohamed-Amine Baazizi Dario Colazzo Giorgio Ghelli Carlo Sartiani | 2020 |
