- Accessibility patterns: Czech Republic case study2013 | Faculty of Science
- Stronger Lower Bounds for Online ORAM2019 | Faculty of Mathematics and Physics
- Column-oriented Data Store for Astrophysical Data2014 | Faculty of Mathematics and Physics
- aDFS: An Almost Depth-First-Search Distributed Graph-Querying System2021 | Faculty of Mathematics and Physics
- Astute Approach to Handling Memory Layouts of Regular Data Structures2023 | Faculty of Mathematics and Physics, Central Library of Charles University