- Storing XML Data - the ExDB and CellStore Way in the Context of Current Approaches2012 | Faculty of Mathematics and Physics
- Using Methods of Parallel Semi-structured Data Processing for SemanticWeb2009 | Faculty of Mathematics and Physics
- The Bobox Project - A Parallel Native Repository for Semi-structured Data and the Semantic Web2009 | Faculty of Mathematics and Physics
- XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy2006 | Faculty of Mathematics and Physics
- XML-izing Mizar: Making semantic processing and presentation of MML easy2006 | Publication without faculty affiliation