- When Is Phonetic Search with FPGAs Efficient?2010 | Faculty of Mathematics and Physics
- Recognizing Picture Languages by Reductions to String Languages2022 | Faculty of Mathematics and Physics
- Subset Synchronization and Careful Synchronization of Binary Finite Automata2016 | Faculty of Mathematics and Physics