Xudong Zhao

	1999
15		Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao: Coverage Estimation for Symbolic Model Checking. DAC 1999: 300-305
14		Edmund M. Clarke, Steven M. German, Xudong Zhao: Verifying the SRT Division Algorithm Using Theorem Proving Techniques. Formal Methods in System Design 14(1): 7-44 (1999)
	1998
13		Andrej Bauer, Edmund M. Clarke, Xudong Zhao: Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. J. Autom. Reasoning 21(3): 295-325 (1998)
	1997
12		Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang: Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. Formal Methods in System Design 10(2/3): 137-148 (1997)
	1996
11		Andrej Bauer, Edmund M. Clarke, Xudong Zhao: Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. AISMC 1996: 21-37
10		Edmund M. Clarke, Steven M. German, Xudong Zhao: Verifying the SRT Division Algorithm Using Theorem Proving Techniques. CAV 1996: 111-122
9		Edmund M. Clarke, Manpreet Khaira, Xudong Zhao: Word Level Model Checking - Avoiding the Pentium FDIV Error. DAC 1996: 645-648
8		Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao: Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD 1996: 19-33
7		Edmund M. Clarke, Xudong Zhao: Word Level Model Checking (Abstract). MFCS 1996: 1
	1995
6		Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao: Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. DAC 1995: 427-432
5		Edmund M. Clarke, Masahiro Fujita, Xudong Zhao: Hybrid decision diagrams. ICCAD 1995: 159-163
	1994
4		Edmund M. Clarke, Xudong Zhao: Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan. CADE 1994: 758-763
3		Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer: Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. ISCAS 1994: 275-278
	1993
2		Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang: Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. DAC 1993: 54-60
	1992
1		Edmund M. Clarke, Xudong Zhao: Analytica - A Theorem Prover in Mathematica. CADE 1992: 761-765

Coauthor Index

1	Andrej Bauer	[11] [13]
2	Yirng-An Chen	[8]
3	Edmund M. Clarke	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
4	Masahiro Fujita	[2] [3] [5] [12]
5	Steven M. German	[10] [14]
6	Orna Grumberg	[6]
7	Pei-Hsin Ho	[8] [15]
8	Yatin Vasant Hoskote	[8] [15]
9	Timothy Kam	[8] [15]
10	Manpreet Khaira	[8] [9]
11	Patrick C. McGeer	[3]
12	Kenneth L. McMillan	[2] [6] [12]
13	John W. O'Leary	[8]
14	J. Yang	[2] [12]
15	Jerry Chih-Yuan Yang	[3]