Marek Krcál

According to our database1, Marek Krcál authored at least 17 papers between 2008 and 2020.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Two Semi-supervised Approaches to Malware Detection with Neural Networks.
Proceedings of the 20th Conference Information Technologies, 2020

2019
Deep Networks in Online Malware Detection.
Proceedings of the 19th Conference Information Technologies, 2019

2018
Solving equations and optimization problems with uncertainty.
J. Appl. Comput. Topol., 2018

Deep Convolutional Malware Classifiers Can Learn from Raw Executables and Labels Only.
Proceedings of the 6th International Conference on Learning Representations, 2018

2017
Algorithmic Solvability of the Lifting-Extension Problem.
Discret. Comput. Geom., 2017

2016
Computation of Cubical Steenrod Squares.
Proceedings of the Computational Topology in Image Context - 6th International Workshop, 2016

2015
On the Geometric Ramsey Number of Outerplanar Graphs.
Discret. Comput. Geom., 2015

Cohomotopy groups capture robust properties of zero sets.
CoRR, 2015

On Computability and Triviality of Well Groups.
Proceedings of the 31st International Symposium on Computational Geometry, 2015

2014
Polynomial-Time Computation of Homotopy Groups and Postnikov Systems in Fixed Dimension.
SIAM J. Comput., 2014

Extendability of Continuous Maps Is Undecidable.
Discret. Comput. Geom., 2014

Robust Satisfiability of Systems of Equations.
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, 2014

2013
Polynomial-Time Homology for Simplicial Eilenberg-MacLane Spaces.
Found. Comput. Math., 2013

Extending continuous maps: polynomiality and undecidability.
Proceedings of the Symposium on Theory of Computing Conference, 2013

Packing directed cycles through a specified vertex set.
Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, 2013

2012
Computing all maps into a sphere.
Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, 2012

2008
Graph balancing: a special case of scheduling unrelated parallel machines.
Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2008


  Loading...