- On the Complexity of Reductions by Restarting Automata.2014 | Faculty of Mathematics and Physics
- Formalization of Word-Order Shifts by Restarting Automata2013 | Faculty of Mathematics and Physics
- On Minimalism of Analysis by Reduction by Restarting Automata2014 | Faculty of Mathematics and Physics
- Spontaneous Gneration2003 | Faculty of Arts
- (In)Dependencies in Functional Generative Description by Restarting Automata2010 | Faculty of Mathematics and Physics
- On the descriptional complexity of simple RL-automataPublication without faculty affiliation
- On the Complexity of 2-Monotone Restarting Automata2008 | Faculty of Mathematics and Physics
- Modeling eHealth processes using hierarchical statecharts2018 | First Faculty of Medicine
- Topological dynamics of cellular automata2009 | Publication without faculty affiliation
- On the Gap-Complexity of Simple RL-AutomataPublication without faculty affiliation
- On the measure attractor of a cellular automaton2005 | Faculty of Mathematics and Physics
- Monotonicity of restarting automata2008 | 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
- Dynamics of cellular automata in non-compact spaces2009 | Publication without faculty affiliation
- Correctness Preservation and Complexity of Simple RL-Automata2006 | Faculty of Mathematics and Physics
- Subshift attractors in cellular automata2007 | Publication without faculty affiliation
- On Tearness and Freedom of Word Order with Restarting Automata +12005 | Faculty of Mathematics and Physics
- A search algorithm for subshift attractors of cellular automata2010 | Publication without faculty affiliation
- GFE - Graphical Finite State Machine Editor for Parallel Execution +1Publication without faculty affiliation
- GFE - Graphical Finite State Machine Editor for Parallel Execution2006 | Faculty of Mathematics and Physics
- Hierarchies of weakly monotone restarting automata2005 | Faculty of Mathematics and Physics
- Genesis automaté2003 | Faculty of Science
- Parametrized syntactic analysis by freely rewriting Restarting Automata2005 | Faculty of Mathematics and Physics
- A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata +12008 | Faculty of Mathematics and Physics
- A Search Algorithm for the Maximal Attractor of a Cellular Automaton2007 | Publication without faculty affiliation
- Book review: A Second Course in Formal Languages and Automata Theory2009 | Faculty of Mathematics and Physics