Kevin J. Greene

	1989
2		Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn: WINTER: WAMS in Tim Expression Reduction. NACLP 1989: 1013-1029
	1988
1		Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene: Using higher order logic and functional languages to synthesize correct hardware. ICCL 1988: 396-403

Coauthor Index

1	Shiu-Kai Chin	[1] [2]
2	Paul R. Humenn	[2]
3	Damir Jamsek	[2]
4	Edward P. Stabler (Edward P. Stabler Jr.)	[1]