- Celulární automaty jako dynamické systémy2010 | Publikace bez příslušnosti k fakultě
- Clearingové restartovací automaty2010 | Matematicko-fyzikální fakulta
- Redukční automaty a syntaktické chyby2011 | Matematicko-fyzikální fakulta
- Restartovací automaty se strukturovaným výstupem a Funkční generativní popis2010 | Matematicko-fyzikální fakulta
- Zásobníkové automaty s orákulem +12005 | Matematicko-fyzikální fakulta
- Zapomínající restartovací automaty2009 | Matematicko-fyzikální fakulta
- Stupně monotonie pro restartovací automaty2006 | Matematicko-fyzikální fakulta
- Závislosti mezi stavy v Interfering automata2006 | Matematicko-fyzikální fakulta
- O lexikalizovaných, způsobných restartovacích automatech, které jsou monotonní2010 | Matematicko-fyzikální fakulta
- O PCGS a FRR-automatech2008 | Matematicko-fyzikální fakulta
- Konstrukce reprezentačních stavů v Interfering automata2007 | Matematicko-fyzikální fakulta
- Volný slovosled a restartovací automaty2007 | Matematicko-fyzikální fakulta
- Zapomínající restartovací automatyPublikace bez příslušnosti k fakultě
- Zobecněné seznamové automaty2005 | Matematicko-fyzikální fakulta
- Hierarchická relaxace vlastnosti zachování správnosti pro restartovací automaty2007 | Matematicko-fyzikální fakulta
- Monotonní deterministické RL-automaty nepotřebují pomocné symboly.2005 | Matematicko-fyzikální fakulta
- Hierachická relaxace zachovávání správnosti pro restartovací automaty.2007 | Matematicko-fyzikální fakulta
- Redukční automaty, monotonie a redukovanost2003 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Restartovací automaty se strukturovaným výstupem a Funkční generativní popis.2009 | Matematicko-fyzikální fakulta
- Deterministické dvou-cestné restartovací automaty a Marcusovy kontextuální gramatiky2005 | Matematicko-fyzikální fakulta
- Použití konečných automatů pro modelování a řešení plánovacích problémů2010 | 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í model Funkčního generativního popisu: redukční analýza a restartovací automaty +12007 | Matematicko-fyzikální fakulta
- Hierarchické komunikující stavové automaty2004 | 1. lékařská fakulta
- Monotonní deterministický RL-automat nepotřebuje pomocné symboly2005 | Matematicko-fyzikální fakulta
- Restartovací automaty, DR-stromy a Funkční generativní popis češtiny2009 | Matematicko-fyzikální fakulta
- K formálnímu modelu pro popis přirozeného jazyka založenému na restartovacích automatech s paralelními DR-strukturami2010 | Matematicko-fyzikální fakulta
- Celulární automaty s nekonečným počtem posunných atraktorů2007 | Publikace bez příslušnosti k fakultě