- My Favourite Automat - To the Automates Themselves2010 | Faculty of Mathematics and Physics
- My Favourite Automat - To the Automates Themselves2010 | Faculty of Mathematics and Physics, Faculty of Education
- Cellular automata dynamical systems2010 | Publication without faculty affiliation
- Clearing restarting automata2010 | Faculty of Mathematics and Physics
- Restarting Automata with Structured Output and Functional Generative Description2010 | Faculty of Mathematics and Physics
- Reduction automata and syntactic errors2011 | Faculty of Mathematics and Physics
- A corpus-based finite-state morphological toolkit for contemporary Arabic2013 | Faculty of Mathematics and Physics
- Oracle Pushdown Automata +12005 | Faculty of Mathematics and Physics
- On Lexicalized Well-Behaved Restarting Automata That Are Monotone2010 | Faculty of Mathematics and Physics
- Sliding CDAWG perfection2008 | Faculty of Mathematics and Physics
- Clearing Restarting Automata2009 | Faculty of Mathematics and Physics
- Hierarchial Communicating State Automata2004 | First Faculty of Medicine
- Degrees of non-monotonicity for restarting automata,2006 | Faculty of Mathematics and Physics
- Reduction automata, monotonie and reducibility2003 | Faculty of Mathematics and Physics, Central Library of Charles University
- State Dependances in Interfering Automata2006 | Faculty of Mathematics and Physics
- Non-stop výdejní automatyPublication without faculty affiliation
- Towards Automatic Minuting of Meetings2019 | Faculty of Mathematics and Physics
- Automatic identification of the infinitive. A case study as a contribution to automatic disambiguation of Czech texts2006 | Faculty of Arts
- Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata2007 | Faculty of Mathematics and Physics
- Free Word-Order and Restarting Automata.2007 | Faculty of Mathematics and Physics
- Identifying Representatives for Interfering Automata2007 | Faculty of Mathematics and Physics
- Manual and Automatic Paraphrases for MT Evaluation2016 | Faculty of Mathematics and Physics
- Towards the Automatic Extraction of Definitions in Slavic +22007 | Faculty of Mathematics and Physics
- Automatic Differentiation and Its Program Realization2009 | Faculty of Mathematics and Physics
- Automatic differentiation and nonsmooth optimization2006 | Faculty of Mathematics and Physics
- Cellular Automata with Infinite Number of Subshift Attractors2007 | Publication without faculty affiliation
- Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata.2007 | Faculty of Mathematics and Physics