Xudong Zhao

According to our database, Xudong Zhao authored at least 12 papers between 1992 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Verifying the SRT Division Algorithm Using Theorem Proving Techniques.

Edmund M. Clarke, Steven M. German, Xudong Zhao

Formal Methods Syst. Des., 1999

Coverage Estimation for Symbolic Model Checking.

Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao

Proceedings of the 36th Conference on Design Automation, 1999

1998

Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.

Andrej Bauer, Edmund M. Clarke, Xudong Zhao

J. Autom. Reason., 1998

1997

Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.

Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, Jerry Chih-Yuan Yang

Formal Methods Syst. Des., 1997

1996

Word Level Model Checking (Abstract).

Edmund M. Clarke, Xudong Zhao

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.

Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

Word Level Model Checking - Avoiding the Pentium FDIV Error.

Edmund M. Clarke, Manpreet Khaira, Xudong Zhao

Proceedings of the 33st Conference on Design Automation, 1996

1995

Hybrid decision diagrams.

Edmund M. Clarke, Masahiro Fujita, Xudong Zhao

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking.

Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao

Proceedings of the 32st Conference on Design Automation, 1995

1994

Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams.

Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan.

Edmund M. Clarke, Xudong Zhao

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992

Analytica - A Theorem Prover in Mathematica.

Edmund M. Clarke, Xudong Zhao

Proceedings of the Automated Deduction, 1992