- Abstract Model for Multi-Model Data2021 | Faculty of Mathematics and Physics
- Abstract Model of k-Cloud ComputingPublication without faculty affiliation
- Tailored Platforms as Cloud ServicePublication without faculty affiliation
- Proven tips for developing scientific abstraction2020 | Faculty of Education
- Multi-Agent Path Finding on Ozobots2019 | Faculty of Mathematics and Physics
- Multi-agent Path Finding on Real Robots: First Experience with Ozobots2018 | Faculty of Mathematics and Physics
- Multi-agent path finding on real robots2019 | Faculty of Mathematics and Physics
- Multi-Agent Path Finding on Real Robots +12019 | Faculty of Mathematics and Physics
- SMT-based automatic proof of ASM model refinement2016 | Faculty of Mathematics and Physics
- Kaplansky classes, finite character and aleph(1)-projectivity2012 | Faculty of Mathematics and Physics
- Formalized contrastive lexical description: a framework for bilingual dictionaries2014 | Faculty of Arts
- Possibilities and limits of collaboration between science and NGOs in the Czech Republic2013 | Faculty of Social Sciences
- Inequality as rule - sorting the international hierarchy of powers with methodology of strategic potential analysis2014 | Faculty of Social Sciences, Faculty of Mathematics and Physics
- Understanding metabolic regulation: A case for the factivists2019 | Faculty of Arts