WINTER: WAMS in Tim Expression Reduction. - Damir Jamsek; Kevin J. Greene; Shiu-Kai Chin; Paul R. Humenn (NACLP, 1989)

Formal Specification and Verification of VHDL. - Mark Bickford; Damir Jamsek (FMCAD, 1996)

Safety-Critical Systems Built with COTS. - Joseph A. Profeta III; Nikos P. Andrianos; Bing Yu; Barry W. Johnson; Todd A. DeLong; David Guaspari; Damir Jamsek (Computer, 1996)

Verisym: Verifying Circuits by Symbolic Simulation. - William Adams; Warren A. Hunt Jr.; Damir Jamsek (Formal Methods Syst. Des., 2003)

Limited switch dynamic logic circuits for high-speed low-power circuit design. - Wendy Belluomini; Damir Jamsek; Andrew K. Martin; Chandler McDowell; Robert K. Montoye; Hung C. Ngo; Jun Sawada (IBM J. Res. Dev., 2006)

An 8T-SRAM for Variability Tolerance and Low-Voltage Operation in High-Performance Caches. - Leland Chang; Robert K. Montoye; Yutaka Nakamura; Kevin Batson; Richard J. Eickemeyer; Robert H. Dennard; Wilfried Haensch; Damir Jamsek (IEEE J. Solid State Circuits, 2008)

Experiences with hybrid clusters. - Damir Jamsek; Eric Van Hensbergen (CLUSTER, 2009)