- Procedural Code Representation in a Flow Graph2015 | Matematicko-fyzikální fakulta
- Poznámka o antisymetrických tocích v grafech2010 | Matematicko-fyzikální fakulta
- Binding Semantic Tree of Dynamic Languages to Static Language Constructs2017 | Matematicko-fyzikální fakulta
- Data Lineage Temporally Using a Graph Database2019 | Matematicko-fyzikální fakulta
- Transforming procedural code for streaming environments2017 | Matematicko-fyzikální fakulta
