W. Zimmermann
发表
Welf Löwe,
Wolf Zimmermann,
Welf Löwe,
1994,
CONPAR.
G. Zavattaro,
W. Zimmermann,
Mandy Weißbach,
2016
.
Wolf Zimmermann,
W. Zimmermann,
T. Gaul,
1998
.
Construction of Veriied Software Systems with Program-checking: an Application to Compiler Back-ends
Wolf Zimmermann,
Wolfgang Goerigk,
Andreas Heberle,
1999
.
G. Goos,
Andreas Heberle,
W. Zimmermann,
2007
.
Joachim Denzler,
Birgitta König-Ries,
H. Martin Bücker,
2014,
DATA.
H. Gall,
W. Zimmermann,
C. Wijesiriwardana,
2010
.
S. Glesner,
W. Zimmermann,
1997
.
Gerhard Goos,
Wolf Zimmermann,
Arne Frick,
2000,
Softw. Pract. Exp..
Sabine Glesner,
Wolf Zimmermann,
S. Glesner,
1998,
Systems Implementation 2000.
Welf Löwe,
Wolf Zimmermann,
Johannes Gottlieb,
1996
.
Wolf Zimmermann,
Rainer Neumann,
Welf Löwe,
2000,
Proceedings. 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34.
Bernhard Thalheim,
Wolf Zimmermann,
B. Thalheim,
2004,
Lecture Notes in Computer Science.
Axel Dold,
Wolf Zimmermann,
Thilo Gaul,
1998,
Workshop on Abstract State Machines.
Wolf Zimmermann,
Thilo Gaul,
W. Zimmermann,
1997,
J. Univers. Comput. Sci..
Elisa Bertino,
Antonio Brogi,
Kyriakos Kritikos,
2020,
ESOCC.
W. Zimmermann,
H. Kumm,
W. Zimmermann,
1993,
Proceedings of Workshop on Programming Models for Massively Parallel Computers.
Martin Trapp,
Wolf Zimmermann,
Daniela Genius,
1998,
Types in Compilation.
Mandy Weißbach,
Welf Löwe,
Wolf Zimmermann,
2013,
CLOUD 2013.
Welf Löwe,
Martin Trapp,
Wolf Zimmermann,
1998,
Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).
Welf Löwe,
Wolf Zimmermann,
Welf Löwe,
1995,
ICS '95.
W. Lowe,
W. Zimmermann,
W. Zimmermann,
1995,
Proceedings the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis.
W. Zimmermann,
W. Zimmermann,
1992,
Proceedings of the 1992 International Conference on Computer Languages.
Welf Löwe,
Wolf Zimmermann,
Welf Löwe,
1995
.
Welf Löwe,
Denis Trystram,
Wolf Zimmermann,
2002,
Inf. Process. Lett..
W. Zimmermann,
W. Zimmermann,
1988,
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools.
Welf Löwe,
Wolf Zimmermann,
Jörn Eisenbiegler,
2001,
HPCN Europe.
Thilo S. Gaul,
Wolf Zimmermann,
Wolfgang Goerigk,
1998,
Tool Support for System Specification, Development and Verification.
Claus Pahl,
Maria Fazio,
Raquel Oliveira Prates,
2020,
ESOCC Workshops.
Welf Löwe,
Wolf Zimmermann,
Antonina Danylenko,
2012
.
Wolf Zimmermann,
Arne Frick,
Walter Zimmer,
1995
.
Uwe Aßmann,
Jens Knoop,
Wolf Zimmermann,
2014,
ISoLA.
Gerhard Goos,
Wolf Zimmermann,
Rainer Neumann,
2000,
Softw. Pract. Exp..
Mandy Weißbach,
Wolf Zimmermann,
W. Zimmermann,
2012,
CLOUD 2012.
Sabine Glesner,
Wolf Zimmermann,
S. Glesner,
2004,
TOPL.
Wolf Zimmermann,
W. Zimmermann,
2004,
ISoLA.
Gerhard Goos,
Wolf Zimmermann,
Wolfgang Goerigk,
1999,
Ershov Memorial Conference.
Thilo S. Gaul,
Wolf Zimmermann,
Wolfgang Goerigk,
2000
.
Gerhard Goos,
Wolf Zimmermann,
G. Goos,
2000,
Abstract State Machines.
Gerhard Goos,
Wolf Zimmermann,
G. Goos,
1999,
Correct System Design.