Xudong Zhao

15 papers A* 5A 3B 2C 1Journal 3Unranked 1
YearRankTypeTitle / Venue / Authors
1999 A* conf
Coverage Estimation for Symbolic Model Checking.
DAC
Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao
1999 J jnl
Verifying the SRT Division Algorithm Using Theorem Proving Techniques.
Formal Methods Syst. Des.
Edmund M. Clarke, Steven M. German, Xudong Zhao
1998 J jnl
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.
J. Autom. Reason.
Andrej Bauer, Edmund M. Clarke, Xudong Zhao
1997 J jnl
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.
Formal Methods Syst. Des.
Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, Jerry Chih-Yuan Yang
1996 — conf
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.
AISMC
Andrej Bauer, Edmund M. Clarke, Xudong Zhao
1996 B conf
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.
FMCAD
Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao
1996 A* conf
Verifying the SRT Division Algorithm Using Theorem Proving Techniques.
CAV
Edmund M. Clarke, Steven M. German, Xudong Zhao
1996 B conf
Word Level Model Checking (Abstract).
MFCS
Edmund M. Clarke, Xudong Zhao
1996 A* conf
Word Level Model Checking - Avoiding the Pentium FDIV Error.
DAC
Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
1995 A* conf
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking.
DAC
Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao
1995 A conf
Hybrid decision diagrams.
ICCAD
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
1994 A conf
Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan.
CADE
Edmund M. Clarke, Xudong Zhao
1994 C conf
Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams.
ISCAS
Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer
1993 A* conf
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.
DAC
Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, Jerry Chih-Yuan Yang
1992 A conf
Analytica - A Theorem Prover in Mathematica.
CADE
Edmund M. Clarke, Xudong Zhao