- Paralelně komunikující gramatické systémy2009 | Matematicko-fyzikální fakulta
- Paralelně komunikující gramatické systémy a redukční analýza2008 | Matematicko-fyzikální fakulta
- Translations by Regulated Parallel Communicating Grammar Systems2011 | Matematicko-fyzikální fakulta
- On the Correspondence between Parallel Communicating Grammar Systems and Restarting Automata2011 | Matematicko-fyzikální fakulta
- Parallel communicating grammar systems with regular control and skeleton preserving FRR automata2011 | Matematicko-fyzikální fakulta
- O paralelně komunikujících gramatických systémech a restartovacích automatech zachovávajících správnost2009 | Matematicko-fyzikální fakulta
- Formální překlady, paralelně komunikující gramatické systémy a restartovací automaty2008 | Matematicko-fyzikální fakulta
- Paralelně komunikující gramatické systémy a restartovací automatyPublikace bez příslušnosti k fakultě
- PCGS a restartovací automaty zachovávající správnostPublikace bez příslušnosti k fakultě
- O PCGS a FRR-automatech2008 | Matematicko-fyzikální fakulta