P. Genevès, Logics for XML: Reasoning with Trees, 2009.

P. Genevès and N. Layaïda, A system for the static analysis of XPath, ACM Transactions on Information Systems, vol.24, issue.4, pp.475-502, 2006.
DOI : 10.1145/1185877.1185882

P. Genevès and N. Layaida, Deciding XPath containment with MSO, Data & Knowledge Engineering, vol.63, issue.1, pp.108-136, 2007.
DOI : 10.1016/j.datak.2006.11.003

P. Genevès, N. Layaïda, and V. Quint, Identifying query incompatibilities with evolving XML schemas, ICFP'09

P. Genevès, N. Layaïda, and A. Schmitt, Efficient static analysis of XML paths and types, PLDI'07

M. Murata, D. Lee, M. Mani, and K. Kawaguchi, Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology, vol.5, issue.4, pp.660-704, 2005.
DOI : 10.1145/1111627.1111631