Dietmar Wolz

Publication Activity (10 Years)

Years Active: 1988-2008
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Dietmar Wolz, Pedro Paulo Balbi de Oliveira
Very Effective Evolutionary Techniques for Searching Cellular Automata Rule Spaces. J. Cell. Autom. 3 (4) (2008)
Dietmar Wolz
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. COMPASS/ADT (1995)
Henk Eertink, Dietmar Wolz
Symbolic execution of LOTOS specifications. FORTE (1992)
Dietmar Wolz
Design of a Compiler for Lazy Pattern Driven Narrowing. ADT (1990)
Dietmar Wolz, Paul Boehm
Compilation of LOTOS Data Type Specifications. PSTV (1989)
Dietmar Wolz
Compilation of Algebraic Specifications and Term Rewriting Systems. ADT (1988)