dblp.uni-trier.dewww.uni-trier.de

Yunshan Zhu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
20EEYunshan Zhu, James H. Kukula: Generator-based Verification. ICCAD 2003: 146-153
19EEPer 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)
17EEDavid 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
15EEDong 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
12EEArmin 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
11EEArmin 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
10EEArmin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu: Symbolic Model Checking Using SAT Procedures instead of BDDs. DAC 1999: 317-320
9EEArmin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu: Symbolic Model Checking without BDDs. TACAS 1999: 193-207
8EEArmin Biere, Edmund M. Clarke, Yunshan Zhu: Combining Local and Global Model Checking. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
1998
7EESergey 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
6EEDavid 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)