Yunshan Zhu

According to our database1, Yunshan Zhu authored at least 22 papers between 1994 and 2007.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Formal model construction using HDL simulation semantics.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2003
A satisfiability procedure for quantified Boolean formulae.
Discret. Appl. Math., 2003

Bounded model checking.
Adv. Comput., 2003

Guiding SAT Diagnosis with Tree Decompositions.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Generator-based Verification.
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

2002
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function.
Formal Methods Syst. Des., 2002

2001
Bounded Model Checking Using Satisfiability Solving.
Formal Methods Syst. Des., 2001

Using cutwidth to improve symbolic simulation and Boolean satisfiability.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines.
Proceedings of the 38th Design Automation Conference, 2001

2000
Ordered Semantic Hyper-Linking.
J. Autom. Reason., 2000

1999
Combining Local and Global Model Checking.
Proceedings of the First International Workshop on Symbolic Model Checking, 1999

Symbolic Model Checking without BDDs.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Symbolic Model Checking Using SAT Procedures instead of BDDs.
Proceedings of the 36th Conference on Design Automation, 1999

Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Multiple State and Single State Tableaux for Combining Local and Global Model Checking.
Proceedings of the Correct System Design, 1999

1998
Replacement Rules with Definition Detection.
Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification.
Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997
Equational Reasoning using AC Constraints.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

The efficiency of theorem proving strategies - a comparative and asymptotic analysis.
Computational intelligence, Vieweg, ISBN: 978-3-528-05574-5, 1997

1995
Conformational analysis of molecular chains using nano-kinematics.
Comput. Appl. Biosci., 1995

1994
Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint.
Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology, 1994

A Fast Algorithm and System for the Inverse Kinematics of General Serial Manipulators.
Proceedings of the 1994 International Conference on Robotics and Automation, 1994


  Loading...