- O modálních systémech s rosserovskými modalitami2006 | Filozofická fakulta
- A Note on Arithmetical Completeness of Theories with Rosser Modalities2003 | Filozofická fakulta
- On the complexity of 2-monotone restarting automataPublikace bez příslušnosti k fakultě
- On the complexity of 2-monotone restarting automata2004 | Matematicko-fyzikální fakulta
- On Shrinking Restarting Automata of Window Size One and Two2019 | Matematicko-fyzikální fakulta
- O složitosti 2-monotonních restartovacích automatů2008 | Matematicko-fyzikální fakulta
- Limited context restarting automata and McNaughton families of languages +12012 | Matematicko-fyzikální fakulta
- On the Clases of Languages Accepted by Limited Context Restarting Automata2014 | Matematicko-fyzikální fakulta
- On restarting automata with auxiliary symbols and small window size2021 | Matematicko-fyzikální fakulta
