Dr.-Ing. Michael Beyer

Beyer, M. (2012). Static Analysis of Run-time Modes in Kahn Process Networks. Berlin Institute of Technology (TU-Berlin) Shaker.

Beyer, M. and Glesner, S. (2012). Static Analysis of Run-time Modes in Synchronous Process Networks. PSI '11: Perspectives of Systems Informatics, 8th International Andrei Ershov Memorial Conference. Springer Verlag / Heidelberg, 55-67.

Beyer, M. and Glesner, S. (2011). Static Run-time Mode Extraction by State Partitioning in Synchronous Process Networks. SCOPES '11: Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems. ACM, 28–37.

Beyer, M., Rose, A., Jank, E. and Krüger, J. (2008). Softwaretechnische Instrumentenunterstützung für ein leistungssteuerndes HNO Navigationssystem. Computer Science - Research and Development. Springer Berlin / Heidelberg, 147-160.

Beyer, M., Rose, A., Jank, E. and Krüger, J. (2007). Enhancing instrument support of a power controlling ENT navigation system (FESS-Control). CAS-H '07: Proceedings of the 4th International Computer Aided Surgery Around the Head Conference. Pro Business Verlag, 19–20.

Beyer, M. (2006). Entwurf, Realisierung und Integration einer dynamischen Instrumentenmodellierung für ein klinisches Navigationssystem mit Leistungssteuerung für die HNO-Chirurgie.