| 2010 | FMICS | Model Checking the FlexRay Physical Layer Protocol. | Michael Gerke, Rdiger Ehlers, Bernd Finkbeiner, Hans-Jrg Peter |
| 2010 | ICFEM | Making the Right Cut in Model Checking Data-Intensive Timed Systems. | Rdiger Ehlers, Michael Gerke, Hans-Jrg Peter |
| 2010 | RTSS | Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. | Rdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jrg Peter |
| 2005 | ICCD | Towards the Formal Verification of Lower System Layers in Automotive Systems. | Sven Beyer, Peter Bhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul |
| 1999 | IJCNN | Optimal training parameters in multilayer feedforward networks. | Andreas Wendemuth, Michael Gerke |
| 1995 | IROS | Fuzzy collision avoidance for industrial robots. | Michael Gerke, Helmut Hoyer |
| 1994 | ICRA | Online Collision Avoidance for Industrial Robots with Six Degrees of Freedom. | Helmut Hoyer, Michael Gerke, Ulrich Borgolte |
| 1994 | MASCOTS | From Simulation to Virtual Reality: A Robotic Application. | Michael Gerke, R. Dicken, Helmut Hoyer |