Kevin J. Greene

Publication Activity (10 Years)

Years Active: 1988-1989
Publications (10 Years): 0

Publications

Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn
WINTER: WAMS in Tim Expression Reduction. NACLP (1989)
Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene
Using higher order logic and functional languages to synthesize correct hardware. ICCL (1988)
Shiu-Kai Chin, Kevin J. Greene
Verifiable and executable theories of design for synthesizing correct hardware. ICCD (1988)