| 2008 |
|---|
| 11 | EE | Dan Zhu,
Tun Li,
Yang Guo,
Sikun Li:
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions.
ISQED 2008: 637-642 |
| 2007 |
|---|
| 10 | EE | Dan Zhu,
Qiang Meng,
J. Leon Zhao:
Outsourcing Resource Selection: A Rough Set Approach.
HICSS 2007: 54 |
| 9 | EE | Hsinyi Jiang,
Carl K. Chang,
Dan Zhu,
Shuxing Cheng:
A foundational study on the applicability of genetic algorithm to software engineering problems.
IEEE Congress on Evolutionary Computation 2007: 2210-2219 |
| 8 | EE | John Wang,
Xiaohua Hu,
Dan Zhu:
Diminishing downsides of Data Mining.
IJBIDM 2(2): 177-196 (2007) |
| 2006 |
|---|
| 7 | EE | Sree Nilakanta,
Leslie L. Miller,
Dan Zhu:
Organizational Memory Management: Technological and Research Issues.
J. Database Manag. 17(1): 85-94 (2006) |
| 6 | EE | Rema Padman,
Dan Zhu:
Knowledge integration using problem spaces: A study in resource-constrained project scheduling.
J. Scheduling 9(2): 133-152 (2006) |
| 2005 |
|---|
| 5 | EE | Tun Li,
Dan Zhu,
Lei Liang,
Yang Guo,
Sikun Li:
Automatic functional test program generation for microprocessor verification.
ASP-DAC 2005: 1039-1042 |
| 4 | EE | Tun Li,
Dan Zhu,
Yang Guo,
GongJie Liu,
Sikun Li:
MA2TG: A Functional Test Program Generator for Microprocessor Verification.
DSD 2005: 176-183 |
| 3 | EE | Tun Li,
Yang Guo,
Sikun Li,
Dan Zhu:
Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions.
MICAI 2005: 175-184 |
| 2002 |
|---|
| 2 | | Dan Zhu,
Michael J. Prietula:
Intelligent Architectures for Knowledge Sharing: A Soar Example and General Issues.
FLAIRS Conference 2002: 318-320 |
| 1 | EE | Dan Zhu:
Edition Security Control in Inter-bank Fund Transfer.
J. Electron. Commerce Res. 3(1): 15-22 (2002) |
