- O popisné složitosti restartovacích automatůPublikace bez příslušnosti k fakultě
- Descriptive complexity of countable unions of Borel rectangles2014 | Matematicko-fyzikální fakulta
- Lexikografický popis komplexních predikátů v češtině: Mezi lexikonem a gramatikou2016 | Matematicko-fyzikální fakulta
- Komplex vyšších spinorových operátorů2009 | Matematicko-fyzikální fakulta
- On Guarded Extensions of MMSNP2023 | Matematicko-fyzikální fakulta
- K možnostem korpusového zpracování nadvětných jevů2014 | Matematicko-fyzikální fakulta
- Constraint Satisfaction Problems over Finite Structures2021 | Matematicko-fyzikální fakulta
- A Unifying Framework for Manipulation Problems2018 | Matematicko-fyzikální fakulta