- Zapomínající restartovací automatyPublikace bez příslušnosti k fakultě
- Zapomínající restartovací automaty2009 | Matematicko-fyzikální fakulta
- Clearingové restartovací automaty2010 | Matematicko-fyzikální fakulta
- Δ-Clearing Restarting Automata and CFL2011 | Matematicko-fyzikální fakulta
- Δ-Clearing Restarting Automata and CFLPublikace bez příslušnosti k fakultě
- Lambda-Confluence Is Undecidable for Clearing Restarting Automata2013 | Matematicko-fyzikální fakulta
- Lambda-confluence for context rewriting systems2015 | Matematicko-fyzikální fakulta