Damir Jamsek

	2009
6		Damir Jamsek, Eric Van Hensbergen: Experiences with hybrid clusters. CLUSTER 2009: 1-4
	2006
5		Wendy Belluomini, Damir Jamsek, Andrew K. Martin, Chandler McDowell, Robert K. Montoye, Hung C. Ngo, Jun Sawada: Limited switch dynamic logic circuits for high-speed low-power circuit design. IBM Journal of Research and Development 50(2-3): 277-286 (2006)
	2003
4		William Adams, Warren A. Hunt Jr., Damir Jamsek: Verisym: Verifying Circuits by Symbolic Simulation. Formal Methods in System Design 22(2): 163-173 (2003)
	1996
3		Mark Bickford, Damir Jamsek: Formal Specification and Verification of VHDL. FMCAD 1996: 310-326
2		Joseph A. Profeta III, Nikos P. Andrianos, Bing Yu, Barry W. Johnson, Todd A. DeLong, David Guaspari, Damir Jamsek: Safety-Critical Systems Built with COTS. IEEE Computer 29(11): 54-60 (1996)
	1989
1		Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn: WINTER: WAMS in Tim Expression Reduction. NACLP 1989: 1013-1029

Coauthor Index

1	William Adams	[4]
2	Nikos P. Andrianos	[2]
3	Wendy Belluomini	[5]
4	Mark Bickford	[3]
5	Shiu-Kai Chin	[1]
6	Todd A. DeLong	[2]
7	Kevin J. Greene	[1]
8	David Guaspari	[2]
9	Eric Van Hensbergen	[6]
10	Paul R. Humenn	[1]
11	Warren A. Hunt Jr.	[4]
12	Barry W. Johnson	[2]
13	Andrew K. Martin	[5]
14	Chandler McDowell	[5]
15	Robert K. Montoye	[5]
16	Hung C. Ngo	[5]
17	Joseph A. Profeta III	[2]
18	Jun Sawada	[5]
19	Bing Yu	[2]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page