Dietmar Wolz

发表

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

Hartmut Ehrig, Ingo Claßen, Dietmar Wolz, 1993, AMAST Series in Computing.

Compilation of LOTOS Data Type Specifications

Dietmar Wolz, Paul Boehm, P. Boehm, 1989, PSTV.

Construction and Verification of a Solution of the 8th Global Trajectory Optimization Competition Problem. TEAM 13: GlasgowJena+

Matteo Ceriotti, Ingo Althöfer, Alessandro Peloni, 2016 .

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

Dietmar Wolz, D. Wolz, 1995, COMPASS/ADT.

Symbolic execution of LOTOS specifications

Henk Eertink, Dietmar Wolz, H. Eertink, 1992, Formal Techniques for (Networked and) Distributed Systems.

Very Effective Evolutionary Techniques for Searching Cellular Automata Rule Spaces

Pedro P. B. de Oliveira, Dietmar Wolz, 2008, J. Cell. Autom..

Spanning tree trajectory optimization in the galaxy space

Tian-Jiao Zhang, Hong-Xin Shen, Dietmar Wolz, 2020 .

Colimit library for graph transformations and algebraic development techniques

Dietmar Wolz, D. Wolz, 1998 .

Design of a Compiler for Lazy Pattern Driven Narrowing

Dietmar Wolz, 1990, ADT.

Compilation of Algebraic Specifications and Term Rewriting Systems

Dietmar Wolz, 1988, ADT.

A Tool for Checking ADT Completeness and Consistency

Dietmar Wolz, 1995 .