Yunshan Zhu

2003
20	EE	Yunshan Zhu, James H. Kukula: Generator-based Verification. ICCAD 2003: 146-153
19	EE	Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu: Guiding SAT Diagnosis with Tree Decompositions. SAT 2003: 315-329
18		Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu: Bounded model checking. Advances in Computers 58: 118-149 (2003)
17	EE	David A. Plaisted, Armin Biere, Yunshan Zhu: A satisfiability procedure for quantified Boolean formulae. Discrete Applied Mathematics 130(2): 291-328 (2003)
2002
16		Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu: Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function. Formal Methods in System Design 20(2): 159-186 (2002)
2001
15	EE	Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano: Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. DAC 2001: 35-40
14		Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu: Bounded Model Checking Using Satisfiability Solving. Formal Methods in System Design 19(1): 7-34 (2001)
2000
13		David A. Plaisted, Yunshan Zhu: Ordered Semantic Hyper-Linking. J. Autom. Reasoning 25(3): 167-217 (2000)
1999
12	EE	Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu: Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs. CAV 1999: 60-71
11	EE	Armin Biere, Edmund M. Clarke, Yunshan Zhu: Multiple State and Single State Tableaux for Combining Local and Global Model Checking. Correct System Design 1999: 163-179
10	EE	Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu: Symbolic Model Checking Using SAT Procedures instead of BDDs. DAC 1999: 317-320
9	EE	Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu: Symbolic Model Checking without BDDs. TACAS 1999: 193-207
8	EE	Armin Biere, Edmund M. Clarke, Yunshan Zhu: Combining Local and Global Model Checking. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
1998
7	EE	Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu: Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. FMCAD 1998: 369-386
6	EE	David A. Plaisted, Yunshan Zhu: Replacement Rules with Definition Detection. FTP (LNCS Selection) 1998: 80-94
1997
5		David A. Plaisted, Yunshan Zhu: Ordered Semantic Hyper Linking. AAAI/IAAI 1997: 472-477
4		David A. Plaisted, Yunshan Zhu: Equational Reasoning using AC Constraints. IJCAI (1) 1997: 108-113
1995
3		Dinesh Manocha, Yunshan Zhu, William V. Wright: Conformational analysis of molecular chains using nano-kinematics. Computer Applications in the Biosciences 11(1): 71-86 (1995)
1994
2		Dinesh Manocha, Yunshan Zhu: A Fast Algorithm and System for the Inverse Kinematics of General Serial Manipulators. ICRA 1994: 3348-3353
1		Dinesh Manocha, Yunshan Zhu: Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint. ISMB 1994: 285-293

Coauthor Index

1	Sergey Berezin	[7] [16]
2	Armin Biere	[7] [8] [9] [10] [11] [12] [14] [16] [17] [18]
3	Per Bjesse	[19]
4	Alessandro Cimatti	[9] [10] [18]
5	Edmund M. Clarke	[7] [8] [9] [10] [11] [12] [14] [16] [18]
6	Robert F. Damiano	[15] [19]
7	Masahiro Fujita	[10]
8	Pei-Hsin Ho	[15]
9	James H. Kukula	[15] [19] [20]
10	Jiang Long	[15]
11	Hi-Keung Tony Ma	[15]
12	Dinesh Manocha	[1] [2] [3]
13	David A. Plaisted	[4] [5] [6] [13] [17]
14	Richard Raimi	[12] [14]
15	Ted Stanion	[19]
16	Ofer Strichman	[18]
17	Dong Wang	[15]
18	William V. Wright	[3]

Colors in the list of coauthors