- Loop conditions2020 | Matematicko-fyzikální fakulta
- Loop conditions for strongly connected digraphs2020 | Matematicko-fyzikální fakulta
- Pseudo-loop conditions2019 | Matematicko-fyzikální fakulta
- Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing2023 | Matematicko-fyzikální fakulta
- Local-global property for G-invariant terms2022 | Matematicko-fyzikální fakulta