AVL Trees Revisited: A Case Study in SPECTRUM. - Rudi Hettler; Dieter Nazareth; Franz Regensburger; Oscar Slotosch (KORSO Book, 1995)

A polymorphic sort system for axiomatic specification languages. - Dieter Nazareth (1995)

Specifying Type Systems. - Dieter Nazareth (ALP, 1996)

The Semantic Treatment of Polymorphic Specification Languages. - Dieter Nazareth (ALP, 1996)

Formal Verification of Algorithm W: The Monomorphic Case. - Dieter Nazareth; Tobias Nipkow (TPHOLs, 1996)

Communication Concepts for Statecharts: A Semantic Foundation. - Peter Scholz; Dieter Nazareth (ARTS, 1997)

Modellbasierte Entwicklung einer Lichtsteuerung für ein Rapid Prototyping System. - Dieter Nazareth; Christian Wurm (Echtzeit, 2012)

Verwendungsfähigkeit von Android-CE-Geräten für Car2X-Anwendungen am Beispiel einer Geschwindigkeitsregelung. - Dominik Hotter; Dieter Nazareth (Echtzeit, 2014)

BMW-ROOM An Object-Oriented Method for ASCET. - Max Fuchs; Dieter Nazareth; Dirk Daniel; Bernhard Rumpe (CoRR, 2014)