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

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..

5

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/..

6

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..

7

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..

8

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

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

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

9

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

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

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

10

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

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

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

11

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

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

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

12

Witness Generation for JSON Schema:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
info:eu-repo/semantics/altIdentifier/arxiv/2202.12849. , 2022

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

13

Witness Generation for JSON Schema:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
info:eu-repo/semantics/altIdentifier/arxiv/2202.12849. , 2022

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

14

Witness Generation for JSON Schema:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
info:eu-repo/semantics/altIdentifier/arxiv/2202.12849. , 2022

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

15

A Test Suite for JSON Schema Containment:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
hal-03942896. , 2021

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