Marek Krcál

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 8

Top Topics

Malware Detection

Set Of Linear Equations

Unrelated Parallel Machines

Continuous Optimization Problems

Top Venues

Discret. Comput. Geom.

Publications

Jan Koza, Marek Krcál, Martin Holena
Two Semi-supervised Approaches to Malware Detection with Neural Networks. ITAT (2020)
Jirí Tumpach, Marek Krcál, Martin Holena
Deep Networks in Online Malware Detection. ITAT (2019)
Marek Krcál, Ondrej Svec, Martin Bálek, Otakar Jasek
Deep Convolutional Malware Classifiers Can Learn from Raw Executables and Labels Only. ICLR (Workshop) (2018)
Peter Franek, Marek Krcál, Hubert Wagner
Solving equations and optimization problems with uncertainty. J. Appl. Comput. Topol. 1 (3-4) (2018)
Martin Cadek, Marek Krcál, Lukás Vokrínek
Algorithmic Solvability of the Lifting-Extension Problem. Discret. Comput. Geom. 57 (4) (2017)
Marek Krcál, Pawel Pilarczyk
Computation of Cubical Steenrod Squares. CTIC (2016)
Peter Franek, Marek Krcál
On Computability and Triviality of Well Groups. Discret. Comput. Geom. 56 (1) (2016)
Peter Franek, Marek Krcál, Hubert Wagner
Solving equations and optimization problems with uncertainty. CoRR (2016)
Josef Cibulka, Pu Gao, Marek Krcál, Tomás Valla, Pavel Valtr
On the Geometric Ramsey Number of Outerplanar Graphs. Discret. Comput. Geom. 53 (1) (2015)
Peter Franek, Marek Krcál
Robust Satisfiability of Systems of Equations. J. ACM 62 (4) (2015)
Peter Franek, Marek Krcál
On Computability and Triviality of Well Groups. CoRR (2015)
Peter Franek, Marek Krcál
Cohomotopy groups capture robust properties of zero sets. CoRR (2015)
Peter Franek, Marek Krcál
On Computability and Triviality of Well Groups. SoCG (2015)
Tomás Ebenlendr, Marek Krcál, Jirí Sgall
Graph Balancing: A Special Case of Scheduling Unrelated Parallel Machines. Algorithmica 68 (1) (2014)
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner
Extendability of Continuous Maps Is Undecidable. Discret. Comput. Geom. 51 (1) (2014)
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner
Polynomial-Time Computation of Homotopy Groups and Postnikov Systems in Fixed Dimension. SIAM J. Comput. 43 (5) (2014)
Peter Franek, Marek Krcál
Robust Satisfiability of Systems of Equations. SODA (2014)
Peter Franek, Marek Krcál
Robust Satisfiability of Systems of Equations. CoRR (2014)
Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner
Computing All Maps into a Sphere. J. ACM 61 (3) (2014)
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner
Extending continuous maps: polynomiality and undecidability. STOC (2013)
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner
Extendability of continuous maps is undecidable CoRR (2013)
Martin Cadek, Marek Krcál, Lukás Vokrínek
Algorithmic solvability of the lifting-extension problem. CoRR (2013)
Josef Cibulka, Pu Gao, Marek Krcál, Tomás Valla, Pavel Valtr
On the Geometric Ramsey Number of Outerplanar Graphs. CoRR (2013)
Marek Krcál, Jirí Matousek, Francis Sergeraert
Polynomial-Time Homology for Simplicial Eilenberg-MacLane Spaces. Found. Comput. Math. 13 (6) (2013)
Ken-ichi Kawarabayashi, Daniel Král', Marek Krcál, Stephan Kreutzer
Packing directed cycles through a specified vertex set. SODA (2013)
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner
Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension CoRR (2012)
Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner
Computing all maps into a sphere. SODA (2012)
Marek Krcál, Jirí Matousek, Francis Sergeraert
Polynomial-time homology for simplicial Eilenberg-MacLane spaces CoRR (2012)
Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner
Computing all maps into a sphere CoRR (2011)
Tomás Ebenlendr, Marek Krcál, Jirí Sgall
Graph balancing: a special case of scheduling unrelated parallel machines. SODA (2008)