The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yunshan Zhu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David A. Plaisted, Yunshan Zhu
    Ordered Semantic Hyper Linking. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:472-477 [Conf]
  2. Armin Biere, Edmund M. Clarke, Yunshan Zhu
    Multiple State and Single State Tableaux for Combining Local and Global Model Checking. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:163-179 [Conf]
  3. Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu
    Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:60-71 [Conf]
  4. Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu
    Symbolic Model Checking Using SAT Procedures instead of BDDs. [Citation Graph (0, 0)][DBLP]
    DAC, 1999, pp:317-320 [Conf]
  5. Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
    Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. [Citation Graph (0, 0)][DBLP]
    DAC, 2001, pp:35-40 [Conf]
  6. Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu
    Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:369-386 [Conf]
  7. David A. Plaisted, Yunshan Zhu
    Replacement Rules with Definition Detection. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:80-94 [Conf]
  8. Yunshan Zhu, James H. Kukula
    Generator-based Verification. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2003, pp:146-153 [Conf]
  9. Dinesh Manocha, Yunshan Zhu
    A Fast Algorithm and System for the Inverse Kinematics of General Serial Manipulators. [Citation Graph (0, 0)][DBLP]
    ICRA, 1994, pp:3348-3353 [Conf]
  10. David A. Plaisted, Yunshan Zhu
    Equational Reasoning using AC Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:108-113 [Conf]
  11. Dinesh Manocha, Yunshan Zhu
    Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint. [Citation Graph (0, 0)][DBLP]
    ISMB, 1994, pp:285-293 [Conf]
  12. Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu
    Guiding SAT Diagnosis with Tree Decompositions. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:315-329 [Conf]
  13. Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu
    Symbolic Model Checking without BDDs. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:193-207 [Conf]
  14. Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu
    Bounded model checking. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 2003, v:58, n:, pp:118-149 [Journal]
  15. Dinesh Manocha, Yunshan Zhu, William V. Wright
    Conformational analysis of molecular chains using nano-kinematics. [Citation Graph (0, 0)][DBLP]
    Computer Applications in the Biosciences, 1995, v:11, n:1, pp:71-86 [Journal]
  16. David A. Plaisted, Armin Biere, Yunshan Zhu
    A satisfiability procedure for quantified Boolean formulae. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 2003, v:130, n:2, pp:291-328 [Journal]
  17. Armin Biere, Edmund M. Clarke, Yunshan Zhu
    Combining Local and Global Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
  18. Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu
    Bounded Model Checking Using Satisfiability Solving. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:1, pp:7-34 [Journal]
  19. Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu
    Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:2, pp:159-186 [Journal]
  20. David A. Plaisted, Yunshan Zhu
    Ordered Semantic Hyper-Linking. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2000, v:25, n:3, pp:167-217 [Journal]

Search in 0.005secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002