Martin Wildmoser

	2005
6		Martin Wildmoser, Tobias Nipkow: Asserting Bytecode Safety. ESOP 2005: 326-341
5		Martin Wildmoser, Amine Chaieb, Tobias Nipkow: Bytecode Analysis for Proof Carrying Code. Electr. Notes Theor. Comput. Sci. 141(1): 19-34 (2005)
	2004
4		Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz: Prototyping Proof Carrying Code. IFIP TCS 2004: 333-348
3		Martin Wildmoser, Tobias Nipkow: Certifying Machine Code Safety: Shallow Versus Deep Embedding. TPHOLs 2004: 305-320
	2003
2		Gerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. TPHOLs 2003: 55-70
1		Gerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. J. Autom. Reasoning 30(3-4): 363-398 (2003)

Coauthor Index

1	Amine Chaieb	[5]
2	Gerwin Klein	[1] [2] [4]
3	Sebastian Nanz	[4]
4	Tobias Nipkow	[3] [4] [5] [6]