Publications of Wolf Zimmermann

Journals

  1. H.W. Schmidt and W. Zimmermann: A Complexity Calculus for Object-Oriented Programs, Journal of Object-Oriented Systems, 1 (2), pp. 117--147, 1994.
  2. A. Frick, W. Zimmer and W. Zimmermann: Konstruktion robuster und flexibler Klassenbibliotheken, Informatik - Forschung und Entwicklung, 11 (4), pp. 168-178, 1996.
  3. W. Zimmermann and T. Gaul: On the Construction of Correct Compiler Back-Ends: An ASM-Approach, , Journal of Universal Computer Science 3 (5) , pp. 504-567, 1997.
  4. A. Frick, R. Neumann, and W. Zimmermann: Eine Methode zur Konstruktion robuster und flexibler Klassenbibliotheken , Informatik - Forschung und Entwicklung 12 (4) , pp. 186-195, 1997
  5. M. Middendorf, W. Löwe, and W. Zimmermann: Scheduling Inverse Trees under the Communication Model of the LogP-Machine , Theoretical Computer Science, 125 , pp. 137-168, 1999.
  6. W. Löwe and W. Zimmermann: Scheduling Balanced Task Graphs onto LogP-Machines,  accepted for publication in Parallel Computing.

Books

  1. W. Zimmermann: Automatische Komplexitätsanalyse funktionaler Programme. Informatik Fachberichte 261, 1990.
  2. W. Zimmermann: Planbare Algorithmen - Eine Methode zum maschinenunabhängigen parallelen Programmieren. Shaker-Verlag, 1999.

