Sartiani, Carlo
- Witness Generation for JSON Schema
2022/02/25 by Attouche, Lyes, Baazizi, Mohamed-Amine, Colazzo, Dario +3 · 3 citations
#Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Validation of Modern JSON Schema: Formalization and Complexity
2023/07/19 by Attouche, Lyes, Baazizi, Mohamed-Amine, Colazzo, Dario +3 · 2 citations
#Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- An Empirical Study on the "Usage of Not" in Real-World JSON Schema\n Documents (Long Version)
2021/07/19 by Mohamed Amine Baazizi, Dario Colazzo, Baazizi, Mohamed-Amine +8 · 2 citations
Computer Science · #Advanced Database Systems and Queries #Databases (cs.DB) #FOS: Computer and information sciences #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services
- Negation-Closure for JSON Schema
2022/02/27 by Baazizi, Mohamed-Amine, Colazzo, Dario, Ghelli, Giorgio +2 · 1 citation
#Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL)