- Cover time and mixing time of random walks on dynamic graphs2018 | Matematicko-fyzikální fakulta
- Kernelization via Sampling with Applications to Dynamic Graph Streams2016 | Matematicko-fyzikální fakulta
- Efektivní heuristika pro SAT založená na znalosti komponent souvislosti grafu problému2009 | Matematicko-fyzikální fakulta
- Must the Communication Graph of MPC Protocols be an Expander? +12018 | Matematicko-fyzikální fakulta
- Efficient fully dynamic elimination forests with applications to detecting long paths and cycles2021 | Matematicko-fyzikální fakulta