The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Xudong Zhao: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Edmund M. Clarke, Xudong Zhao
    Analytica - A Theorem Prover in Mathematica. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:761-765 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
    Hybrid decision diagrams. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1995, pp:159-163 [Conf]
  11. 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]
  12. Edmund M. Clarke, Xudong Zhao
    Word Level Model Checking (Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:1- [Conf]
  13. 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]
  14. 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]
  15. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002