Wolf Zimmermann

2008
41	EE	Andreas Both, Wolf Zimmermann: Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. CBSE 2008: 163-179
2007
40	EE	Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 176(3): 1-2 (2007)
2006
39	EE	Wolf Zimmermann, Michael Schaarschmidt: Automatic Checking of Component Protocols in Component-Based Systems. Software Composition 2006: 1-17
2005
38	EE	Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 132(1): 1-3 (2005)
37	EE	Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 141(2): 1-3 (2005)
2004
36		Wolf Zimmermann, Bernhard Thalheim: Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings Springer 2004
35	EE	Jesper Andersson, Morgan Ericsson, Welf Löwe, Wolf Zimmermann: Lookahead Scheduling for Reconfigurable GRID Systems. Euro-Par 2004: 263-270
34	EE	Wolf Zimmermann: On the Correctness of Transformations in Compiler Back-Ends. ISoLA 2004: 74-95
33		Wolf Zimmermann: On the Correctness of Transformations in Compiler Back-Ends. ISoLA (Preliminary proceedings) 2004: 10-17
32	EE	Sabine Glesner, Wolf Zimmermann: Natural semantics as a static program analysis framework. ACM Trans. Program. Lang. Syst. 26(3): 510-577 (2004)
31	EE	Sabine Glesner, Gerhard Goos, Wolf Zimmermann: Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). it - Information Technology 46(5): 265-276 (2004)
2003
30	EE	Wolf Zimmermann, Axel Dold: A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines 2003: 391-406
2002
29	EE	Welf Löwe, Wolf Zimmermann: On Scheduling Task-Graphs to LogP-Machines with Disturbances. Euro-Par 2002: 189-196
28	EE	Jens Knoop, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 65(2): (2002)
2001
27	EE	Welf Löwe, Wolf Zimmermann, Sven Dickert, Jörn Eisenbiegler: Source Code and Task Graphs in Program Optimization. HPCN Europe 2001: 273-282
2000
26	EE	Gerhard Goos, Wolf Zimmermann: Verifying Compilers and ASMs. Abstract State Machines 2000: 177-202
25	EE	Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann: Weak Subtyping and Genericity. TOOLS (34) 2000: 149-158
24		Welf Löwe, Wolf Zimmermann: Scheduling balanced task-graphs to LogP-machines. Parallel Computing 26(9): 1083-1108 (2000)
23		Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann: Construction of robust class hierarchies. Softw., Pract. Exper. 30(5): 481-543 (2000)
1999
22	EE	Gerhard Goos, Wolf Zimmermann: Verification of Compilers. Correct System Design 1999: 201-230
21	EE	Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann: Construction of Verified Compiler Front-Ends with Program-Checking. Ershov Memorial Conference 1999: 481-492
20	EE	Welf Löwe, Wolf Zimmermann: Scheduling Iterative Programs onto LogP-Machine. Euro-Par 1999: 332-339
19	EE	Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann: Robust Dynamic Exchange of Implementation Aspects. TOOLS (29) 1999: 351-360
18	EE	Martin Middendorf, Welf Löwe, Wolf Zimmermann: Scheduling Inverse Trees Under the Communication Model of the LogP-Machine. Theor. Comput. Sci. 215(1-2): 137-168 (1999)
1998
17	EE	Wolf Zimmermann, Martin Middendorf, Welf Löwe: On Optimal k-linear Scheduling of Tree-Like Graphs for LogP-Machines. Euro-Par 1998: 328-336
16	EE	Jörn Eisenbiegler, Welf Löwe, Wolf Zimmermann: BSP, LogP, and Oblivious Programs. Euro-Par 1998: 865-874
15	EE	Wolf Zimmermann, Arne Frick, Rainer Neumann: The Construction Principles of the Class Library KARLA. Generic Programming 1998: 53-68
14		Sabine Glesner, Wolf Zimmermann: Using many-sorted natural semantics to specify and generate semantic analysis. Systems Implementation 2000 1998: 249-262
13	EE	Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann: Weak Subtyping - Yet Another Notion of Inheritance. TOOLS (26) 1998: 333-345
12	EE	Daniela Genius, Martin Trapp, Wolf Zimmermann: An Approach to Improve Locality Using Sandwich Types. Types in Compilation 1998: 194-214
11		Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann: ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines 1998: 50-67
1997
10		Welf Löwe, Wolf Zimmermann, Jörn Eisenbiegler: On Linear Schedules of Task Graphs for Generalized LogP-Machines. Euro-Par 1997: 895-904
9	EE	József Frigó, Rainer Neumann, Wolf Zimmermann: Mechanical Generation of Robust Class Hierarchies. TOOLS (23) 1997: 282-
8		Arne Frick, Rainer Neumann, Wolf Zimmermann: Eine Methode zur Konstruktion robuster Klassenhierarchien. Inform., Forsch. Entwickl. 12(4): 186-195 (1997)
7	EE	Wolf Zimmermann, Thilo Gaul: On the Construction of Correct Compiler Back-Ends: An ASM-Approach. J. UCS 3(5): 504-567 (1997)
1996
6		Welf Löwe, Jörn Eisenbiegler, Wolf Zimmermann: Optimization of Parallel Programs on Machines with Expensive Communication. Euro-Par, Vol. II 1996: 602-610
5		Arne Frick, Walter Zimmer, Wolf Zimmermann: Konstruktion robuster und flexibler Klassenbibliotheken. Inform., Forsch. Entwickl. 11(4): 168-178 (1996)
1995
4	EE	Welf Löwe, Wolf Zimmermann: Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine. International Conference on Supercomputing 1995: 41-50
1994
3		Wolf Zimmermann, Welf Löwe: An Approach to Machine-Independent Parallel Programming. CONPAR 1994: 277-288
2		Heinz W. Schmidt, Wolf Zimmermann: Reasoning about Complexity of Object-Oriented Programs. PROCOMET 1994: 553-572
1990
1		Wolf Zimmermann: Automatische Komplexitätsanalyse funktionaler Programme Springer 1990

Coauthor Index

1	Jesper Andersson	[35]
2	Andreas Both	[41]
3	Sven Dickert	[27]
4	Axel Dold	[11] [30]
5	Jörn Eisenbiegler	[6] [10] [16] [27]
6	Morgan Ericsson	[35]
7	Arne Frick	[5] [8] [15] [23]
8	József Frigó	[9]
9	Thilo Gaul	[7] [11] [21]
10	Daniela Genius	[12]
11	Sabine Glesner	[14] [31] [32]
12	Wolfgang Goerigk	[21]
13	Gerhard Goos	[21] [22] [23] [26] [31]
14	Andreas Heberle	[21] [25]
15	Jens Knoop	[28] [37] [38] [40]
16	Welf Löwe	[3] [4] [6] [10] [13] [16] [17] [18] [19] [20] [24] [25] [27] [29] [35]
17	Martin Middendorf	[17] [18]
18	George C. Necula	[37] [38] [40]
19	Rainer Neumann	[8] [9] [13] [15] [19] [23] [25]
20	Michael Schaarschmidt	[39]
21	Heinz W. Schmidt	[2]
22	Bernhard Thalheim	[36]
23	Martin Trapp	[12] [13] [19]
24	Vincent Vialard	[11]
25	Walter Zimmer	[5]

Colors in the list of coauthors