- Oracle Pushdown Automata +12005 | Faculty of Mathematics and Physics
- Application of DES Theory to Verification of Software Components2009 | Faculty of Mathematics and Physics
- Monotone deterministic RL-automata don't need auxiliary symbols2005 | Faculty of Mathematics and Physics
- Monotone deterministic RL-automata don't need auxiliary symbols. +12005 | Faculty of Mathematics and Physics
- Window size two suffices for deterministic monotone RWW-automata2019 | Faculty of Mathematics and Physics
- On restarting automata with auxiliary symbols and small window size2021 | Faculty of Mathematics and Physics