Joseph Gagliardo

2008
3	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
2	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, J. 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
1	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, J. 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

Coauthor Index

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