Zeitvergleiche zwischen Lernmatrixschaltungen und funktionell gleichwertigen Simulationsprogrammen. - Detlef Schmid; Gerhard Schulze (Elektron. Rechenanlagen, 1966)

Einige Untersuchungen zur Hardware-Realisierung von Software-Operatoren. - Detlef Schmid (GI Jahrestagung, 1972)

Beschreibung einiger Registertransfersprachen. - Detlef Schmid; Thomas Schmitt (Elektron. Rechenanlagen, 1978)

Vergleich und Bewertung einiger Registertransfersprachen. - Detlef Schmid; Thomas Schmitt (Elektron. Rechenanlagen, 1979)

Automatischer Entwurf hochintegrierter Schaltungen aus Beschreibungen der Schaltungsfunktion. - Detlef Schmid; Raul Camposano; Wolfgang Rosenstiel (GI Jahrestagung, 1984)

Formal Synthesis in Circuit Design - A Classification and Survey. - Ramayya Kumar; Christian Blumenröhr; Dirk Eisenbiegler; Detlef Schmid (FMCAD, 1996)

DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme. - Kurt Antreich; Franz J. Rammig; Wolfgang Rosenstiel; Detlef Schmid; Klaus Waldschmidt (Inform. Forsch. Entwickl., 1997)

Formale Verifikation eingebetteter Systeme. - Detlef Schmid; Klaus Schneider 001; Michaela Huhn; George Logothetis; Viktor K. Sabelfeld (Informationstechnik Tech. Inform., 1999)

On the efficiency of formal synthesis-experimental results. - Christian Blumenröhr; Dirk Eisenbiegler; Detlef Schmid (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung. - Detlef Schmid; Manfred Broy (Inform. Spektrum, 2000)

Erstellung korrekter Spezifikationen für diskrete Systeme. - Roberto M. Ziller; Detlef Schmid (MBMV, 2006)