Dietmar Wolz

According to our database, Dietmar Wolz authored at least 8 papers between 1988 and 2008.

Collaborative distances:

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

2008

Very Effective Evolutionary Techniques for Searching Cellular Automata Rule Spaces.

Dietmar Wolz, Pedro Paulo Balbi de Oliveira

J. Cell. Autom., 2008

1998

Colimit library for graph transformations and algebraic development techniques.

Dietmar Wolz

PhD thesis, 1998

1995

Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics.

Dietmar Wolz

Proceedings of the Recent Trends in Data Type Specification, 1995

1993

Algebraic Specification Techniques and Tools for Software Development: The Act Approach

Ingo Claßen, Hartmut Ehrig, Dietmar Wolz

AMAST Series in Computing 1, World Scientific, ISBN: 978-981-02-1227-8, 1993

1992

Symbolic execution of LOTOS specifications.

Henk Eertink, Dietmar Wolz

Proceedings of the Formal Description Techniques, 1992

1990

Design of a Compiler for Lazy Pattern Driven Narrowing.

Dietmar Wolz

Proceedings of the Recent Trends in Data Type Specification, 1990

1989

Compilation of LOTOS Data Type Specifications.

Dietmar Wolz, Paul Boehm

Proceedings of the Protocol Specification, 1989

1988

Compilation of Algebraic Specifications and Term Rewriting Systems.

Dietmar Wolz

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988