- Erratum to: entropy of Turing machines with moving head2010 | Publication without faculty affiliation
- Parallel Turing Machines on a Two-Dimensional Tape2000 | Faculty of Mathematics and Physics, Central Library of Charles University
- On topological dynamics of Turing machines1997 | Faculty of Mathematics and Physics
- Decidability and universality in symbolic dynamical systems2006 | Publication without faculty affiliation
- Classification of Discrete Dynamical Systems Based on Transients2022 | Faculty of Mathematics and Physics
- Two-Dimensional Sgraffito Automata2012 | Faculty of Mathematics and Physics
- Two-dimensional Sgraffito automata2014 | Faculty of Mathematics and Physics
- Barrington Plays Cards: The Complexity of Card-Based Protocols2021 | Faculty of Mathematics and Physics
- UNDERSTANDING, EXPRESSION AND UNWELCOME LOGIC2020 | Faculty of Mathematics and Physics