Rohou S, F, Aubry C, Jaulin L. Proving the existence of loops in robot trajectories, Int. Journal of Robotic Research, 2018.
Filakovsky M., F, Wagner, U., Zhechev, S. Computing simplicial representatives of homotopy group elements, J. of Applied and Computational Topology, 2018 Also accepted to SODA 2018.
F, Krčál M., Wagner H. Solving equations and optimisation problems with uncertainty. J. of Applied and Computational Topology, 2018.
F, Krcal M. On Computability and Triviality of Well Groups. Discrete & Compu. Geometry, 2016. Also at Symposium on Computational Geometry 2015.
F, Krcal M. Robust satisfiability of systems of equations, Journal of the ACM. Also at SODA 2014.
Kubena A., F. Symmetries of Quasi-values, Algorithmic Game Theory, 2013.
F, Ratschan S. Effective Topological Degree Computation Based on Interval Arithmetic, AMS Math. of Computation, 2014.