 | 2008 |
| 13 |  | Dan Zhu,
Tun Li,
Yang Guo,
Sikun Li:
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions.
ISQED 2008: 637-642 |
| 12 |  | Carl K. Chang,
Hsinyi Jiang,
Yu Di,
Dan Zhu,
Yujia Ge:
Time-line based model for software project scheduling with genetic algorithms.
Information & Software Technology 50(11): 1142-1154 (2008) |
| 2007 |
| 11 |  | Dan Zhu,
Qiang Meng,
J. Leon Zhao:
Outsourcing Resource Selection: A Rough Set Approach.
HICSS 2007: 54 |
| 10 |  | 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 |
| 9 |  | John Wang,
Xiaohua Hu,
Dan Zhu:
Diminishing downsides of Data Mining.
IJBIDM 2(2): 177-196 (2007) |
| 2006 |
| 8 |  | Sree Nilakanta,
Leslie L. Miller,
Dan Zhu:
Organizational Memory Management: Technological and Research Issues.
J. Database Manag. 17(1): 85-94 (2006) |
| 7 |  | Rema Padman,
Dan Zhu:
Knowledge integration using problem spaces: A study in resource-constrained project scheduling.
J. Scheduling 9(2): 133-152 (2006) |
| 2005 |
| 6 |  | Tun Li,
Dan Zhu,
Lei Liang,
Yang Guo,
Sikun Li:
Automatic functional test program generation for microprocessor verification.
ASP-DAC 2005: 1039-1042 |
| 5 |  | Tun Li,
Dan Zhu,
Yang Guo,
GongJie Liu,
Sikun Li:
MA2TG: A Functional Test Program Generator for Microprocessor Verification.
DSD 2005: 176-183 |
| 4 |  | Tun Li,
Yang Guo,
Sikun Li,
Dan Zhu:
Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions.
MICAI 2005: 175-184 |
| 2002 |
| 3 |  | Dan Zhu,
Michael J. Prietula:
Intelligent Architectures for Knowledge Sharing: A Soar Example and General Issues.
FLAIRS Conference 2002: 318-320 |
| 2 |  | Dan Zhu:
Edition Security Control in Inter-bank Fund Transfer.
J. Electron. Commerce Res. 3(1): 15-22 (2002) |
| 1997 |
| 1 |  | Dan Zhu,
Michael J. Prietula,
Wen Ling Hsu:
When Processes Learn: Steps Toward Crafting an Intelligent Organization.
Information Systems Research 8(3): 302-317 (1997) |