LAMSADE
Attouche Lyes
Doctorant
Publications
Articles
Attouche L., Baazizi M-A., Colazzo D., Ghelli G., Sartiani C., Scherzinger S. (2024), Validation of Modern JSON Schema: Formalization and Complexity, Proceedings of the ACM on Programming Language, vol. 8, p. 1451-1481 
Attouche L., Baazizi M-A., Colazzo D., Ghelli G., Sartiani C., Scherzinger S. (2022), Witness Generation for JSON Schema, Proceedings of the VLDB Endowment, vol. 15, n°13, p. 4002-4014
Communications sans actes
Attouche L., Baazizi M-A., Colazzo D., Ding Y., Fruth M., Ghelli G., Sartiani C., Scherzinger S. (2021), A Test Suite for JSON Schema Containment, ER Posters/Demo 2021 - 40th International Conference on Conceptual Modeling, St. John's, Canada
Prépublications / Cahiers de recherche
Attouche L., Baazizi M-A., Colazzo D., Ghelli G., Sartiani C., Scherzinger S. (2023), Validation of Modern JSON Schema: Formalization and Complexity, Paris, Preprint Lamsade, 1-49 p.