Follow
Marek Krčál
Marek Krčál
Unknown affiliation
Verified email at ist.ac.at
Title
Cited by
Cited by
Year
Graph balancing: A special case of scheduling unrelated parallel machines
T Ebenlendr, M Krčál, J Sgall
Algorithmica 68, 62-80, 2014
1202014
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
602014
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
552014
Algorithmic solvability of the lifting-extension problem
M Čadek, M Krčál, L Vokřínek
Discrete & Computational Geometry 57, 915-965, 2017
38*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
342014
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
242013
Robust satisfiability of systems of equations
P Franek, M Krčál
Journal of the ACM (JACM) 62 (4), 1-19, 2015
232015
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
152013
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
102015
On computability and triviality of well groups
P Franek, M Krčál
Discrete & Computational Geometry 56, 126-164, 2016
62016
Computation of cubical Steenrod squares
M Krčál, P Pilarczyk
Computational Topology in Image Context: 6th International Workshop, CTIC …, 2016
62016
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
52013
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
52013
Computational homotopy theory
M Krčál
Univerzita Karlova, Matematicko-fyzikální fakulta, 2013
42013
Robustness of zero sets: Implementation
P Franek, M Krcál, H Wagner
Preprint http://www. cs. cas. cz/~ franek/rob-sat/experimental. pdf, 2016
32016
Cohomotopy groups capture robust properties of zero sets
P Franek, M Krčál
Manuscript in preparation, 2014
32014
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
22013
Solving equations and optimization problems with uncertainty
P Franek, M Krčál, H Wagner
Journal of Applied and Computational Topology 1, 297-330, 2018
12018
Persistence of zero sets
P Franek, M Krčál
arXiv preprint arXiv:1507.04310, 2015
12015
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
The system can't perform the operation now. Try again later.
Articles 1–20