Colazzo, Dario
222  results:
Search for persons X
?
1

Validation of Modern JSON Schema: Formalization and Complex..:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 1451-1481 , 2024
 
?
2

Negation-closure for JSON Schema:

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio..
Theoretical Computer Science.  955 (2023)  - p. 113823 , 2023
 
?
3

Witness Generation for JSON Schema:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
Proceedings of the VLDB Endowment.  15 (2022)  13 - p. 4002-4014 , 2022
 
?
4

An Empirical Study on the "Usage of Not" in Real-World JSON..:

, In: Conceptual Modeling; Lecture Notes in Computer Science,
 
?
5

Challenges in Checking JSON Schema Containment over Evolvin..:

, In: Lecture Notes in Computer Science; Advances in Conceptual Modeling,
 
?
6

Scalable Saturation of Streaming RDF Triples:

, In: Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV; Lecture Notes in Computer Science,
 
?
7

Streaming saturation for large RDF graphs with dynamic sche..:

, In: Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages,
 
?
8

Schemas and Types for JSON Data : From Theory to Practic:

, In: Proceedings of the 2019 International Conference on Management of Data,
 
?
10

CBPF: Leveraging Context and Content Information for Better..:

, In: Advanced Data Mining and Applications; Lecture Notes in Computer Science,
 
?
11

PathGraph : querying and exploring big data graphs:

, In: Proceedings of the 30th International Conference on Scientific and Statistical Database Management,
 
?
12

Linear Time Membership in a Class of Regular Expressions wi..:

Colazzo, Dario ; Ghelli, Giorgio ; Sartiani, Carlo
ACM Transactions on Database Systems (TODS).  42 (2017)  4 - p. 1-44 , 2017
 
?
 
?
14

Evaluating Queries and Updates on Big XML Documents:

Bidoit, Nicole ; Colazzo, Dario ; Malla, Noor.
Information Systems Frontiers.  20 (2017)  1 - p. 63-90 , 2017
 
?
15

Counting types for massive JSON datasets:

, In: Proceedings of The 16th International Symposium on Database Programming Languages,
 
1-15