- K denotační sémantice jazyka XML-Lambda2010 | Matematicko-fyzikální fakulta
- Denotační sémantika dotazovacího jazyka XML-Lambda2010 | Matematicko-fyzikální fakulta
- Vyhodnocení fragmentů XPath pomocí XML-Lambda kalkulu2008 | Matematicko-fyzikální fakulta
- XML-lambda: an Extendible Framework for Manipulating XML Data2002 | Publikace bez příslušnosti k fakultě
- Vyhodnocování XML dotazů v prostředí založeném na lambda kalkulu2009 | Matematicko-fyzikální fakulta
- XML Querying with Functions2002 | Publikace bez příslušnosti k fakultě