- Monotone deterministic RL-automata don't need auxiliary symbols2005 | Faculty of Mathematics and Physics
- Monotone deterministic RL-automata don't need auxiliary symbols.2005 | Faculty of Mathematics and Physics
- Oracle Pushdown Automata2005 | Faculty of Mathematics and Physics
- Clearing Restarting Automata2009 | Faculty of Mathematics and Physics
- On PCGS and FRR-automata2008 | Faculty of Mathematics and Physics
- Mathematics and Automata Reasoning2007 | Faculty of Mathematics and Physics
- Clearing Restarting AutomataPublication without faculty affiliation
- Monotonicity of restarting automata2008 | Faculty of Mathematics and Physics
- Ambiguity by restarting automata2007 | Faculty of Mathematics and Physics
- Generalized linear list automata2005 | Faculty of Mathematics and Physics
- The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata2021 | Faculty of Mathematics and Physics
- Cellular automata dynamical systems2010 | Publication without faculty affiliation
- Degrees of non-monotonicity for restarting automata,2006 | Faculty of Mathematics and Physics
- Computational Hierarchy of Elementary Cellular AutomataPublication without faculty affiliation
- Computational Hierarchy of Elementary Cellular Automata2021 | Faculty of Mathematics and Physics
- State Dependances in Interfering Automata2006 | Faculty of Mathematics and Physics
- On the descriptional complexity of simple RL-automataPublication without faculty affiliation
- On the Complexity of Reductions by Restarting Automata.2014 | Faculty of Mathematics and Physics
- On the gap-complexity of simple RL-automata2006 | Faculty of Mathematics and Physics
- On the Gap-Complexity of Simple RL-Automata2006 | Faculty of Mathematics and Physics
- On the Gap-Complexity of Simple RL-AutomataPublication without faculty affiliation
- Reduction automata and syntactic errors2011 | Faculty of Mathematics and Physics
- On h-Lexicalized Automata and h-Syntactic Analysis2017 | Faculty of Mathematics and Physics
- On the Complexity of 2-Monotone Restarting Automata2008 | Faculty of Mathematics and Physics
- Clearing restarting automata2010 | Faculty of Mathematics and Physics
- Correctness Preservation and Complexity of Simple RL-Automata2006 | Faculty of Mathematics and Physics
- Cyclically extended variants of Sgraffito and restarting automata for picture languages2016 | Faculty of Mathematics and Physics
- Subset Synchronization of Transitive Automata2014 | Faculty of Mathematics and Physics
- Identifying Representatives for Interfering Automata2007 | Faculty of Mathematics and Physics
- Free Word-Order and Restarting Automata.2007 | Faculty of Mathematics and Physics
