Searching for authors named "Yunshan Zhu" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
