Thilo Gaul

	1999
3		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
	1998
2		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
1		Wolf Zimmermann, Thilo Gaul: On the Construction of Correct Compiler Back-Ends: An ASM-Approach. J. UCS 3(5): 504-567 (1997)

Coauthor Index

1	Axel Dold	[2]
2	Wolfgang Goerigk	[3]
3	Gerhard Goos	[3]
4	Andreas Heberle	[3]
5	Vincent Vialard	[2]
6	Wolf Zimmermann	[1] [2] [3]