- Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation2018 | Faculty of Mathematics and Physics
- Tools for Ensemble Design and Runtime2015 | Faculty of Mathematics and Physics
- Targeting uncertainty in smart CPS by confidence-based logic2021 | Faculty of Mathematics and Physics, Central Library of Charles University
- A-GOOGLE: annotation software and dataPublication without faculty affiliation
- DATLOWE: software for text analytics +6Publication without faculty affiliation
- TRASK SOLUTIONS - licenses +4Publication without faculty affiliation
- Computer-intensive simulation of solid-state NMR experiments using SIMPSON2014 | Faculty of Science