| Graph balancing: A special case of scheduling unrelated parallel machines T Ebenlendr, M Krčál, J Sgall Algorithmica 68, 62-80, 2014 | 126 | 2014 |
| Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension M Cadek, M Krcál, J Matousek, L Vokrinek, U Wagner Siam Journal on Computing 43 (5), 1728-1780, 2014 | 63 | 2014 |
| Computing all maps into a sphere M Čadek, M Krčál, J Matoušek, F Sergeraert, L Vokřínek, U Wagner Journal of the ACM (JACM) 61 (3), 1-44, 2014 | 55 | 2014 |
| Algorithmic solvability of the lifting-extension problem M Čadek, M Krčál, L Vokřínek Discrete & Computational Geometry 57, 915-965, 2017 | 40* | 2017 |
| Extendability of continuous maps is undecidable M Čadek, M Krčál, J Matoušek, L Vokřínek, U Wagner Discrete & Computational Geometry 51 (1), 24-66, 2014 | 36 | 2014 |
| Polynomial-time homology for simplicial Eilenberg–MacLane spaces M Krčál, J Matoušek, F Sergeraert Foundations of Computational Mathematics 13 (6), 935-963, 2013 | 24 | 2013 |
| Robust satisfiability of systems of equations P Franek, M Krčál Journal of the ACM (JACM) 62 (4), 1-19, 2015 | 23 | 2015 |
| Packing directed cycles through a specified vertex set K Kawarabayashi, D Král', M Krčál, S Kreutzer Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete …, 2013 | 15 | 2013 |
| On the geometric Ramsey number of outerplanar graphs J Cibulka, P Gao, M Krčál, T Valla, P Valtr Discrete & Computational Geometry 53, 64-79, 2015 | 10 | 2015 |
| Computation of cubical Steenrod squares M Krčál, P Pilarczyk Computational Topology in Image Context: 6th International Workshop, CTIC …, 2016 | 7 | 2016 |
| On computability and triviality of well groups P Franek, M Krčál Discrete & Computational Geometry 56, 126-164, 2016 | 6 | 2016 |
| Extending continuous maps: polynomiality and undecidability M Cadek, M Krcál, J Matousek, L Vokrinek, U Wagner Proceedings of the forty-fifth annual ACM symposium on Theory of Computing …, 2013 | 5 | 2013 |
| Computational homotopy theory M Krčál Univerzita Karlova, Matematicko-fyzikální fakulta, 2013 | 4 | 2013 |
| Robustness of zero sets: Implementation P Franek, M Krcál, H Wagner Preprint http://www. cs. cas. cz/~ franek/rob-sat/experimental. pdf, 2016 | 3 | 2016 |
| Cohomotopy groups capture robust properties of zero sets P Franek, M Krčál Manuscript in preparation, 2014 | 3 | 2014 |
| Persistence of zero sets P Franek, M Krčál arXiv preprint arXiv:1507.04310, 2015 | 2 | 2015 |
| Polynomial bounds on geometric Ramsey numbers of ladder graphs J Cibulka, P Gao, M Krčál, T Valla, P Valtr The Seventh European Conference on Combinatorics, Graph Theory and …, 2013 | 2 | 2013 |
| Solving equations and optimization problems with uncertainty P Franek, M Krčál, H Wagner Journal of Applied and Computational Topology 1, 297-330, 2018 | 1 | 2018 |
| Zero Verification in Systems of Equations: Interval-based Implementation of a Topological Test. P Franek, M Krcál, H Wagner SCAN 2016, 49, 2016 | | 2016 |
| Packing directed cycles through a specified vertex set D Král, K Kawarabayashi, M Krčál, S Kreutzer Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete …, 2013 | | 2013 |
