Author Info
Name
Affiliation
Papers
DIETMAR WOLZ
SOPERA GmbHt, D-53113 Bonn, Germany
6
Collaborators
Citations 
PageRank 
3
35
4.37
Referers 
Referees 
References 
74
38
19
Title
Citations
PageRank
Year
Very Effective Evolutionary Techniques for Searching Cellular Automata Rule Spaces.20.392008
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics10.391995
Symbolic execution of LOTOS specifications181.481992
Design of a Compiler for Lazy Pattern Driven Narrowing91.151990
Compilation of LOTOS Data Type Specifications40.611989
Compilation of Algebraic Specifications and Term Rewriting Systems10.341988