Martin-Luther-Universität Halle-Wittenberg

Weitere Einstellungen

Login für Redakteure





Homepage Wolf Zimmermann

<name>

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:                                            
   www:  http://www.informatik.uni-halle.de/~zimmer

Terminplan

MontagDienstagMittwochDonnerstagFreitag
8-10Vorbereitung
Lehre
Forschung
Vorbereitung
Lehre
Forschung
InstitutsratVorbereitung
Lehre
Forschung
Vorbereitung
Lehe
Forschung
10-12Vorbereitung
Lehre
Forschung
Vorbereitung
Lehre
Forschung
LehrveranstaltungLehrveranstaltungLehrveranstaltung
12-14Vorbereitung
Lehre
Forschung
Vorbereitung
Lehre
Forschung
Vorbereitung
Lehre
Forschung
Vorbereitung
Lehre
Forschung
Vorbereitung
Lehre
Forschung
14-16Doktoranden- und
Diplomandenbebreuung
Vorbereitung
Lehre
Forschung
Vorbereitung
Lehre
Forschung
Sprechzeit (14-15 Uhr)
LehrveranstaltungLehrveranstaltung
16-18Doktoranden- und
Diplomandenbetreuung
OberseminarFB-RatInstitutskolloquiumVorbereitung
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

Publikationsliste

[ mehr ... ]

Invited Papers

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.

Editor of Proceedings/Special Issues

J. Knoop and W. Zimmermann (Editors):
Proceedings on the 1st Workshop on Compiler Optimization meets Compiler Verification. Electronic Notes on Theoretical Computer Science 65 (2), 2002.

J. Knoop and W. Zimmermann (Editors):
Proceedings on the 2nd Workshop on Compiler Optimization meets Compiler Verification. Electronic Notes on Theoretical Computer Science 82 (2), 2003.

J. Knoop and W. Zimmermann (Editors):
Special Issue on on Compiler Optimization meets Compiler Verification. Journal of Universal Computer Science 9 (3), 2003

W. Zimmermann and B. Thalheim (Editors):
Abstract State Machines 2004, LNCS 3052, 2004.

Zum Seitenanfang