M. Benedikt, W. Fan, and F. Geerts, XPath satisfiability in the presence of DTDs, PODS'05

P. Genevès and N. Laya¨?dalaya¨?da, Eliminating dead-code from XQuery programs, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10
DOI : 10.1145/1810295.1810363

P. Genevès and N. Laya¨?dalaya¨?da, Video demo, 2011.

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

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