- Subset Synchronization and Careful Synchronization of Binary Finite Automata2016 | Matematicko-fyzikální fakulta
- Complexity of Road Coloring with Prescribed Reset Words2019 | Matematicko-fyzikální fakulta
- Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata2014 | Matematicko-fyzikální fakulta
- Parameterized Complexity of Synchronization and Road Coloring2015 | Matematicko-fyzikální fakulta