- Pumping deterministic monotone restarting automata and DCFL2020 | Faculty of Mathematics and Physics
- One-Side Pumping and Two-Side Pumping by Complete CF(¢, $)-grammars2023 | Faculty of Mathematics and Physics
- On Pumping RP-automata Controlled by Complete LRG(\cent,$)-grammars2022 | Faculty of Mathematics and Physics
- Reduction automata and syntactic errors2011 | Faculty of Mathematics and Physics
- Generalized linear list automata +12005 | Faculty of Mathematics and Physics
- On localization of (post)prefix (in)consistencies2012 | Faculty of Mathematics and Physics
- Localization of (in)consistencies by monotone reducing automata2012 | Faculty of Mathematics and Physics