Searching for authors named "Yunshan Zhu" – sorted by Relevance.
-
Generator-based verification
- ABSTRACT Generator-based Verification Yunshan Zhu Advanced Technology Group Synopsys, Inc
- Cited by 2 (0 self) – Add To MetaCart
-
Efficient First-Order Semantic Deduction Techniques
- Efficient First-Order Semantic Deduction Techniques by Yunshan Zhu A dissertation submitted
- Add To MetaCart
-
A Fast Algorithm and System for the Inverse Kinematics of General Serial Manipulators
- University of North Carolina Chapel Hill, NC 27599-3175 Yunshan Zhu y Department of Computer Science
- Cited by 7 (1 self) – Add To MetaCart
-
Kinematic Manipulation of Molecular Chains Subject to Rigid Constraints
- Kinematic Manipulation of Molecular Chains Subject to Rigid Constraints Dinesh Manocha Yunshan
- Cited by 12 (0 self) – Add To MetaCart
-
Situation Calculus with Aspect
- Situation Calculus with Aspect David A. Plaisted and Yunshan Zhu Computer Science Department
- Cited by 2 (2 self) – Add To MetaCart
-
Equational Reasoning using AC Constraints
- Equational Reasoning using AC Constraints David A. Plaisted and Yunshan Zhu Computer Science
- Cited by 1 (1 self) – Add To MetaCart
-
Conformational analysis of molecular chains using Nano-Kinematics
- Conformational analysis of molecular chains using Nano-Kinematics Dinesh Manocha Yunshan Zhu y
- Cited by 19 (2 self) – Add To MetaCart
-
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
- Verification Sergey Berezin, Armin Biere, Edmund Clarke, and Yunshan Zhu April 20, 1998 CMU-CS-98-124 School
- Cited by 29 (4 self) – Add To MetaCart
-
Symbolic Model Checking without BDDs
- , and Yunshan Zhu 1 1 Computer Science Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh
- Cited by 481 (51 self) – Add To MetaCart
-
Bounded Model Checking Using Satisfiability Solving
- Raimi 3 , and Yunshan Zhu 4 1 Computer Science Department, CMU, 5000 Forbes Avenue Pittsburgh, PA 15213
- Cited by 68 (1 self) – Add To MetaCart

