Marek Gawkowski

	2005
4		Arnd Poetzsch-Heffter, Marek Gawkowski: Towards Proof Generating Compilers. Electr. Notes Theor. Comput. Sci. 132(1): 37-51 (2005)
	2003
3		David A. Basin, Stefan Friedrich, Marek Gawkowski: Bytecode Verification by Model Checking. J. Autom. Reasoning 30(3-4): 399-444 (2003)
	2002
2		David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga: Bytecode Model Checking: An Experimental Analysis. SPIN 2002: 42-59
1		David A. Basin, Stefan Friedrich, Marek Gawkowski: Verified Bytecode Model Checkers. TPHOLs 2002: 47-66

Coauthor Index

1	David A. Basin	[1] [2] [3]
2	Stefan Friedrich	[1] [2] [3]
3	Arnd Poetzsch-Heffter	[4]
4	Joachim Posegga	[2]

Colors in the list of coauthors