- Oprava: Entropie Turingových strojů s pohybující se hlavou2010 | Publikace bez příslušnosti k fakultě
- Parallel Turing Machines on a Two-Dimensional Tape2000 | Matematicko-fyzikální fakulta, Ústřední knihovna
- On topological dynamics of Turing machines1997 | Matematicko-fyzikální fakulta
- Rozhodnutelnost a univerzalita symbolických dynamických systémů2006 | Publikace bez příslušnosti k fakultě
- Classification of Discrete Dynamical Systems Based on Transients2022 | Matematicko-fyzikální fakulta
- Two-Dimensional Sgraffito Automata2012 | Matematicko-fyzikální fakulta
- Two-dimensional Sgraffito automata2014 | Matematicko-fyzikální fakulta
- Barrington Plays Cards: The Complexity of Card-Based Protocols2021 | Matematicko-fyzikální fakulta
- UNDERSTANDING, EXPRESSION AND UNWELCOME LOGIC2020 | Matematicko-fyzikální fakulta