Statistics
Publications
3
Citations
54
H-Index
3
Active since
2004
Affiliations
FernUniversität in Hagen(Current)
Michael Gerke is an author at FernUniversität in Hagen specializing in computing, education, and automation.
Publications per year
2004–2014
3
3
Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams
Rüdiger Ehlers, Daniel Fass, Michael Gerke et al. · 2010 · 20 citations
Visual inspection of power lines by U.A.S.
Michael Gerke, Peter Seibold · 2014 · 19 citations
1–3 of 3