- Monotonní deterministický RL-automat nepotřebuje pomocné symboly2005 | Matematicko-fyzikální fakulta
- Monotonní deterministické RL-automaty nepotřebují pomocné symboly.2005 | Matematicko-fyzikální fakulta
- Zásobníkové automaty s orákulem2005 | Matematicko-fyzikální fakulta
- Zapomínající restartovací automaty2009 | Matematicko-fyzikální fakulta
- O PCGS a FRR-automatech2008 | Matematicko-fyzikální fakulta
- Matematika a počítačové důkazy2007 | Matematicko-fyzikální fakulta
- Zapomínající restartovací automatyPublikace bez příslušnosti k fakultě
- Monotonie u restartovacích automatů2008 | Matematicko-fyzikální fakulta
- Víceznačnost pomocí restartovacích automatů2007 | Matematicko-fyzikální fakulta
- Zobecněné seznamové automaty2005 | Matematicko-fyzikální fakulta
- The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata2021 | Matematicko-fyzikální fakulta
- Celulární automaty jako dynamické systémy2010 | Publikace bez příslušnosti k fakultě
- Stupně monotonie pro restartovací automaty2006 | Matematicko-fyzikální fakulta
- Computational Hierarchy of Elementary Cellular AutomataPublikace bez příslušnosti k fakultě
- Computational Hierarchy of Elementary Cellular Automata2021 | Matematicko-fyzikální fakulta
- Závislosti mezi stavy v Interfering automata2006 | Matematicko-fyzikální fakulta
- O popisné složitosti restartovacích automatůPublikace bez příslušnosti k fakultě
- O složitosti redukcí pomocí restartovacích automatů2014 | Matematicko-fyzikální fakulta
- O děrové-složitosti jednoduchých RL- automatů +12006 | Matematicko-fyzikální fakulta
- O děrovosti jednoduchých RL-automatůPublikace bez příslušnosti k fakultě
- Redukční automaty a syntaktické chyby2011 | Matematicko-fyzikální fakulta
- On h-Lexicalized Automata and h-Syntactic Analysis2017 | Matematicko-fyzikální fakulta
- O složitosti 2-monotonních restartovacích automatů2008 | Matematicko-fyzikální fakulta
- Clearingové restartovací automaty2010 | Matematicko-fyzikální fakulta
- Zachovávání korektnosti a složitost jednoduchých RL=automatů2006 | Matematicko-fyzikální fakulta
- Cyclically extended variants of Sgraffito and restarting automata for picture languages2016 | Matematicko-fyzikální fakulta
- Subset Synchronization of Transitive Automata2014 | 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