- Fictitious domain formulation of unilateral problems: analysis and algorithms2009 | Faculty of Mathematics and Physics
- Medical image analysis of 3D CT images based on extension of Haralick texture features2008 | First Faculty of Medicine
- Reducibility bounds of objective functions over the integers2023 | Faculty of Mathematics and Physics
- Visual Analysis of Emotions Using AI Image-Processing Software: Possible Male/Female Differences between the Emotion Pairs "Neutral" - "Fear" and "Pleasure" - "Pain"2021 | Central Library of Charles University, Faculty of Science
- Boolean functions with long prime implicants2013 | Faculty of Mathematics and Physics
- Evaluating and Tuning n-fold Integer Programming +12018 | Faculty of Mathematics and Physics
- Survey and Evaluation of Neural 3D Shape Classification Approaches2021 | Faculty of Mathematics and Physics, Central Library of Charles University
- A guide to the labyrinth of algorithms2017 | Faculty of Mathematics and Physics
- A guide to the labyrinth of algorithms (2nd edition)2022 | Faculty of Mathematics and Physics
- XPath fragments on XML in columns2013 | Faculty of Mathematics and Physics
- A modified algorithm of the latent semantic analysis for text processing in the Russian languagePublication without faculty affiliation
- Lymphocyte enrichment using CD81-targeted immunoaffinity matrix2017 | Second Faculty of Medicine