- Loop conditions2020 | Faculty of Mathematics and Physics
- Loop conditions for strongly connected digraphs2020 | Faculty of Mathematics and Physics
- Pseudo-loop conditions2019 | Faculty of Mathematics and Physics
- Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing2023 | Faculty of Mathematics and Physics
- Local-global property for G-invariant terms2022 | Faculty of Mathematics and Physics