The recursive sets in certain monadic second order fragments of arithmetic. - Dirk Siefkes (Arch. Math. Log., 1975)

Degrees of Circuit Complexity. - Dirk Siefkes (FCT, 1977)

Relating Uniform and Nonuniform Models of Computation. - Bernd Mahr; Dirk Siefkes (GI Jahrestagung, 1981)

The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals. - J. Richard Büchi; Dirk Siefkes (Math. Log. Q., 1983)

Grammars for Terms and Automata - On a book by the late J. Richard Büchi. - Dirk Siefkes (Computation Theory and Logic, 1987)

Polynomial-Time Functions Generate SAT: On P-Splinters. - Lane A. Hemachandra; Albrecht Hoene; Dirk Siefkes (MFCS, 1989)

Formalisieren und Beweisen - Logik für Informatiker. - Dirk Siefkes (Vieweg, 1990)

Wende zur Phantasie: Zur Theoriebildung in der Informatik. - Dirk Siefkes (GI Jahrestagung (1), 1990)

On Sets Polynomially Enumerable by Iteration. - Lane A. Hemachandra; Albrecht Hoene; Dirk Siefkes; Paul Young (Theor. Comput. Sci., 1991)

Formalisieren und Beweisen - Logik für Informatiker (2. Aufl.). - Dirk Siefkes (Vieweg, 1992)

Computer und Ökosystem - zwei Metaphern fürs Denken und Lernen. - Dirk Siefkes (Informatik cui bono?, 1992)

Formale Methoden und kleine Systeme - lernen, leben und arbeiten in formalen Umgebungen. - Dirk Siefkes (Vieweg, 1993)

Using Inductive Counting to Simulate Nondeterministic Computation - Gerhard Buntrock; Lane A. Hemachandra; Dirk Siefkes (Inf. Comput., 1993)

Ökologische Orientierung in der Informatik. - Arno Rolf; Dirk Siefkes (FIFF Jahrestagung, 1994)

Umdenken auf kleine Systeme - Können wir zu einer ökologischen Orientierung der Informatik finden? - Dirk Siefkes (Inform. Spektrum, 1996)

Computer Science as Cultural Development: Toward a Broader Theory. - Dirk Siefkes (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

Einleitung. - Peter Eulenhöfer; Dirk Siefkes; Heike Stach; Klaus Städtler (Sozialgeschichte der Informatik, 1998)

Die Rolle von Gruppenprozessen in der Informatikgeschichte. - Dirk Siefkes (Sozialgeschichte der Informatik, 1998)

Informatikobjekte entstehen durch Hybridisierung. - Dirk Siefkes (GI Jahrestagung (2), 2001)

Software wird im Handeln zum Hybridobjekt - Rahmen für eine Theorie der Informatik. - Dirk Siefkes (EMISA Forum, 2003)