- Taxonomy of red-automata motivated by error localization2012 | Matematicko-fyzikální fakulta
- On localization of (post)prefix (in)consistencies2012 | Matematicko-fyzikální fakulta
- On Separations of LR(0)-Grammars by Two Types of Pumping Patterns2021 | Matematicko-fyzikální fakulta
- On Pumping RP-automata Controlled by Complete LRG(\cent,$)-grammars2022 | Matematicko-fyzikální fakulta