|
Search the dblp DataBase
Yunshan Zhu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David A. Plaisted, Yunshan Zhu
Ordered Semantic Hyper Linking. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1997, pp:472-477 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- David A. Plaisted, Yunshan Zhu
Replacement Rules with Definition Detection. [Citation Graph (0, 0)][DBLP] FTP (LNCS Selection), 1998, pp:80-94 [Conf]
- Yunshan Zhu, James H. Kukula
Generator-based Verification. [Citation Graph (0, 0)][DBLP] ICCAD, 2003, pp:146-153 [Conf]
- 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]
- David A. Plaisted, Yunshan Zhu
Equational Reasoning using AC Constraints. [Citation Graph (0, 0)][DBLP] IJCAI (1), 1997, pp:108-113 [Conf]
- Dinesh Manocha, Yunshan Zhu
Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint. [Citation Graph (0, 0)][DBLP] ISMB, 1994, pp:285-293 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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.002secs, Finished in 0.301secs
|