Simplifying DPDA Using Supplementary Information. - Pavel Labath; Branislav Rovan (LATA, 2011)

XSLT streamability analysis with recursive schemas. - Pavel Labath (RCIS, 2012)

A Uniform Programmning Language for Implementing XML Standards. - Pavel Labath; Joachim Niehren (SOFSEM, 2015)