Search the dblp DataBase
Dan Zhu :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Tun Li , Dan Zhu , Lei Liang , Yang Guo , Sikun Li Automatic functional test program generation for microprocessor verification. [Citation Graph (0, 0)][DBLP ] ASP-DAC, 2005, pp:1039-1042 [Conf ] Tun Li , Dan Zhu , Yang Guo , GongJie Liu , Sikun Li MA2TG: A Functional Test Program Generator for Microprocessor Verification. [Citation Graph (0, 0)][DBLP ] DSD, 2005, pp:176-183 [Conf ] Dan Zhu , Michael J. Prietula Intelligent Architectures for Knowledge Sharing: A Soar Example and General Issues. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2002, pp:318-320 [Conf ] Dan Zhu , Qiang Meng , J. Leon Zhao Outsourcing Resource Selection: A Rough Set Approach. [Citation Graph (0, 0)][DBLP ] HICSS, 2007, pp:54- [Conf ] Tun Li , Yang Guo , Sikun Li , Dan Zhu Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. [Citation Graph (0, 0)][DBLP ] MICAI, 2005, pp:175-184 [Conf ] Dan Zhu Edition Security Control in Inter-bank Fund Transfer. [Citation Graph (0, 0)][DBLP ] J. Electron. Commerce Res., 2002, v:3, n:1, pp:15-22 [Journal ] Rema Padman , Dan Zhu Knowledge integration using problem spaces: A study in resource-constrained project scheduling. [Citation Graph (0, 0)][DBLP ] J. Scheduling, 2006, v:9, n:2, pp:133-152 [Journal ] Sree Nilakanta , Leslie L. Miller , Dan Zhu Organizational Memory Management: Technological and Research Issues. [Citation Graph (0, 0)][DBLP ] J. Database Manag., 2006, v:17, n:1, pp:85-94 [Journal ] 2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. [Citation Graph (, )][DBLP ] A foundational study on the applicability of genetic algorithm to software engineering problems. [Citation Graph (, )][DBLP ] Cell affinity of PHBV thin films evaluated by a parallel plate flow chamber. [Citation Graph (, )][DBLP ] Identity disclosure protection: A data reconstruction approach for privacy-preserving data mining. [Citation Graph (, )][DBLP ] A hybrid approach for efficient ensembles. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs