Homepage Wolf Zimmermann
Prof. Dr. rer. nat. habil. Wolf Zimmermann
Martin-Luther-Universität Halle Wittenberg
Institut für Informatik, Raum 3.22
Von-Seckendorff-Platz 1
06120 Halle (Saale)
Germany
tel: ++49-345-55-24712
fax: ++49-345-55-27333
email: wolf.zimmermann@informatik.uni-halle.de
www: http://www.informatik.uni-halle.de/~zimmer
Terminplan
| Montag | Dienstag | Mittwoch | Donnerstag | Freitag | |
|---|---|---|---|---|---|
| 8-10 | Vorbereitung Lehre Forschung | Vorbereitung Lehre Forschung | Institutsrat | Vorbereitung Lehre Forschung | Vorbereitung Lehe Forschung |
| 10-12 | Vorbereitung Lehre Forschung | Vorbereitung Lehre Forschung | Lehrveranstaltung | Lehrveranstaltung | Lehrveranstaltung |
| 12-14 | Vorbereitung Lehre Forschung | Vorbereitung Lehre Forschung | Vorbereitung Lehre Forschung | Vorbereitung Lehre Forschung | Vorbereitung Lehre Forschung |
| 14-16 | Doktoranden- und Diplomandenbebreuung | Vorbereitung Lehre Forschung | Vorbereitung Lehre Forschung Sprechzeit (14-15 Uhr) | Lehrveranstaltung | Lehrveranstaltung |
| 16-18 | Doktoranden- und Diplomandenbetreuung | Oberseminar | FB-Rat | Institutskolloquium | Vorbereitung Lehre Foschung |
Academic Degrees
Diploma Thesis: Computer Science at the University of Karlsruhe (1987)
Doctoral Thesis: Computer Science at the University of Karlsruhe (1990)
Habilitation: Computer Science at the University of Karlsruhe (1998)
Direktor des Universitätszentrum für Informatik
Bücher
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.
3. G. Goos and W. Zimmermann:
Programmiersprachen. In: Handbuch der Informatik, Kapitel D2, 1997. 2. Auflage 1999
G. Goos and W. Zimmermann: Programmiersprachen. In: Handbuch der Informatik, Kapitel D2, 1997. 2. Auflage 1999, 4. Auflage 2005
G. Goos und W. Zimmermann: Vorlesungen über Informatik, Band 2: Objektorientiertes Programmieren und Algorithmen. 4. Auflage 2006, Springer Verlag.
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. A. Frick, G. Goos, R. Neumann, and W. Zimmermann:
Construction of Robust Class Hierarchies, Software Practice and Experience, 30 (5) , pp. 481-543, 2000.
7. W. Löwe and W. Zimmermann:
Scheduling Balanced Task Graphs onto LogP-Machines, Parallel Computing26 (9), pp. 1083-1108, 2000.
8. W. Zimmermann, W. Löwe and D. Trystram:
On Scheduling Send-Graphs and Receive-Graphs under the LogP-Model, Information Processing Letters, 82 (2), pp. 83-92, 2002
9. S. Glesner and W. Zimmermann:
Natural Semantics as a Static Analysis Framework, ACM Transactions on Programming Languages and Systems, 26(3), pp. 510-577,2004
S. Glesner, G. Goos, and W. Zimmermann: Verifix: Konstruktion und Architektur verifizierender Übersetzer, IT Information Technology 46(5), pp. 265-276, 2004
Conferences, Workshops, and Contributions in Books (refereed)
W. Löwe and W. Zimmermann: On Scheduling Task-Graphs to LogP-Machines with Disturbances, In: Europar 2002: Parallel Processing , LNCS 2400, pp. 189-196, 2002.
W. Zimmermann and A. Dold: A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines 2003, LNCS 2589, pp. 391-406, 2003
W. Zimmermann and M.Schaarschmidt: Model Checking of Client-Component Conformance. 2nd Nordic Conference on Web Services. Mathematical Modelling in Physics, Engineering and Cognitive Sciences 008, pp. 63-74, 2003.
J. Andersson, M. Ericsson, W. Löwe, and W. Zimmermann: Lookahead Scheduling for Reconfigurable Grid Systems. In Europar 2004: Parallel Processing, LNCS 3149, 2004
D. Pollmächer, W. Zimmermann: On the Correctness of Code-Generators for PLCs. Proc. of the 9th World Multiconference on Systemics, Cybernetics and Informatics, 2005, S. 175-180.
W. Zimmermann, D. Pollmächer, and H.-M. Hanisch: Translation Validation of Model-Based Code-Generators for PLCs. In: Proceedings of the 10th IEEE International Conference on
Emerging Technologies and Factory Automation, to appear, 2005, S. 113-120.
W. Zimmermann: On the Correctness of Transformations in Compiler Back-Ends. Proceedings of the 1st International Symposium on Leveraging Formal Methods to Applications, LNCS, to appear, 2005.
I