- MSOL Restricted Contractibility to Planar Graphs2012 | Faculty of Mathematics and Physics
- Approximating max-cut under graph-MSO constraints2018 | Faculty of Mathematics and Physics
- Logic2002 | Faculty of Physical Education and Sport
- Decomposition width of matroids2012 | Faculty of Mathematics and Physics
- Model-Checking on Ordered Structures2020 | Faculty of Mathematics and Physics