Dan Zhu Vis

*	2008
12	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
11	EE	Dan Zhu, Qiang Meng, J. Leon Zhao: Outsourcing Resource Selection: A Rough Set Approach. HICSS 2007: 54
10	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
9	EE	John Wang, Xiaohua Hu, Dan Zhu: Diminishing downsides of Data Mining. IJBIDM 2(2): 177-196 (2007)
	2006
8	EE	Sree Nilakanta, Leslie L. Miller, Dan Zhu: Organizational Memory Management: Technological and Research Issues. J. Database Manag. 17(1): 85-94 (2006)
7	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
6	EE	Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li: Automatic functional test program generation for microprocessor verification. ASP-DAC 2005: 1039-1042
5	EE	Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li: MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD 2005: 176-183
4	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
3		Dan Zhu, Michael J. Prietula: Intelligent Architectures for Knowledge Sharing: A Soar Example and General Issues. FLAIRS Conference 2002: 318-320
2	EE	Dan Zhu: Edition Security Control in Inter-bank Fund Transfer. J. Electron. Commerce Res. 3(1): 15-22 (2002)
	1997
1	EE	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)

Coauthor Index

1	Carl K. Chang	[10]
2	Shuxing Cheng	[10]
3	Yang Guo	[4] [5] [6] [12]
4	Wen Ling Hsu	[1]
5	Xiaohua Hu	[9]
6	Hsinyi Jiang	[10]
7	Sikun Li	[4] [5] [6] [12]
8	Tun Li	[4] [5] [6] [12]
9	Lei Liang	[6]
10	GongJie Liu	[5]
11	Qiang Meng	[11]
12	Leslie L. Miller (Les L. Miller, Les Miller)	[8]
13	Sree Nilakanta	[8]
14	Rema Padman	[7]
15	Michael J. Prietula (Michael Prietula)	[1] [3]
16	John Wang	[9]
17	J. Leon Zhao	[11]

Colors in the list of coauthors