Werner Struckmann

According to our database, Werner Struckmann authored at least 10 papers between 1982 and 2007.

Collaborative distances:

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

2007

Mathematik für Informatiker - Grundlagen und Anwendungen.

Werner Struckmann, Dietmar Wätjen

Spektrum Akadem. Verl., ISBN: 978-3-8274-1631-5, 2007

1998

A general theorem on the total correctness of programs in a category.

Werner Struckmann

Proceedings of the Workshop on Domains IV 1998, 1998

1995

PARC++: A Parallel C++.

Kai Tödter, Carsten Hammer, Werner Struckmann

Softw. Pract. Exp., 1995

1992

ALADIN: A Scanner Generator for Incremental Programming Environments.

Bernd Fischer, Carsten Hammer, Werner Struckmann

Softw. Pract. Exp., 1992

1989

Das Salzgitter-Modell - Ein Beispiel für die Zusammenarbeit zwischen Hochschule und Industrie bei der Entwicklung komplexer Software-Systeme.

Peter Friedrich, Rudolf Kruse, Werner Struckmann

Proceedings of the Organisation der Datenverarbeitung, 1989

1986

Ein Überblick über Software-Testmethoden und ein Vorschlag für ein automatisiertes, in der Praxis einsetzbares Verfahren.

Bernhard Stürmer, Werner Struckmann

Angew. Inform., 1986

Ein softwaretechnisches Praktikum: Kooperation zwischen Hochschule und Industrie.

Peter Friedrich, Rudolf Kruse, Werner Struckmann

Angew. Inform., 1986

1985

L Systems and Categories of Automata.

Werner Struckmann

J. Inf. Process. Cybern., 1985

1982

Zur kategoriellen Darstellung von Lindenmayer-Systemen.

Werner Struckmann

PhD thesis, 1982

An Algorithm for Verifying Equations of Morphisms in a Category.

Dietmar Wätjen, Werner Struckmann

Inf. Process. Lett., 1982