| 2006 |
|---|
| 5 | EE | 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 | EE | 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 |
