First-principles study of the electronic structure and exchange interactions in bcc europium I Turek, J Kudrnovský, M Diviš, P Franek, G Bihlmayer, S Blügel Physical review B 68 (22), 224431, 2003 | 50 | 2003 |

Robust Satisfiability of Systems of Equations P Franek, M Krčál Journal of the ACM 62 (4), 26:1--26:19, 2015 | 21 | 2015 |

Quasi-decidability of a fragment of the first-order theory of real numbers P Franek, S Ratschan, P Zgliczynski Journal of Automated Reasoning 57 (2), 157-185, 2016 | 16 | 2016 |

Satisfiability of systems of equations of real analytic functions is quasi-decidable P Franek, S Ratschan, P Zgliczynski International Symposium on Mathematical Foundations of Computer Science, 315-326, 2011 | 15 | 2011 |

Effective topological degree computation based on interval arithmetic P Franek, S Ratschan Mathematics of Computation 84 (293), 1265-1290, 2015 | 13 | 2015 |

Generalized Dolbeault sequences in Parabolic geometry P Franek Journal of Lie Theory 18 (4), 757-775, 2007 | 11 | 2007 |

Generalized Verma module homomorphisms in singular character P Franek Archivum Mathematicum 42 (5), 229-240, 2006 | 10 | 2006 |

Proving the existence of loops in robot trajectories S Rohou, P Franek, C Aubry, L Jaulin The International Journal of Robotics Research 37 (12), 1500-1516, 2018 | 7 | 2018 |

Several Dirac Operator in parabolic geometry P Franek arXiv preprint arXiv:0708.1244, 2007 | 7 | 2007 |

On computability and triviality of well groups P Franek, M Krcal International Symposium on Computational Geometry 31, 842-856, 2015 | 6 | 2015 |

Computing simplicial representatives of homotopy group elements M Filakovský, P Franek, U Wagner, S Zhechev Journal of applied and computational topology 2 (3), 177-231, 2018 | 5 | 2018 |

Dirac operator in two variables from the viewpoint of parabolic geometry P Franek Advances in Applied Clifford Algebras 17 (3), 469-480, 2007 | 5 | 2007 |

Quasi-decidability of a fragment of the analytic first-order theory of real numbers, 2012 P Franek, S Ratschan, P Zgliczynski Preprint in http://arxiv. org/abs/1309.6280, 0 | 5 | |

Solving equations and optimization problems with uncertainty P Franek, M Krčál, H Wagner Journal of Applied and Computational Topology 1 (3), 297-330, 2018 | 4* | 2018 |

Persistence of zero sets P Franek, M Krčál arXiv preprint arXiv:1507.04310, 2015 | 3* | 2015 |

Computing simplicial representatives of homotopy group elements M Filakovsky, P Franek, U Wanger, S Zhechev Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete …, 2018 | 2 | 2018 |

Symmetries of quasi-values AA Kubena, P Franek International Symposium on Algorithmic Game Theory, 159-170, 2013 | 2 | 2013 |

Safety Verification By Interval Based Quantified Constraint Solving P Franek, J Kurátko, S Ratschan SCAN 2016, 107, 2016 | 1 | 2016 |

Quasi-decidability of a Fragment of the Analytic First-order Theory of Real Numbers P FRANEK, S RATSCHAN, P ZGLICZYNSKI | 1 | 2012 |

Correlation between seepage activity and micro seismicity on the Vestnesa Ridge, NW-Svalbard continental margin P Domel, S Singhroha, AA Plaza-Faverola, VSN Schlindwein, P Franek, ... AGU Fall Meeting Abstracts 2020, S021-0009, 2020 | | 2020 |