- Zásobníkové automaty s orákulem +12005 | Matematicko-fyzikální fakulta
- Aplikace teorie DES na verifikaci softwarových komponent2009 | Matematicko-fyzikální fakulta
- Monotonní deterministický RL-automat nepotřebuje pomocné symboly2005 | Matematicko-fyzikální fakulta
- Monotone deterministic RL-automata don't need auxiliary symbols.2005 | Matematicko-fyzikální fakulta
- Monotonní deterministické RL-automaty nepotřebují pomocné symboly.2005 | Matematicko-fyzikální fakulta
- Window size two suffices for deterministic monotone RWW-automata2019 | Matematicko-fyzikální fakulta
- On restarting automata with auxiliary symbols and small window size2021 | Matematicko-fyzikální fakulta