Parallelisierungsmöglichkeiten formal spezifizierter Protokolle. - K. Wemheuer; Stefan Böhmer (Transputer-Anwender-Treffen, 1992)

A new approach to performance evaluation of formally specified protocols. - Stefan Böhmer; Ralf Klafka (FORTE, 1994)

Performance analysis of the GSM signalling protocol LAPDm. - Stefan Böhmer (VTC, 1994)

Transientes Simulationsmodell für lokale Kraftanregungen elektrischer Antriebe. - Thomas Herold; David Franck; Stefan Böhmer; Michael Schröder; Kay Hameyer (Elektrotech. Informationstechnik, 2015)

Transientes Simulationsmodell für die akustische Bewertung elektrischer Antriebe. - Thomas Herold; David Franck; Michael Schröder; Stefan Böhmer; Kay Hameyer (Elektrotech. Informationstechnik, 2016)