Peter Franek - RankMe

21 papers A* 3B 2Journal 16

Year	Rank	Type	Title / Venue / Authors
2018	A*	`conf`	Computing Simplicial Representatives of Homotopy Group Elements. SODA Marek Filakovský, Peter Franek, Uli Wagner, Stephan Zhechev
2018	J	`jnl`	Computing simplicial representatives of homotopy group elements. J. Appl. Comput. Topol. Marek Filakovský, Peter Franek, Uli Wagner, Stephan Zhechev
2018	J	`jnl`	Proving the existence of loops in robot trajectories. Int. J. Robotics Res. Simon Rohou, Peter Franek, Clément Aubry, Luc Jaulin
2018	J	`jnl`	Solving equations and optimization problems with uncertainty. J. Appl. Comput. Topol. Peter Franek, Marek Krcál, Hubert Wagner
2017	J	`jnl`	Computing simplicial representatives of homotopy group element. CoRR Marek Filakovský, Peter Franek, Uli Wagner, Stephan Zhechev
2017	J	`jnl`	Proving the existence of loops in robot trajectories. CoRR Simon Rohou, Peter Franek, Clément Aubry, Luc Jaulin
2016	J	`jnl`	On Computability and Triviality of Well Groups. Discret. Comput. Geom. Peter Franek, Marek Krcál
2016	J	`jnl`	Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers. J. Autom. Reason. Peter Franek, Stefan Ratschan, Piotr Zgliczynski
2016	J	`jnl`	Solving equations and optimization problems with uncertainty. CoRR Peter Franek, Marek Krcál, Hubert Wagner
2015	J	`jnl`	Cohomotopy groups capture robust properties of zero sets. CoRR Peter Franek, Marek Krcál
2015	J	`jnl`	Effective topological degree computation based on interval arithmetic. Math. Comput. Peter Franek, Stefan Ratschan
2015	A*	`conf`	On Computability and Triviality of Well Groups. SoCG Peter Franek, Marek Krcál
2015	J	`jnl`	On Computability and Triviality of Well Groups. CoRR Peter Franek, Marek Krcál
2015	J	`jnl`	Robust Satisfiability of Systems of Equations. J. ACM Peter Franek, Marek Krcál
2014	A*	`conf`	Robust Satisfiability of Systems of Equations. SODA Peter Franek, Marek Krcál
2014	J	`jnl`	Robust Satisfiability of Systems of Equations. CoRR Peter Franek, Marek Krcál
2013	J	`jnl`	Quasi-decidability of a Fragment of the First-order Theory of Real Numbers. CoRR Peter Franek, Stefan Ratschan, Piotr Zgliczynski
2013	B	`conf`	Symmetries of Quasi-Values. SAGT Ales Antonin Kubena, Peter Franek
2012	J	`jnl`	Effective Topological Degree Computation Based on Interval Arithmetic CoRR Peter Franek, Stefan Ratschan
2012	J	`jnl`	Shapley's Game Value Axiomatic with restricted symmetry CoRR Ales Antonin Kubena, Peter Franek
2011	B	`conf`	Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable. MFCS Peter Franek, Stefan Ratschan, Piotr Zgliczynski