Conferences, Workshops, and Contributions in Books (refereed)

  1. W. Zimmermann: The Use of Many-Valued and Non-Monotonic Logics for Program Construction. In: System Design: Concepts, Methods, and Tools (COMPEURO 88), pp. 71-81, 1988
  2. P. Zimmermann and W. Zimmermann: Automatic Complexity Analysis of Divide-and-Conquer Algorithms. In: Proceedings of the Sixth International Symposium on Computer and Information Sciences, pp. 395-404, 1991
  3. W. Zimmermann: Complexity Issues in the Design of Functional Languages. In: Proceedings of the 1992 International Conference on Computer Languages, pp.34-43, 1992
  4. W. Zimmermann and H. Kumm: Implementierungen von PRAM Simulationen. PARS-Mitteilungen 11 (3) , pp. 40-44, 3. PASA Workshop, 1993.
  5. W. Zimmermann and H. Kumm: On the Implementation of Virtual Shared Memory.In: Programming Models for Massively Parallel Computers, pp. 172-178, 1993
  6. H.W. Schmidt and W. Zimmermann: Reasoning about Complexity of Object-Oriented Programs. In: Programming Concepts, Methods, and Calculi. IFIP Transactions A-56, pp. 553-572, 1994.
  7. W. Zimmermann and W. Löwe: An Approach to Machine-Independent Parallel Programming. In: Parallel Processing: CONPAR 94 - VAPP VI. LNCS 854, pp. 277-288, 1994.
  8. A. Frick, W. Zimmer, and W. Zimmermann: Über den Entwurf robuster objekt-orientierter Klassenbibliotheken. In: Softwaretechnik-Trends 15 (3), Softwaretechnik '95, pp. 35-46, 1995
  9. A. Frick, W. Zimmer, and W. Zimmermann: On the Design of Reliable Libraries. In TOOLS 17 - Technology of Object-Oriented Programming, pp. 13-23, 1995, <\LI>
  10. W. Löwe and W. Zimmermann: On Finding Optimal Clusterings of Task Graphs. In: Parallel Algorithms/Architecture Synthesis pAs '95, pp. 241-247, 1995
  11. W. Löwe and W. Zimmermann: Programming Data-Parallel - Executing Process-Parallel. In: Parallel Programming and Applications, pp. 50-64, 1995
  12. W. Löwe and W. Zimmermann: Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine. In: Proceedings of the 9th ACM International Conference on Supercomputing, pp. 41-50, 1995.
  13. W. Zimmermann, W. Löwe and J. Gottlieb: On the Design and Implementation of Parallel Algorithms for Solving Inverse Problems. In: Parameter Identification and Inverse Problems in Hydrology, Geology, and Ecology., pp. 283-300, 1996.
  14. W. Goerigk, A. Dold, T. Gaul, G. Goos, A. Heberle, F. v. Henke, U. Hoffmann, H. Langmaack, H. Pfeiffer, and W. Zimmermann. In: Compiler Construction CC'96 (Poster Session), 1996.
  15. W. Löwe, J. Eisenbiegler, and W. Zimmermann: Optimizing Parallel Programs on Machines with Expensive Communications. In: Europar '96 Parallel Processing. LNCS 1124, pp. 602-610, 1996.
  16. J. Eisenbiegler, W. Löwe, and W. Zimmermann: Optimizing Parallel Programs on Machines with Fast Communication. In: Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems, pp. 100-103, 1996.
  17. A. Frick, R. Neumann, and W. Zimmermann: Eine Methode zur Konstruktion robuster Klassenhierarchien. In: Softwaretechnik-Trends 16 (3), Softwaretechnik '96, pp. 16-23, 1996.
  18. A. Frick, R. Neumann, and W. Zimmermann: A Method for the Construction of Robust Class Hierarchies. In: WOON '96, 1996.
  19. W. Zimmermann and W. Löwe: Summation and Prefix Summation on LogP-Meshes. In: Proceedings of the 4th PASA-Workshop on Parallel Systems and Algorithms, pp. 229-246, 1997.
  20. A. Heberle, T. Gaul, G. Goos, and W. Zimmermann: An Architecture for Verified Compiler Construction. In: Joint Modular Languages Conference (Poster Session), 1997.
  21. W. Löwe, W. Zimmermann, and J. Eisenbiegler: On Linear Schedules of Task Graphs on Generalized LogP-Machines. In: Europar '97: Parallel Processing, LNCS 1300, pp. 895-904, 1997.
  22. J. Frigo, R. Neumann, and W. Zimmermann: Generation of Robust Class Hierarchies. In: TOOLS 23 - Technology of Object-Oriented Languages and Systems , IEEE, pp. 282-291, 1997.
  23. T. Gaul, G. Goos, A. Heberle, and W. Zimmermann: Zur Konstruktion korrekter Übersetzer. In: GI-Arbeitstagung Programmiersprachen (Workshop), 1997.
  24. J. Eisenbiegler, J. Gottlieb, W. Löwe, S. Schlaeger, M. Thül, and W. Zimmermann : Parallel CG-methods - Automatically Optimized for PC-Workstation Clusters. In High-Performance Computing Algorithms for Structured Matrix Problems,  pp. 181-197, Nova Science Publishing, 1998.
  25. S. Glesner and W. Zimmermann: Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis. In: Systems Implementation 2000 , pp. 249--262. Chapman & Hall, IFIP, 1998.
  26. D. Genius, M. Trapp, and W. Zimmermann : An Approach to improve Locality using Sandwich Types. In: Types in Compilation , LNCS 1473, pp. 194--204, 1998.
  27. R. Neumann, W. Löwe, M. Trapp, and W. Zimmermann: Weak Subtyping - Yet another Notation for Subtying. TOOLS 26 -- Technology of Object-Oriented Languages and Systems , IEEE, pp. 333--345, 1998.
  28. W. Zimmermann, M. Middendorf, and W. Löwe : On Optimal k-linear Scheduling of Tree-like Task Graphs for LogP-Machines. In: Europar '98: Parallel Processing , LNCS 1470, pp. 328-336, 1998.
  29. J. Eisenbiegler, W. Löwe, and W. Zimmermann : BSP, LogP, and Oblivious Algorithms. In: Europar '98: Parallel Processing ,  pp. 865-874, 1998.
  30. A.Dold, T. Gaul, V. Vialard, and W. Zimmermann : ASM-based Mechanical Verification of Compiler Back-Ends. Proceedings of the International Workshop on Software Tools for Technology Transfer STTT '98, pp. 13-24, 1998.
  31. T. Gaul, W. Goerigk, A. Heberle, U. Hoffmann, and W. Zimmermann: Praktikable Konstruktion korrekter Übersetzer. In: Softwaretechnik-Trends 18 (3), Softwaretechnik '98, pp. 26-33, 1998.
  32. A. Dold, T. Gaul, V.Vialard, and W. Zimmermann: ASM-based Mechanized Verification of Compiler Back-Ends. Proceedings of the 5th International Workshop on Abstract State Machines, pp. 50-67, 1998.
  33. W. Löwe, R. Neumann, M. Trapp, and W. Zimmermann: Robust Dynamic Exchange of Implementation Aspects. In: TOOLS 29 -- Technology of Object-Oriented Languages and Systems , IEEE, pp. 351-360, 1999.
  34. W. Goerigk, T. Gaul, and W. Zimmermann: Correct Programs without Proof? On Checker Based Program Verification. In: Tool Support for System Specification and Verification, Springer Series Advances in Computing Science, pp. 108--123, 1999.
  35. T. Gaul, W. Goerigk, G. Goos, A. Heberle, and W. Zimmermann: Construction of Verified Compiler Front-Ends with Program-Checking. In: Andrei Ershov 3rd International Conference on Perspectives of System Informatics PSI 99, pp. 370-377, 1999.
  36. T. Gaul, W. Goerigk, A. Heberle, and W. Zimmermann: Construction of Verified Software Systems with Program Checking: An Application to Compiler Back-Ends. In: The Federated Logics Conference 99 Workshop on Runtime Result Verification, electronic proceedings, 1999.
  37. W. Löwe and W. Zimmermann: Scheduling Iterative Programs onto LogP-Machines. In: Europar '99: Parallel Processing, accepted for  publication, 1999.

Invited Papers

  1. G. Goos and W. Zimmermann: Programmiersprachen. In: Handbuch der Informatik, Kapitel D2, 1997.
  2. S. Glesner and W. Zimmermann: Using Many-Sorted Inference Rule to Generate Semantic Analysis. In: Promotion tut not: Innovationsmotor Graduiertenkolleg . Aachener Beiträge zur Informatik, Band 21. Hrsg.: Otto Spaniol. 1997.