Vergleich von Klassifikatoren für die Lauterkennung. - Reinhard Mühlfeld; Peter Regel; J. John; G. Siller (DAGM-Symposium, 1984)

A system for understanding continuous german speech. - Heinrich Niemann; Astrid Brietzmann; Hans-Werner Hein; Reinhard Mühlfeld; Peter Regel; Günter Schukat (Inf. Sci., 1984)

Verifikation von Worthypothesen. - Reinhard Mühlfeld (1986)

Ein Dokumentationssystem auf Windowssystemen. - M. Burger; H. Burgstaller; Ulrike Harke; Reinhard Mühlfeld (GI Jahrestagung (1), 1988)

Eine Familie von Editoren als Bestandteil einer objektorientierten Benutzeroberfläche. - Sonja Scheuermann; Joachim Grollmann; Reinhard Mühlfeld (Graphik im Bürobereich, 1988)

A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol. - Robi Malik; Reinhard Mühlfeld (J. Univers. Comput. Sci., 2003)