- On Generating Templates for Hypothesis in Inductive Logic Programming2011 | Faculty of Mathematics and Physics
- Towards a text generation template language for Modelica2009 | First Faculty of Medicine
- Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement2011 | Faculty of Mathematics and Physics
- HISTORY-DRIVEN TEMPLATE GENERATION IN INDUCTIVE LOGIC PROGRAMMING2012 | Faculty of Mathematics and Physics
- QRML: A Component Language and Toolset for Quality and Resource Management2020 | Faculty of Mathematics and Physics
- Remote monitoring of cardiac implanted electronic devices: legal requirements and ethical principles - ESC Regulatory Affairs Committee/EHRA joint task force report. Translation of the document prepared by the Czech Society of Cardiology2021 | Faculty of Law