Xudong Zhao

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Publications

Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao
Coverage Estimation for Symbolic Model Checking. DAC (1999)
Edmund M. Clarke, Steven M. German, Xudong Zhao
Verifying the SRT Division Algorithm Using Theorem Proving Techniques. Formal Methods Syst. Des. 14 (1) (1999)
Andrej Bauer, Edmund M. Clarke, Xudong Zhao
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. J. Autom. Reason. 21 (3) (1998)
Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, Jerry Chih-Yuan Yang
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. Formal Methods Syst. Des. 10 (2/3) (1997)
Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
Word Level Model Checking - Avoiding the Pentium FDIV Error. DAC (1996)
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)
Andrej Bauer, Edmund M. Clarke, Xudong Zhao
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. AISMC (1996)
Edmund M. Clarke, Steven M. German, Xudong Zhao
Verifying the SRT Division Algorithm Using Theorem Proving Techniques. CAV (1996)
Edmund M. Clarke, Xudong Zhao
Word Level Model Checking (Abstract). MFCS (1996)
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
Hybrid decision diagrams. ICCAD (1995)
Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. DAC (1995)
Edmund M. Clarke, Xudong Zhao
Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan. CADE (1994)
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)
Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, Jerry Chih-Yuan Yang
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. DAC (1993)
Edmund M. Clarke, Xudong Zhao
Analytica - A Theorem Prover in Mathematica. CADE (1992)