The SCEAS System
| |||||||

## Search the dblp DataBase
Xudong Zhao:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Andrej Bauer, Edmund M. Clarke, Xudong Zhao
**Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.**[Citation Graph (0, 0)][DBLP] AISMC, 1996, pp:21-37 [Conf] - Edmund M. Clarke, Xudong Zhao
**Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan.**[Citation Graph (0, 0)][DBLP] CADE, 1994, pp:758-763 [Conf] - Edmund M. Clarke, Xudong Zhao
**Analytica - A Theorem Prover in Mathematica.**[Citation Graph (0, 0)][DBLP] CADE, 1992, pp:761-765 [Conf] - Edmund M. Clarke, Steven M. German, Xudong Zhao
**Verifying the SRT Division Algorithm Using Theorem Proving Techniques.**[Citation Graph (0, 0)][DBLP] CAV, 1996, pp:111-122 [Conf] - Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao
**Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking.**[Citation Graph (0, 0)][DBLP] DAC, 1995, pp:427-432 [Conf] - Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
**Word Level Model Checking - Avoiding the Pentium FDIV Error.**[Citation Graph (0, 0)][DBLP] DAC, 1996, pp:645-648 [Conf] - Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang
**Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.**[Citation Graph (0, 0)][DBLP] DAC, 1993, pp:54-60 [Conf] - Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao
**Coverage Estimation for Symbolic Model Checking.**[Citation Graph (0, 0)][DBLP] DAC, 1999, pp:300-305 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] FMCAD, 1996, pp:19-33 [Conf] - Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
**Hybrid decision diagrams.**[Citation Graph (0, 0)][DBLP] ICCAD, 1995, pp:159-163 [Conf] - Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer
**Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams.**[Citation Graph (0, 0)][DBLP] ISCAS, 1994, pp:275-278 [Conf] - Edmund M. Clarke, Xudong Zhao
**Word Level Model Checking (Abstract).**[Citation Graph (0, 0)][DBLP] MFCS, 1996, pp:1- [Conf] - Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang
**Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.**[Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:2/3, pp:137-148 [Journal] - Edmund M. Clarke, Steven M. German, Xudong Zhao
**Verifying the SRT Division Algorithm Using Theorem Proving Techniques.**[Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1999, v:14, n:1, pp:7-44 [Journal] - Andrej Bauer, Edmund M. Clarke, Xudong Zhao
**Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1998, v:21, n:3, pp:295-325 [Journal]
Search in 0.005secs, Finished in 0.007secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |