The SCEAS System
| |||||||

## 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.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

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