- K formálnímu modelu pro popis přirozeného jazyka založenému na restartovacích automatech s paralelními DR-strukturami2010 | Matematicko-fyzikální fakulta
- Proceedings of the 20th Conference Information Technologies - Applications and Theory (ITAT 2020) Hotel Tyrapol, Oravská Lesná, Slovakia, September 18-22, 20202020 | Matematicko-fyzikální fakulta
- Proceedings of the 22nd Conference Information Technologies - Applications and Theory (ITAT 2022), Zuberec, Slovakia, September 23-27, 20222022 | Matematicko-fyzikální fakulta
- ITAT 2021 - Proceedings of the 21st Conference Information Technologies - Applications and Theory2021 | Matematicko-fyzikální fakulta
- Proceedings of the 23rd Conference Information Technologies – Applications and Theory (ITAT 2023) Tatranské Matliare, Slovakia, September 22-26, 20232023 | Matematicko-fyzikální fakulta
- Linear List Automata with a Look-Ahead Window2004 | Matematicko-fyzikální fakulta