Florian Frohn
Author
Alternate names Florian Frohn, F. Frohn
Institution RWTH Aachen University
Past institutions RWTH Aachen University, Max Planck Institute for Informatics, Max Planck Society
ORCID: Yes
H-index: 12
I10-index: 16
Works count: 52
Citations count: 493
Analyzing Program Termination and Complexity Automatically with AProVE
2016 · Jürgen Giesl, Cornelius Aschermann, et al. · Journal of Automated Reasoning
Proving Termination of Programs Automatically with AProVE
2014 · Jürgen Giesl, Marc Brockschmidt, et al. · Lecture notes in computer science
Lower Runtime Bounds for Integer Programs
2016 · Florian Frohn, Matthias Naaf, et al. · Lecture notes in computer science