Dirk Siefkes

Publication Activity (10 Years)

Years Active: 1975-2003
Publications (10 Years): 0

Publications

Dirk Siefkes
Software wird im Handeln zum Hybridobjekt - Rahmen für eine Theorie der Informatik. EMISA Forum 23 (2) (2003)
Dirk Siefkes
Informatikobjekte entstehen durch Hybridisierung. GI Jahrestagung (2) (2001)
Dirk Siefkes
Computer Science as Cultural Development: Toward a Broader Theory. Foundations of Computer Science: Potential - Theory - Cognition (1997)
Dirk Siefkes
Umdenken auf kleine Systeme - Können wir zu einer ökologischen Orientierung der Informatik finden? Inform. Spektrum 19 (3) (1996)
Arno Rolf, Dirk Siefkes
Ökologische Orientierung in der Informatik. FIFF Jahrestagung (1994)
Gerhard Buntrock, Lane A. Hemachandra, Dirk Siefkes
Using Inductive Counting to Simulate Nondeterministic Computation Inf. Comput. 102 (1) (1993)
Dirk Siefkes
Computer und Ökosystem - zwei Metaphern fürs Denken und Lernen. Informatik cui bono? (1992)
Lane A. Hemachandra, Albrecht Hoene, Dirk Siefkes, Paul Young
On Sets Polynomially Enumerable by Iteration. Theor. Comput. Sci. 80 (2) (1991)
Dirk Siefkes
Wende zur Phantasie: Zur Theoriebildung in der Informatik. GI Jahrestagung (1) (1990)
Gerhard Buntrock, Lane A. Hemachandra, Dirk Siefkes
Using Inductive Counting to Simulate Nondeterministic Computation. MFCS (1990)
Lane A. Hemachandra, Albrecht Hoene, Dirk Siefkes
Polynomial-Time Functions Generate SAT: On P-Splinters. MFCS (1989)
Dirk Siefkes
Grammars for Terms and Automata - On a book by the late J. Richard Büchi. Computation Theory and Logic (1987)
J. Richard Büchi, Dirk Siefkes
The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals. Math. Log. Q. 29 (5) (1983)
Bernd Mahr, Dirk Siefkes
Relating Uniform and Nonuniform Models of Computation. GI Jahrestagung (1981)
Dirk Siefkes
Degrees of Circuit Complexity. FCT (1977)
Dirk Siefkes
The recursive sets in certain monadic second order fragments of arithmetic. Arch. Math. Log. 17 (1-2) (1975)