E-LIB Suche - Ergebnisse für: Baazizi, Mohamed-Amine

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

Link: https://doi.org/10.1145/..

2

Negation-closure for JSON Schema:

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

Link: https://doi.org/10.1016/..

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

Link: https://doi.org/10.14778..

4

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

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

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio.. - p. 102-112 , 2021

Link: https://doi.org/10.1007/..

5

Challenges in Checking JSON Schema Containment over Evolvin..:

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

Fruth, Michael ; Baazizi, Mohamed-Amine ; Colazzo, Dario... - p. 220-230 , 2020

Link: https://doi.org/10.1007/..

6

Query-Oriented Answer Imputation for Aggregate Queries:

, In: Advances in Databases and Information Systems; Lecture Notes in Computer Science,

Hannou, Fatma-Zohra ; Amann, Bernd ; Baazizi, Mohamed-Amine - p. 302-318 , 2019

Link: https://doi.org/10.1007/..

7

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

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

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio. - p. 2060-2063 , 2019

Link: https://dl.acm.org/doi/1..

8

Parametric schema inference for massive JSON datasets:

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio.
The VLDB Journal. 28 (2019) 4 - p. 497-521 , 2019

Link: https://doi.org/10.1007/..

9

Explaining Query Answer Completeness and Correctness with P..:

, In: Lecture Notes in Computer Science; Database and Expert Systems Applications,

Hannou, Fatma-Zohra ; Amann, Bernd ; Baazizi, Mohamed-Amine - p. 47-62 , 2019

Link: https://doi.org/10.1007/..

10

Counting types for massive JSON datasets:

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

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio. - p. 1-12 , 2017

Link: https://dl.acm.org/doi/1..

11

Projection for XML update optimization:

, In: Proceedings of the 14th International Conference on Extending Database Technology,

Baazizi, Mohamed-Amine ; Bidoit, Nicole ; Colazzo, Dario.. - p. 307-318 , 2011

Link: https://dl.acm.org/doi/1..

12

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

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
hal-04042629. , 2023

Link: https://hal.science/hal-..

13

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

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
hal-04042629. , 2023

Link: https://hal.science/hal-..

14

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

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
hal-04042629. , 2023

Link: https://hal.science/hal-..

15

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

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
http://arxiv.org/abs/2307.10034. , 2023

Link: http://arxiv.org/abs/230..