dblp.uni-trier.dewww.uni-trier.de

Damir Jamsek Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
5EEWendy 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
4EEWilliam 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)