- Regulated variants of limited context restarting automata2017 | Matematicko-fyzikální fakulta
- Lambda-Confluence Is Undecidable for Clearing Restarting Automata2013 | Matematicko-fyzikální fakulta
- Lambda-confluence for context rewriting systems2015 | Matematicko-fyzikální fakulta
- Two-Dimensional Limited Context Restarting Automata2016 | Matematicko-fyzikální fakulta
- Two-dimensional limited context restarting automata2014 | Matematicko-fyzikální fakulta