| 2007 |
|---|
| 39 | EE | Jens Knoop,
George C. Necula,
Wolf Zimmermann:
Preface.
Electr. Notes Theor. Comput. Sci. 176(3): 1-2 (2007) |
| 2006 |
|---|
| 38 | EE | Wolf Zimmermann,
Michael Schaarschmidt:
Automatic Checking of Component Protocols in Component-Based Systems.
Software Composition 2006: 1-17 |
| 2005 |
|---|
| 37 | EE | Jens Knoop,
George C. Necula,
Wolf Zimmermann:
Preface.
Electr. Notes Theor. Comput. Sci. 132(1): 1-3 (2005) |
| 36 | EE | Jens Knoop,
George C. Necula,
Wolf Zimmermann:
Preface.
Electr. Notes Theor. Comput. Sci. 141(2): 1-3 (2005) |
| 2004 |
|---|
| 35 | | 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 |
| 34 | EE | Jesper Andersson,
Morgan Ericsson,
Welf Löwe,
Wolf Zimmermann:
Lookahead Scheduling for Reconfigurable GRID Systems.
Euro-Par 2004: 263-270 |
| 33 | EE | Wolf Zimmermann:
On the Correctness of Transformations in Compiler Back-Ends.
ISoLA 2004: 74-95 |
| 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 |
