- Pumping deterministic monotone restarting automata and DCFL2020 | Matematicko-fyzikální fakulta
- One-Side Pumping and Two-Side Pumping by Complete CF(¢, $)-grammars2023 | Matematicko-fyzikální fakulta
- On Pumping RP-automata Controlled by Complete LRG(\cent,$)-grammars2022 | Matematicko-fyzikální fakulta
- Redukční automaty a syntaktické chyby2011 | Matematicko-fyzikální fakulta
- Generalized linear list automata2005 | Matematicko-fyzikální fakulta
- Zobecněné seznamové automaty2005 | Matematicko-fyzikální fakulta
- On localization of (post)prefix (in)consistencies2012 | Matematicko-fyzikální fakulta
- Localization of (in)consistencies by monotone reducing automata2012 | Matematicko-fyzikální fakulta