Biblio
] , “Hybrid Logic for Expressing XML Schemas with Typed References”, Seventh International Conference on Computer Science and Information (CSIT), 2009.
, “Testing XML constraint satisfiability”, Electr. Notes Theor. Comput. Sci., vol. 174, pp. 45-61, 2008.
, “Type-Based Detection of XML Query-Update Independence”, Proceedings of the VLDB Endowment, vol. 5, pp. 872-883, 2012.
, “Efficiently and Effectively Answering Why-Not Questions based on Provenance Polynomials”. OAK team, Inria Saclay ; INRIA, p. 25, 2015.