- On Modal Systems with Rosser Modalities2006 | Faculty of Arts
- A Note on Arithmetical Completeness of Theories with Rosser Modalities2003 | Faculty of Arts
- On the complexity of 2-monotone restarting automataPublication without faculty affiliation
- On the complexity of 2-monotone restarting automata2004 | Faculty of Mathematics and Physics
- On Shrinking Restarting Automata of Window Size One and Two2019 | Faculty of Mathematics and Physics
- On the Complexity of 2-Monotone Restarting Automata2008 | Faculty of Mathematics and Physics
- Limited context restarting automata and McNaughton families of languages +12012 | Faculty of Mathematics and Physics
- On the Clases of Languages Accepted by Limited Context Restarting Automata2014 | Faculty of Mathematics and Physics
- On restarting automata with auxiliary symbols and small window size2021 | Faculty of Mathematics and Physics
