- On the Denotational Semantics of XML-Lambda2010 | Faculty of Mathematics and Physics
- Denotational Semantics of the XML-Lambda Query Language2010 | Faculty of Mathematics and Physics
- Evaluation of XPath Fragments Using Lambda Calculi2008 | Faculty of Mathematics and Physics
- XML-lambda: an Extendible Framework for Manipulating XML Data2002 | Publication without faculty affiliation
- XML Query Evaluation Using a Lambda-Calculus Based Framework2009 | Faculty of Mathematics and Physics
- XML Querying with Functions2002 | Publication without faculty affiliation