Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Validation of Modern JSON Schema: Formalization and Complexity., , , , , and . CoRR, (2023)Not Elimination and Witness Generation for JSON Schema., , , , and . CoRR, (2021)Negation-Closure for JSON Schema., , , , and . CoRR, (2022)An Empirical Study on the Üsage of Not" in Real-World JSON Schema Documents (Long Version)., , , , and . CoRR, (2021)On the Evaluation of RDF Distribution Algorithms Implemented over Apache Spark., , , and . SSWS@ISWC, volume 1457 of CEUR Workshop Proceedings, page 16-31. CEUR-WS.org, (2015)Explaining Query Answer Completeness and Correctness with Partition Patterns., , and . DEXA (2), volume 11707 of Lecture Notes in Computer Science, page 47-62. Springer, (2019)Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas., , , , , and . ER (Workshops), volume 12584 of Lecture Notes in Computer Science, page 220-230. Springer, (2020)Schema Inference for Massive JSON Datasets., , , , and . EDBT, page 222-233. OpenProceedings.org, (2017)A Tool for JSON Schema Witness Generation., , , , , , , and . EDBT, page 694-697. OpenProceedings.org, (2021)Validation of Modern JSON Schema: Formalization and Complexity., , , , , and . Proc. ACM Program. Lang., 8 (POPL): 1451-1481 (January 2024)