Klaus Achatz

According to our database, Klaus Achatz authored at least 7 papers between 1995 and 2000.

Collaborative distances:

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

2000

Systematische Modellbildung für Prozeßautomatisierungssysteme.

Klaus Achatz

PhD thesis, 2000

1997

Formale objektorientierte Softwareentwicklung mit Fox.

Klaus Achatz, Wolfram Schulte

Inform. Forsch. Entwickl., 1997

A Formal OO Method Inspired by Fusion and Object-Z.

Klaus Achatz, Wolfram Schulte

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Functional Object-Oriented Programming with Object-Gofer.

Wolfram Schulte, Klaus Achatz

Proceedings of the Informatik '97, 1997

A powerful transformation rule, its applications and variants.

Klaus Achatz, Helmuth Partsch

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists.

Klaus Achatz, Wolfram Schulte

Sci. Comput. Program., 1996

1995

Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms.

Klaus Achatz, Wolfram Schulte

Proceedings of the Mathematics of Program Construction, 1995