- EVALUATION OF EFFICIENCY OF GYMNASTICS PROGRAMS2012 | First Faculty of Medicine, Faculty of Physical Education and Sport
- Improving Efficiency of Prolog Programs by Fully Automated Transformation2007 | Faculty of Mathematics and Physics
- Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation +12007 | Faculty of Mathematics and Physics
- ECO - Computer Program2001 | Faculty of Science
- Binary Speed Up for Logic Programs2000 | Faculty of Mathematics and Physics
- Optimal interpolation with spatial rational Pythagorean hodograph curves2023 | Faculty of Mathematics and Physics
- Coarse-convex-compactification approach to numerical solution of nonconvex variational problems2010 | Faculty of Mathematics and Physics
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem2014 | Faculty of Mathematics and Physics
- Iodine intake monitoring in neonatal population in the Czech Republic: alarming numbers in 20202021 | Third Faculty of Medicine