Wolfgang Goerigk

	2012
13		Wolfgang Goerigk, Wilhelm Hasselbring, Gregor Hennings, Reiner Jung, Holger Neustock, Heiko Schaefer, Christian Schneider, Elferik Schultz, Thomas Stahl, Reinhard von Hanxleden, Steffen Weik, Stefan Zeug: Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke. Software Engineering 2012: 119-130
	2011
12		Wolfgang Goerigk: Model Driven Development of Distributed Business Applications. KiVS 2011: 211-213
	2009
11		Wolfgang Goerigk, Thomas Stahl: Modellgetriebenes Softwareengineering - Der Beginn industrieller Softwareproduktion? Software Engineering (Workshops) 2009: 115-118
	2003
10		Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk: A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14(4): 659- (2003)
	2002
9		Wolfgang Goerigk: Towards Acceptability of Optimizations: An Extended View of Compiler Correctness. Electr. Notes Theor. Comput. Sci. 65(2): 100-114 (2002)
	2001
8		Wolfgang Goerigk: Mechanical Software Verification: High Level Control Aspects from a User's Perspective. Electr. Notes Theor. Comput. Sci. 58(2): 117-137 (2001)
	1999
7		Wolfgang Goerigk, Friedemann H. Simon: Towards Rigorous Compiler Implementation Verification. Collaboration between Human and Artificial Societies 1999: 62-73
6		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
5		Wolfgang Goerigk, Arnd Poetzsch-Heffter: Arbeitstagung Programmiersprachen - Vorwort. GI Jahrestagung 1999: 349
	1998
4		Wolfgang Goerigk, Ulrich Hoffmann: Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. FM-Trends 1998: 122-136
	1996
3		Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek: Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. KI 10(2): 31-33 (1996)
	1992
2		Harry Bretthauer, Thomas Christaller, H. Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, H. Knutzen, Jürgen Kopp, E. U. Kriegel, I. Mohr, R. Rosenmüller, Friedemann H. Simon: Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP. KI 6(2): 50-54 (1992)
	1991
1		Dieter Ackermann, Wolfgang Goerigk, Friedemann H. Simon: Wissensbasiskompilation: KI-Techniken in industrieller Anwendung. KI 5(2): 93-96 (1991)

Coauthor Index

1	Dieter Ackermann	[1]
2	Harold Boley	[3]
3	Harry Bretthauer	[2]
4	Thomas Christaller	[2]
5	Axel Dold	[10]
6	H. Friedrich	[2]
7	Thilo Gaul	[6]
8	Gerhard Goos	[6]
9	Reinhard von Hanxleden	[13]
10	Wilhelm Hasselbring	[13]
11	Andreas Heberle	[6]
12	Winfried Heicking	[2]
13	Friedrich W. von Henke	[10]
14	Gregor Hennings	[13]
15	Ulrich Hoffmann	[2] [3] [4]
16	Dieter Hovekamp	[2]
17	Reiner Jung	[13]
18	H. Knutzen	[2]
19	Jürgen Kopp	[2]
20	E. U. Kriegel	[2]
21	I. Mohr	[2]
22	Holger Neustock	[13]
23	Markus Perling	[3]
24	Arnd Poetzsch-Heffter	[5]
25	R. Rosenmüller	[2]
26	Heiko Schaefer	[13]
27	Christian Schneider	[13]
28	Elferik Schultz	[13]
29	Friedemann H. Simon	[1] [2] [7]
30	Michael Sintek	[3]
31	Thomas Stahl	[11] [13]
32	Steffen Weik	[13]
33	Stefan Zeug	[13]
34	Wolf Zimmermann	[6]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page