- POLYNOMIAL-TIME COMPUTATION OF HOMOTOPY GROUPS AND POSTNIKOV SYSTEMS IN FIXED DIMENSION2014 | Matematicko-fyzikální fakulta
- Polynomial-Time Homology for Simplicial Eilenberg-MacLane Spaces2013 | Matematicko-fyzikální fakulta
- Computing All Maps into a Sphere2014 | Matematicko-fyzikální fakulta
- Algorithmic Solvability of the Lifting-Extension Problem2017 | Matematicko-fyzikální fakulta
- Tate cohomology of connected k-theory for elementary abelian groups revisited2019 | Matematicko-fyzikální fakulta
- Computing all maps into a sphere +12012 | Matematicko-fyzikální fakulta
- Efficient generation of elimination trees and graph associahedra2022 | Matematicko-fyzikální fakulta
