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