- Computing Homotopy Classes for Diagrams2023 | Faculty of Mathematics and Physics
- Algorithmic Solvability of the Lifting-Extension Problem2017 | Faculty of Mathematics and Physics
- Simple realizability of complete abstract topological graphs simplified2015 | Faculty of Mathematics and Physics
- Computing all maps into a sphere +12012 | Faculty of Mathematics and Physics
- Computing All Maps into a Sphere2014 | Faculty of Mathematics and Physics
- Polynomial-Time Homology for Simplicial Eilenberg-MacLane Spaces2013 | Faculty of Mathematics and Physics
- POLYNOMIAL-TIME COMPUTATION OF HOMOTOPY GROUPS AND POSTNIKOV SYSTEMS IN FIXED DIMENSION2014 | Faculty of Mathematics and Physics