- XML Document Correction and XQuery Analysis with Analyzer2011 | Faculty of Mathematics and Physics
- TriQuery: Modifying XQuery for RDF and Relational Data2010 | Faculty of Mathematics and Physics
- XQuery2004 | Faculty of Mathematics and Physics
- Reducing Temporary Trees in XQuery2008 | Faculty of Mathematics and Physics
- Extending Datalog to Cover XQuery2008 | Faculty of Mathematics and Physics
- Output-Driven XQuery Evaluation +12008 | Faculty of Mathematics and Physics
- XQConverter: A System for XML Query Analysis2011 | Faculty of Mathematics and Physics
- Optimizing XQuery/XSLT programs using backward analysis2007 | Faculty of Mathematics and Physics
- Bulk Evaluation of XQuery2012 | Faculty of Mathematics and Physics
- XML in Enterprise Systems: its Roles and Benefits2010 | Faculty of Mathematics and Physics
- R-Programs: A Framework for Distributing XML Structural Joins across Function Calls2010 | Faculty of Mathematics and Physics
- Analyzer - A Complex System for Data Analysis2012 | Faculty of Mathematics and Physics
- Inference of an XML Schema with the Knowledge of XML Operations2012 | Faculty of Mathematics and Physics
- XML Query Adaptation as Schema Evolves2013 | Faculty of Mathematics and Physics
- XML databases: the state of art and perspectives2004 | Faculty of Mathematics and Physics
- XPath 2.0: It Can Sort! +12005 | Faculty of Mathematics and Physics
- Reconstruction of Normalized XML Documents +12008 | Faculty of Mathematics and Physics
- 3D_XML: a three-dimensional XML-based model2008 | Faculty of Mathematics and Physics
- XML Technologies - Principles and Their Exploitation in Databases2008 | Faculty of Mathematics and Physics
- XML Query Evaluation Using a Lambda-Calculus Based Framework2009 | Faculty of Mathematics and Physics
- On the Denotational Semantics of XML-Lambda2010 | Faculty of Mathematics and Physics
- An Analysis of Real-World XML Queries2016 | Faculty of Mathematics and Physics
- Utilizing new capabilities of XML languages to verify integrity constraints2012 | 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