Concepedia

Wolf Zimmermann

WZ

Statistics

Publications

9

Citations

149

H-Index

9

Active since

1989

Affiliations

Karlsruhe Institute of Technology(Current)

Wolf Zimmermann is an author at Karlsruhe Institute of Technology specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSystems EngineeringFormal MethodsSoftware AnalysisFormal VerificationComputer EngineeringVerificationParallel Computing

Publications per year

1989–2008

9

Publications

9

On the Construction of Correct Compiler Back-Ends: An ASM-Approach.

Wolf Zimmermann, Thilo Gaul · Zenodo (CERN European Organization for Nuclear Research) · 1997 · 38 citations · Full text

ASM-based Mechanized Verification of Compiler Back-Ends.

Axel Dold, Thilo Gaul, Vincent Vialard et al. · 1998 · 18 citations

The automatic complexity analysis of divide-and-conquer algorithms

Paul Zimmermann, Wolf Zimmermann · HAL (Le Centre pour la Communication Scientifique Directe) · 1989 · 14 citations · Full text

Circuit Complexity, Computational Complexity Theory, Engineering +19

Scheduling balanced task-graphs to LogP-machines

Welf Löwe, Wolf Zimmermann · Parallel Computing · 2000 · 14 citations

Job Scheduler, Cluster Computing, Engineering +8

Upper time bounds for executing PRAM-programs on the LogP-machine

Welf Löwe, Wolf Zimmermann · 1995 · 14 citations

Engineering, Upper Time Bounds, Computer Architecture +22

1–5 of 9