1
Publications
30
Citations
1
H-Index
2020
Active since
Affiliations
Humboldt-Universität zu Berlin(Current)
Fabian Gerhardt is an author at Humboldt-Universität zu Berlin specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProof ComplexityQuery OptimizationAutomated ReasoningFormal VerificationDiscrete MathematicsKnowledge Compilation
Publications per year
2020–2020
1
1
Rows per page
1–1 of 1