Yunshan Zhu

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere, Alessandro Cimatti, E. M. Clarke et al. · 1999 · 697 citations

Computing, Computer Engineering, Computer Science +16

Bounded Model Checking Using Satisfiability Solving

Edmund M. Clarke, Armin Biere, Richard Raimi et al. · Formal Methods in System Design · 2001 · 679 citations

Computing, Computer Science, Formal Methods +8

Ordered Semantic Hyper-Linking

David A. Plaisted, Yunshan Zhu · Journal of Automated Reasoning · 2000 · 75 citations

Formal property verification by abstraction refinement with formal, simulation and hybrid engines

Dong Wang, Pei-Hsin Jiang, James Kukula et al. · 2001 · 75 citations

Computing, Computer Engineering, Computer Science +13

Conformational analysis of molecular chains using nano-kinematics

Dinesh Manocha, Yunshan Zhu, William V. Wright · Computer applications in the biosciences · 1995 · 51 citations

Natural Sciences, Biophysics, Computational Chemistry +16