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

Hao Zheng (Selection)

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Zheng, Xingjun Zhang, Endong Wang, Nan Wu, Xiaoshe Dong: Achieving High Reliability on Linux for K2 System. ACIS-ICIS 2012: 107-112
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Zheng, Yue-qin Zhang, Chuan-lin Zhang: Two variants of Newton's methods with seventh-order convergence. FSKD 2012: 1567-1571
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Zheng, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers: A Compositional Minimization Approach for Large Asynchronous Design Verification. SPIN 2012: 62-79
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGang Liu, Yuanxiang Li, Xin Nie, Hao Zheng: A novel clustering-based differential evolution with 2 multi-parent crossovers for global optimization. Appl. Soft Comput. 12(2): 663-681 (2012)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Zheng, Jianchun Xie, Zhong Jin: Heteroscedastic Sparse Representation Based Classification for Face Recognition. Neural Processing Letters 35(3): 233-244 (2012)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQiaolin Ye, Chunxia Zhao, Ning Ye, Hao Zheng, Xiaobo Chen: A feature selection method for nonparallel plane support vector machine classification. Optimization Methods and Software 27(3): 431-443 (2012)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Zheng, Tuija Aalto, Jorma Kivelä, Artur Lugmayr, Erik Bäckman, Jere Hartimaine, Sauli Niskanen, Timo Manninen, Juha rapeli: Predicting TV in the year 2013. MindTrek 2011: 295-299
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicholas Donataccio, Hao Zheng: An improvement in decomposed reachability analysis for symbolic model checking. HLDVT 2010: 50-57
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert A. Thacker, Kevin R. Jones, Chris J. Myers, Hao Zheng: Automatic abstraction for verification of cyber-physical systems. ICCPS 2010: 12-21
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Cheng Zuo, Yong-Wu Zhao, Yong-Xia Zuo, Feng Ji, Hao Zheng: Computer Simulation on the Compaction of Chromatin Fiber Induced by Salt. LSMS/ICSEE 2010: 413-420
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Zheng, Fugui Wang, Jiangfeng Xu, Nengfeng Zhou, Minping Qian, Ji Zhu, Minghua Deng: Pathway Detection Based on Hierarchical LASSO Regression Model. BMEI 2009: 1-7
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Zheng: A coordinated reachability analysis method for modular verification of asynchronous designs. HLDVT 2009: 130-137
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Zheng, Xingyi Hang, Ji Zhu, Minping Qian, Wubin Qu, Chenggang Zhang, Minghua Deng: REMAS: a new regression model to identify alternative splicing events from exon array data. BMC Bioinformatics 10(S-1): (2009)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiehua Du, Kah Bin Lim, Geok Soon Hong, Wei Miao Yu, Hao Zheng: 2-D Occluded Object Recognition Using Wavelets. CIT 2004: 227-232
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBilly Lim, Hao Zheng: A day in the life of Jini: a peek at service-oriented architecture for internet appliances. IJMC 2(2): 199-216 (2004)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Epstein, Laszlo Hars, Raymond Krasinski, Martin Rosner, Hao Zheng: Design and Implementation of a True Random Number Generator Based on Digital Circuit Artifacts. CHES 2003: 152-165
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianer Chen, Donald K. Friesen, Hao Zheng: Tight Bound on Johnson's Algorithm for Maximum Satisfiability. J. Comput. Syst. Sci. 58(3): 622-640 (1999)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianer Chen, Donald K. Friesen, Hao Zheng: Tight Bound on Johnson's Algoritihm for Max-SAT. IEEE Conference on Computational Complexity 1997: 274-281
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Zheng, Kewal K. Saluja, Rajiv Jain: Test application time reduction for scan based sequential circuits. Great Lakes Symposium on VLSI 1995: 188-191

Selection of 19 from 19 records - Hao Zheng has 55 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page