Concepedia

Peter Franek

PF

Statistics

Publications

3

Citations

34

H-Index

3

Active since

2013

Affiliations

Czech Academy of Sciences, Institute of Computer Science(Current)

Peter Franek is an author at Czech Academy of Sciences, Institute of Computer Science specializing in formal methods.

ORCID

Top concepts

Publications per year

2013–2018

3

Publications

3

Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers

Peter Franek, Stefan Ratschan, Piotr Zgliczyński · Journal of Automated Reasoning · 2015 · 13 citations · Full text

, , +5

Robust Satisfiability of Systems of Equations

Peter Franek, Marek Krčál · 2013 · 11 citations · Full text

Prouver l'existence de boucles dans des trajectoires de robots

Simon Rohou, Peter Franek, Clément Aubry et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2018 · 10 citations · Full text

1–3 of 3