- Lambda-confluence for context rewriting systems2015 | Matematicko-fyzikální fakulta
- Limited context restarting automata and McNaughton families of languages2012 | Matematicko-fyzikální fakulta
- O separujících množinách slov III.2010 | Matematicko-fyzikální fakulta
- Monotonie u restartovacích automatů2008 | Matematicko-fyzikální fakulta
- Víceznačnost pomocí restartovacích automatů2007 | Matematicko-fyzikální fakulta
- Lambda-Confluence Is Undecidable for Clearing Restarting Automata2013 | Matematicko-fyzikální fakulta
- Stupeň expanze slov lexikalizovaného RRWW-automatu: nová míra nedeterminismu (bezkontextových) jazyků.Publikace bez příslušnosti k fakultě
- Míra pro stupeň nedeterminismu bezkontextových jazyků2007 | Matematicko-fyzikální fakulta
- Stupeň větného rozšíření lexikalizovaných RRWW-automatů - nová míra stupně nedeterminismu (bezkontextových) jazyků2009 | Matematicko-fyzikální fakulta