- Towards Efficient Software Comprehension with Code Analysis2022 | Matematicko-fyzikální fakulta
- Using Static Code Analysis to Improve Coarse Task Granularity in Bobox2015 | Matematicko-fyzikální fakulta
- Výuka formálních metod: Modely chování a analýza kódu2009 | Matematicko-fyzikální fakulta
- Using Static Code Analysis for Improvement of Job Data Availability in Bobox Task Scheduling2015 | Matematicko-fyzikální fakulta
- PeachPie: Mature PHP to CLI Compiler2022 | Matematicko-fyzikální fakulta
- Mapování dynamických jazykových konstruktů do statických abstraktních stromů2010 | Matematicko-fyzikální fakulta
- Nový občanský zákoník pro Českou republiku. Kritická skica.2014 | Právnická fakulta
- Některá teoretická a metodologická východiska výzkumu ve výtvarné výchově2007 | Matematicko-fyzikální fakulta, Pedagogická fakulta
- Binding Semantic Tree of Dynamic Languages to Static Language Constructs2017 | Matematicko-fyzikální fakulta
- Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation2017 | Matematicko-fyzikální fakulta
- Semantic Analysis of Ambiguous Types in Dynamic Languages2018 | Matematicko-fyzikální fakulta
- Source Code Assertion Verification Using Backward Symbolic Execution2019 | Matematicko-fyzikální fakulta
- Použitelnost model checkeru BLAST: průmyslová případová studie2010 | Matematicko-fyzikální fakulta
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta
- Heuristická redukce paralelismu v prostředí komponentyPublikace bez příslušnosti k fakultě
- Anticipatory information sources of serve and returning of elite professional tennis players: A qualitative approach2023 | 1. lékařská fakulta, Fakulta tělesné výchovy a sportu