Kevin J. Greene

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

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