Richard C. Ho

2008
6	EE	Richard C. Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw: Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic. DAC 2008: 268-271
5	EE	John P. Grossman, John K. Salmon, Richard C. Ho, Doug Ierardi, Brian Towles, Brannon Batson, Jochen Spengler, Stanley C. Wang, Rolf Mueller, Michael Theobald, Cliff Young, Joseph Gagliardo, Martin M. Deneroff, Ron O. Dror, David E. Shaw: Hierarchical simulation-based verification of Anton, a special-purpose parallel machine. ICCD 2008: 340-347
4	EE	David E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, John P. Grossman, Richard C. Ho, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang: Anton, a special-purpose machine for molecular dynamics simulation. Commun. ACM 51(7): 91-97 (2008)
2007
3	EE	David E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, John P. Grossman, Richard C. Ho, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang: Anton, a special-purpose machine for molecular dynamics simulation. ISCA 2007: 1-12
1996
2	EE	Richard C. Ho, Mark Horowitz: Validation coverage analysis for complex digital designs. ICCAD 1996: 146-151
1995
1	EE	Richard C. Ho, C. Han Yang, Mark Horowitz, David L. Dill: Architecture Validation for Processors. ISCA 1995: 404-413

Coauthor Index

1	Brannon Batson	[3] [4] [5]
2	Kevin J. Bowers	[3] [4]
3	Jack C. Chao	[3] [4]
4	Martin M. Deneroff	[3] [4] [5] [6]
5	David L. Dill	[1]
6	Ron O. Dror	[3] [4] [5] [6]
7	Michael P. Eastwood	[3] [4]
8	Joseph Gagliardo	[3] [4] [5] [6]
9	John P. Grossman	[3] [4] [5]
10	Mark Horowitz	[1] [2]
11	Doug Ierardi	[3] [4] [5]
12	John L. Klepeis	[3] [4]
13	István Kolossváry	[3] [4]
14	Jeffrey Kuskin	[3] [4]
15	Richard H. Larson	[3] [4]
16	Timothy Layman	[3] [4]
17	Christine McLeavey	[3] [4]
18	Mark A. Moraes	[3] [4]
19	Rolf Mueller	[3] [4] [5]
20	Edward C. Priest	[3] [4]
21	John K. Salmon	[3] [4] [5]
22	Yibing Shan	[3] [4]
23	David E. Shaw	[3] [4] [5] [6]
24	Jochen Spengler	[3] [4] [5]
25	Michael Theobald	[3] [4] [5] [6]
26	Brian Towles	[3] [4] [5]
27	Stanley C. Wang	[3] [4] [5]
28	C. Han Yang	[1]
29	Cliff Young	[3] [4] [5]