Mohamed-Amine Baazizi

34 papers A* 1A 1B 6C 2Journal 14Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Elimination of annotation dependencies in validation for Modern JSON Schema.
Theor. Comput. Sci.
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Stefan Klessinger, Carlo Sartiani, Stefanie Scherzinger
2026 J jnl
JSON Schema Inclusion through Refutational Normalization: Reconciling Efficiency and Completeness.
CoRR
Mohamed-Amine Baazizi, Nour El Houda Ben Ali, Dario Colazzo, Giorgio Ghelli, Stefan Klessinger, Carlo Sartiani, Stefanie Scherzinger
2025 J jnl
Elimination of annotation dependencies in validation for Modern JSON Schema.
CoRR
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Stefan Klessinger, Carlo Sartiani, Stefanie Scherzinger
2025 B conf
Everything You Always Wanted to Know About JSON Schema (But Were Afraid to Ask).
EDBT
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2025 — conf
JTutor: JSON Schema Validation Explained.
DBPL
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Kachimsirikwuo Caleb Imo, Stefan Klessinger, Carlo Sartiani, Stefanie Scherzinger
2024 J jnl
Optimistic Data Generation for JSON Schema.
Trans. Large Scale Data Knowl. Centered Syst.
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo
2024 J jnl
Validation of Modern JSON Schema: Formalization and Complexity.
Proc. ACM Program. Lang.
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2023 J jnl
Negation-closure for JSON Schema.
Theor. Comput. Sci.
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2023 J jnl
Validation of Modern JSON Schema: Formalization and Complexity.
CoRR
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2022 J jnl
Negation-Closure for JSON Schema.
CoRR
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2022 — conf
The Usage of Negation in Real-World JSON Schema Documents.
SEBD
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2022 J jnl
Witness Generation for JSON Schema.
CoRR
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2022 J jnl
Witness Generation for JSON Schema.
Proc. VLDB Endow.
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2021 — conf
A Test Suite for JSON Schema Containment.
ER Demos/Posters
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Yunchen Ding, Michael Fruth, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2021 B conf
A Tool for JSON Schema Witness Generation.
EDBT
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Francesco Falleni, Giorgio Ghelli, Cristiano Landi, Carlo Sartiani, Stefanie Scherzinger
2021 J jnl
An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version).
CoRR
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2021 A conf
An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents.
ER
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2021 J jnl
Not Elimination and Witness Generation for JSON Schema.
CoRR
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2020 — conf
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas.
ER (Workshops)
Michael Fruth, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
2020 B conf
Human-in-the-Loop Schema Inference for Massive JSON Datasets.
EDBT
Mohamed-Amine Baazizi, Clément Berti, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2019 A* conf
A Type System for Interactive JSON Schema Inference (Extended Abstract).
ICALP
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2019 — conf
Explaining Query Answer Completeness and Correctness with Partition Patterns.
DEXA (2)
Fatma-Zohra Hannou, Bernd Amann, Mohamed-Amine Baazizi
2019 J jnl
Parametric schema inference for massive JSON datasets.
VLDB J.
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2019 C conf
Query-Oriented Answer Imputation for Aggregate Queries.
ADBIS
Fatma-Zohra Hannou, Bernd Amann, Mohamed-Amine Baazizi
2019 B conf
Schemas And Types For JSON Data.
EDBT
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2019 — conf
Schemas and Types for JSON Data: From Theory to Practice.
SIGMOD Conference
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2017 — conf
Counting types for massive JSON datasets.
DBPL
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2017 B conf
Schema Inference for Massive JSON Datasets.
EDBT
Mohamed-Amine Baazizi, Houssem Ben Lahmar, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2015 — conf
HAQWA: a Hash-based and Query Workload Aware Distributed RDF Store.
ISWC (Posters & Demos)
Olivier Curé, Hubert Naacke, Mohamed-Amine Baazizi, Bernd Amann
2015 — conf
On the Evaluation of RDF Distribution Algorithms Implemented over Apache Spark.
SSWS@ISWC
Olivier Curé, Hubert Naacke, Mohamed-Amine Baazizi, Bernd Amann
2015 J jnl
On the Evaluation of RDF Distribution Algorithms Implemented over Apache Spark.
CoRR
Olivier Curé, Hubert Naacke, Mohamed-Amine Baazizi, Bernd Amann
2012 — —
Analyse statique pour l'optimisation des mises à jour de documents XML temporels. (Static analysis for optimizing the update of large temporal XML documents).
Mohamed-Amine Baazizi
2011 C conf
Efficient Encoding of Temporal XML Documents.
TIME
Mohamed-Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo
2011 B conf
Projection for XML update optimization.
EDBT
Mohamed-Amine Baazizi, Nicole Bidoit, Dario Colazzo, Noor Malla, Marina Sahakyan