| 2003 | ICCAD | Generator-based Verification. | Yunshan Zhu, James H. Kukula |
| 2003 | SAT | Guiding SAT Diagnosis with Tree Decompositions. | Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu |
| 2001 | DAC | Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. | Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano |
| 1999 | CAV | Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs. | Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu |
| 1999 | DAC | Symbolic Model Checking Using SAT Procedures instead of BDDs. | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu |
| 1999 | TACAS | Symbolic Model Checking without BDDs. | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu |
| 1998 | FMCAD | Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. | Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu |
| 1997 | AAAI | Ordered Semantic Hyper Linking. | David A. Plaisted, Yunshan Zhu |
| 1997 | IJCAI | Equational Reasoning using AC Constraints. | David A. Plaisted, Yunshan Zhu |
| 1994 | ICRA | A Fast Algorithm and System for the Inverse Kinematics of General Serial Manipulators. | Dinesh Manocha, Yunshan Zhu |
| 1994 | ISMB | Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint. | Dinesh Manocha, Yunshan Zhu |