Peter Franek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2011–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | SODA | Computing Simplicial Representatives of Homotopy Group Elements. | Marek Filakovsk, Peter Franek, Uli Wagner, Stephan Zhechev |
| 2014 | SODA | Robust Satisfiability of Systems of Equations. | Peter Franek, Marek Krcl |
| 2013 | SAGT | Symmetries of Quasi-Values. | Ales Antonin Kubena, Peter Franek |
| 2011 | MFCS | Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable. | Peter Franek, Stefan Ratschan, Piotr Zgliczynski |