A Runtime System for XML Transformations in Java. - Aske Simon Christensen; Christian Kirkegaard; Anders Møller (XSym, 2004)

Static Analysis of XML Transformations in Java. - Christian Kirkegaard; Anders Møller; Michael I. Schwartzbach (IEEE Trans. Software Eng., 2004)

Type Checking with XML Schema in XACT. - Christian Kirkegaard; Anders Møller (PLAN-X, 2006)

XACT - XML Transformations in Java. - Christian Kirkegaard; Anders Møller (PLAN-X, 2006)

Static Analysis for Java Servlets and JSP. - Christian Kirkegaard; Anders Møller (SAS, 2006)

Exploiting schemas in data synchronization. - J. Nathan Foster; Michael B. Greenwald; Christian Kirkegaard; Benjamin C. Pierce; Alan Schmitt (J. Comput. Syst. Sci., 2007)