- O složitosti redukcí pomocí restartovacích automatů2014 | Matematicko-fyzikální fakulta
- K formalizaci slovosledných posunů ponocí restartovacích automatů2013 | Matematicko-fyzikální fakulta
- O minimalismu redukční analýzy pomocí restartovacích automatů2014 | Matematicko-fyzikální fakulta
- Genesis automaté2003 | Filozofická fakulta
- (Ne)Závislosti ve Funkčním generativním popisu podle restartovacích automatů2010 | Matematicko-fyzikální fakulta
- O popisné složitosti restartovacích automatůPublikace bez příslušnosti k fakultě
- O složitosti 2-monotonních restartovacích automatů2008 | Matematicko-fyzikální fakulta
- Modelování eHealth procesů v pomocí hierarchických stavových automatů (statecharts)2018 | 1. lékařská fakulta
- Topologická dynamika celulárních automatů2009 | Publikace bez příslušnosti k fakultě
- O děrovosti jednoduchých RL-automatůPublikace bez příslušnosti k fakultě
- Atraktor celularního automatu v prostoru měr2005 | Matematicko-fyzikální fakulta
- Monotonie u restartovacích automatů2008 | Matematicko-fyzikální fakulta
- O děrové-složitosti jednoduchých RL- automatů +12006 | Matematicko-fyzikální fakulta
- Dynamika celulárních automatů v nekompaktních prostorech2009 | Publikace bez příslušnosti k fakultě
- Zachovávání korektnosti a složitost jednoduchých RL=automatů2006 | Matematicko-fyzikální fakulta
- Posuvné atraktory celulárních automatů2007 | Publikace bez příslušnosti k fakultě
- O roztržitosti a volnosti slovosledu pomocí restartovacích automatů +12005 | Matematicko-fyzikální fakulta
- Algoritmus na vyhledávání posunových atraktorů celulárních automatů2010 | Publikace bez příslušnosti k fakultě
- GFE - Grafický editor stavových automatů pro paralelní běh +1Publikace bez příslušnosti k fakultě
- GFE - Grafický editor stavových automatů pro paralelní běh2006 | Matematicko-fyzikální fakulta
- Hierarchie slabě monotonních restartovacích automatů2005 | Matematicko-fyzikální fakulta
- Genesis automaté2003 | Přírodovědecká fakulta
- Parametrizovaná syntaktická analýza pomocí volně přepisujících restartovací automatů2005 | Matematicko-fyzikální fakulta
- Dvourozměrná taxonomie vlastních jazyků lexikalizovaných FRR-automatů2008 | Matematicko-fyzikální fakulta
- Algoritmus vyhledávání maximálních atraktorů celulárních automatů2007 | Publikace bez příslušnosti k fakultě
- Recenze knihy Druhý kurs teorie formálních jazyků a automatů2009 | Matematicko-fyzikální fakulta
- Dvoudimenzionální taxonomie vlastních jazyků lexikalizovaných FRR automatů2008 | Matematicko-fyzikální fakulta