Brannon Batson

2008
6	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
5	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
2004
4	EE	Serdar Tasiran, Yuan Yu, Brannon Batson: Linking Simulation with Formal Verification at a Higher Level. IEEE Design & Test of Computers 21(6): 472-482 (2004)
2003
3	EE	Serdar Tasiran, Yuan Yu, Brannon Batson: Using a formal specification and a model checker to monitor and direct simulation. DAC 2003: 356-361
2002
2	EE	Brannon Batson, Leslie Lamport: High-Level Specifications: Lessons from Industry. FMCO 2002: 242-261
2001
1	EE	Brannon Batson, T. N. Vijaykumar: Reactive-Associative Caches. IEEE PACT 2001: 49-60

Coauthor Index

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

Colors in the list of coauthors