- Decomposing graphs into paths and trees2017 | Matematicko-fyzikální fakulta
- Edge-partitioning 3-edge-connected graphs into paths2022 | Matematicko-fyzikální fakulta
- UniAGENT: Reduced Time-Expansion Graphs and Goal Decomposition in Sub-optimal Cooperative Path Finding2015 | Matematicko-fyzikální fakulta