- Cellular automata dynamical systems2010 | Publication without faculty affiliation
- Clearing restarting automata2010 | Faculty of Mathematics and Physics
- Reduction automata and syntactic errors2011 | Faculty of Mathematics and Physics
- Restarting Automata with Structured Output and Functional Generative Description2010 | Faculty of Mathematics and Physics
- Oracle Pushdown Automata +12005 | Faculty of Mathematics and Physics
- Clearing Restarting Automata2009 | Faculty of Mathematics and Physics
- Degrees of non-monotonicity for restarting automata,2006 | Faculty of Mathematics and Physics
- State Dependances in Interfering Automata2006 | Faculty of Mathematics and Physics
- On Lexicalized Well-Behaved Restarting Automata That Are Monotone2010 | Faculty of Mathematics and Physics
- On PCGS and FRR-automata2008 | 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
- Clearing Restarting AutomataPublication without faculty affiliation
- Generalized linear list automata2005 | Faculty of Mathematics and Physics
- Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata2007 | Faculty of Mathematics and Physics
- Monotone deterministic RL-automata don't need auxiliary symbols.2005 | Faculty of Mathematics and Physics
- Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata.2007 | Faculty of Mathematics and Physics
- Reduction automata, monotonie and reducibility2003 | Faculty of Mathematics and Physics, Central Library of Charles University
- Restarting Automata with Structured output and Functional Generative Description2009 | Faculty of Mathematics and Physics
- Deterministic Two-Way Restarting Automata and Marcus Contextual Grammars2005 | Faculty of Mathematics and Physics
- Using Finite-State Automata to Model and Solve Planning Problems2010 | Faculty of Mathematics and Physics
- On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata2009 | Faculty of Mathematics and Physics
- Towards a Formal Model for Functional Generative Description: Analysis by Reduction and Restarting Automata +12007 | Faculty of Mathematics and Physics
- Hierarchial Communicating State Automata2004 | First Faculty of Medicine
- Monotone deterministic RL-automata don't need auxiliary symbols2005 | Faculty of Mathematics and Physics
- Restarting automata, DR-trees and Functional Generative Description of Czech2009 | Faculty of Mathematics and Physics
- Towards a formal model of natural language description based on restarting automata with parallel DR-structures2010 | Faculty of Mathematics and Physics
- Cellular Automata with Infinite Number of Subshift Attractors2007 | Publication without faculty affiliation