- Clearing Restarting AutomataPublication without faculty affiliation
- Clearing Restarting Automata2009 | Faculty of Mathematics and Physics
- Clearing restarting automata2010 | Faculty of Mathematics and Physics
- Δ-Clearing Restarting Automata and CFL2011 | Faculty of Mathematics and Physics
- Δ-Clearing Restarting Automata and CFLPublication without faculty affiliation
- Lambda-Confluence Is Undecidable for Clearing Restarting Automata2013 | Faculty of Mathematics and Physics
- Lambda-confluence for context rewriting systems2015 | Faculty of Mathematics and Physics