- Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages2022 | Matematicko-fyzikální fakulta
- Inferring Common Language Infrastructure Metadata for an Ambiguous Dynamic Language Type2017 | Matematicko-fyzikální fakulta
- Semantic Analysis of Ambiguous Types in Dynamic Languages2018 | Matematicko-fyzikální fakulta
- Případová studie2017 | Fakulta sociálních věd
- Binding Semantic Tree of Dynamic Languages to Static Language Constructs2017 | Matematicko-fyzikální fakulta
- Type analysis of the South American diatom Achnanthes haynaldii (Bacillariophyta) and description of Planothidium amphibium sp nov., from aerial and aquatic environments in Oregon (USA)2014 | Přírodovědecká fakulta
- Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation2017 | Matematicko-fyzikální fakulta
- Comparison of myosin heavy chain mRNAs, protein isoforms and fiber type proportions in the rat slow and fast muscles2013 | Přírodovědecká fakulta
- Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations2020 | Matematicko-fyzikální fakulta
- Genomic analysis of natural intra-specific hybrids among Ethiopian isolates of Leishmania donovani2020 | Přírodovědecká fakulta
- Prediction vs. reality: Can a PVA model predict population persistence 13 years later?2010 | Přírodovědecká fakulta