[1] Čadek, M., Krčál, M., Matoušek, J., Sergeraert, F., Vokřínek, L., Wagner, U.:
Computing all maps into a sphere. Proc. ACM-SIAM Symposium on Discrete Algorithms (SODA), 2012, preprint, arXiv:1105.6257, 2011. Extended abstract.
MR 3205192
[3] Čadek, M., Krčál, M., Matoušek, J., Vokřínek, L., Wagner, U.: Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension. preprint, arXiv:1211.3093, 2012.
[4] Čadek, M., Krčál, M., Vokřínek, L.: Algorithmic solvability of the lifting-extension problem. preprint, arXiv:1307.6444, 2013.
[5] Vokřínek, L.: Heaps and unpointed stable homotopy theory. preprint, arXiv:1312.1709, 2013.