3
Publications
174
Citations
3
H-Index
2012
Active since
Affiliations
Florian Benz is an author at Saarland University specializing in approximate computing, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringParallel ProgrammingApproximate ComputingMathematical ProgrammingSoftware Testing
Publications per year
2012–2013
3
3
An effective heuristic for the smallest grammar problem
Florian Benz, Timo Kötzing · 2013 · 10 citations
Rows per page
1–3 of 3