- On the Clases of Languages Accepted by Limited Context Restarting Automata2014 | Faculty of Mathematics and Physics
- Limited context restarting automata and McNaughton families of languages +12012 | Faculty of Mathematics and Physics
- Lambda-Confluence Is Undecidable for Clearing Restarting Automata2013 | Faculty of Mathematics and Physics
- Regulated variants of limited context restarting automata2017 | Faculty of Mathematics and Physics
- Lambda-confluence for context rewriting systems2015 | Faculty of Mathematics and Physics