Dirk Siefkes

According to our database, Dirk Siefkes authored at least 20 papers between 1975 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2003

Software wird im Handeln zum Hybridobjekt - Rahmen für eine Theorie der Informatik.

Dirk Siefkes

EMISA Forum, 2003

2001

Informatikobjekte entstehen durch Hybridisierung.

Dirk Siefkes

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

1998

Die Rolle von Gruppenprozessen in der Informatikgeschichte.

Dirk Siefkes

Proceedings of the Sozialgeschichte der Informatik, 1998

Einleitung.

Peter Eulenhöfer, Dirk Siefkes, Heike Stach, Klaus Städtler

Proceedings of the Sozialgeschichte der Informatik, 1998

1997

Computer Science as Cultural Development: Toward a Broader Theory.

Dirk Siefkes

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996

Umdenken auf kleine Systeme - Können wir zu einer ökologischen Orientierung der Informatik finden?

Dirk Siefkes

Inform. Spektrum, 1996

1994

Ökologische Orientierung in der Informatik.

Arno Rolf, Dirk Siefkes

Proceedings of the Realität und Utopien der Informatik [ausgewählte Beiträge der 10. Jahrestagung des Forums Informatikerinnen und Informatiker für Frieden und gesellschaftliche Verantwortung e.V., 1994

1993

Using Inductive Counting to Simulate Nondeterministic Computation

Gerhard Buntrock, Lane A. Hemachandra, Dirk Siefkes

Inf. Comput., January, 1993

Formale Methoden und kleine Systeme - lernen, leben und arbeiten in formalen Umgebungen.

Dirk Siefkes

Theorie der Informatik, Vieweg, ISBN: 978-3-528-05199-0, 1993

1992

Computer und Ökosystem - zwei Metaphern fürs Denken und Lernen.

Dirk Siefkes

Proceedings of the Informatik cui bono? GI-FB 8 Fachtagung, 1992

Formalisieren und Beweisen - Logik für Informatiker (2. Aufl.).

Dirk Siefkes

Vieweg, ISBN: 978-3-528-14757-0, 1992

1991

On Sets Polynomially Enumerable by Iteration.

Lane A. Hemachandra, Albrecht Hoene, Dirk Siefkes, Paul Young

Theor. Comput. Sci., 1991

1990

Wende zur Phantasie: Zur Theoriebildung in der Informatik.

Dirk Siefkes

Proceedings of the GI, 1990

Formalisieren und Beweisen - Logik für Informatiker.

Dirk Siefkes

Vieweg, ISBN: 978-3-528-04757-3, 1990

1989

Polynomial-Time Functions Generate SAT: On P-Splinters.

Lane A. Hemachandra, Albrecht Hoene, Dirk Siefkes

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1987

Grammars for Terms and Automata - On a book by the late J. Richard Büchi.

Dirk Siefkes

Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987

1983

The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals.

J. Richard Büchi, Dirk Siefkes

Math. Log. Q., 1983

1981

Relating Uniform and Nonuniform Models of Computation.

Bernd Mahr, Dirk Siefkes

Proceedings of the GI, 1981

1977

Degrees of Circuit Complexity.

Dirk Siefkes

Proceedings of the Fundamentals of Computation Theory, 1977

1975

The recursive sets in certain monadic second order fragments of arithmetic.

Dirk Siefkes

Arch. Math. Log., 1975