William Chan

2006
10	EE	Ruchir Bindal, Pei Cao, William Chan, Jan Medved, George Suwala, Tony Bates, Amy Zhang: Improving Traffic Locality in BitTorrent via Biased Neighbor Selection. ICDCS 2006: 66
2001
9	EE	William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner: Optimizing Symbolic Model Checking for Statecharts. IEEE Trans. Software Eng. 27(2): 170-190 (2001)
2000
8		William Chan: Temporal-Locig Queries. CAV 2000: 450-463
7	EE	Cetin C. Kiris, Dochan Kwak, William Chan: Parallel Unsteady Turbo-Pump Simulations For Liquid Rocket Engines. SC 2000
1999
6	EE	Richard J. Anderson, Paul Beame, William Chan, David Notkin: Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. Ershov Memorial Conference 1999: 460-469
5	EE	William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner: Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. ICSE 1999: 142-151
1998
4	EE	William Chan, Richard J. Anderson, Paul Beame, David Notkin: Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ISSTA 1998: 102-112
3	EE	William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese: Model Checking Large Software Specifications. IEEE Trans. Software Eng. 24(7): 498-520 (1998)
1997
2		William Chan, Richard J. Anderson, Paul Beame, David Notkin: Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints. CAV 1997: 316-327
1996
1	EE	Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese: Model Checking Large Software Specifications. SIGSOFT FSE 1996: 156-166

Coauthor Index

1	Richard J. Anderson	[1] [2] [3] [4] [5] [6] [9]
2	Tony Bates	[10]
3	Paul Beame	[1] [2] [3] [4] [5] [6] [9]
4	Ruchir Bindal	[10]
5	Steve Burns	[1] [3]
6	Pei Cao	[10]
7	David H. Jones	[5] [9]
8	Cetin C. Kiris	[7]
9	Dochan Kwak	[7]
10	Jan Medved	[10]
11	Francesmary Modugno	[1] [3]
12	David Notkin	[1] [2] [3] [4] [5] [6] [9]
13	Jon Damon Reese	[1] [3]
14	George Suwala	[10]
15	William E. Warner	[5] [9]
16	Amy Zhang	[10]

Colors in the list of coauthors