- Abstract Model for Multi-Model Data2021 | Matematicko-fyzikální fakulta
- Abstract Model of k-Cloud ComputingPublikace bez příslušnosti k fakultě
- Tailored Platforms as Cloud ServicePublikace bez příslušnosti k fakultě
- Ověřené tipy pro rozvoj přírodovědné abstrakce2020 | Pedagogická fakulta
- Multi-Agent Path Finding on Ozobots2019 | Matematicko-fyzikální fakulta
- Multi-agent Path Finding on Real Robots: First Experience with Ozobots2018 | Matematicko-fyzikální fakulta
- Multi-agent path finding on real robots2019 | Matematicko-fyzikální fakulta
- Multi-Agent Path Finding on Real Robots +12019 | Matematicko-fyzikální fakulta
- SMT-based automatic proof of ASM model refinement2016 | Matematicko-fyzikální fakulta
- Kaplansky classes, finite character and aleph(1)-projectivity2012 | Matematicko-fyzikální fakulta
- Formalized contrastive lexical description: a framework for bilingual dictionaries2014 | Filozofická fakulta
- Possibilities and limits of collaboration between science and NGOs in the Czech Republic2013 | Fakulta sociálních věd
- Inequality as rule - sorting the international hierarchy of powers with methodology of strategic potential analysis2014 | Fakulta sociálních věd, Matematicko-fyzikální fakulta
- Understanding metabolic regulation: A case for the factivists2019 | Filozofická fakulta