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

Hao Zheng Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
20EEHao 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)
19EEHaiqiong Yao, Hao Zheng: Automated Interface Refinement for Compositional Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 28(3): 433-446 (2009)
2008
18EEHao Zheng, Xian Wu, Yong Yu: Enriching WordNet with Folksonomies. PAKDD 2008: 1075-1080
17EEHao Zheng, Jared Ahrens, Tian Xia: A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1343-1347 (2008)
2006
16EEMiao Xiong, Yifan Chen, Hao Zheng, Yong Yu: Towards Quick Understanding and Analysis of Large-Scale Ontologies. ASWC 2006: 84-98
15EEDi Mu, Tian Xia, Hao Zheng: Data Dependent Jitter Characterization Based on Fourier Analysis. DFT 2006: 534-544
14EEHao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda: Verification of timed circuits with failure-directed abstractions. IEEE Trans. on CAD of Integrated Circuits and Systems 25(3): 403-412 (2006)
2005
13EETian Xia, Peilin Song, Hao Zheng: Characterizing the VCO jitter due to the digital simultaneous switching noise. ACM Great Lakes Symposium on VLSI 2005: 70-73
12EETian Xia, Hao Zheng, Jing Li, Ahmed Ginawi: Self-Refereed On-Chip Jitter Measurement Circuit Using Vernier Oscillators. ISVLSI 2005: 218-223
2004
11EETiehua Du, Kah Bin Lim, Geok Soon Hong, Wei Miao Yu, Hao Zheng: 2-D Occluded Object Recognition Using Wavelets. CIT 2004: 227-232
10EEBilly 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)
2003
9EEMichael 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
8EEHao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda: Verification of Timed Circuits with Failure Directed Abstractions. ICCD 2003: 28-35
7EEHao Zheng, Eric Mercer, Chris J. Myers: Modular verification of timed circuits using automatic abstraction. IEEE Trans. on CAD of Integrated Circuits and Systems 22(9): 1138-1153 (2003)
2001
6EEChris J. Myers, Wendy Belluomini, Kip Kallpack, Eric Peskin, Hao Zheng: Timed circuits: a new paradigm for high-speed design. ASP-DAC 2001: 335-340
5EEHao Zheng, Eric Mercer, Chris J. Myers: Automatic Abstraction for Verification of Timed Circuits and Systems. CAV 2001: 182-193
1999
4EEBrandon M. Bachman, Hao Zheng, Chris J. Myers: Architectural Synthesis of Timed Asynchronous Systems. ICCD 1999: 354-363
3 Jianer Chen, Donald K. Friesen, Hao Zheng: Tight Bound on Johnson's Algorithm for Maximum Satisfiability. J. Comput. Syst. Sci. 58(3): 622-640 (1999)
1997
2EEJianer Chen, Donald K. Friesen, Hao Zheng: Tight Bound on Johnson's Algoritihm for Max-SAT. IEEE Conference on Computational Complexity 1997: 274-281
1995
1EEHao Zheng, Kewal K. Saluja, Rajiv Jain: Test application time reduction for scan based sequential circuits. Great Lakes Symposium on VLSI 1995: 188-191

Coauthor Index

1Jared Ahrens [17]
2Brandon M. Bachman [4]
3Wendy Belluomini [6]
4Jianer Chen [2] [3]
5Yifan Chen [16]
6Minghua Deng [20]
7Tiehua Du [11]
8Michael Epstein [9]
9Donald K. Friesen [2] [3]
10Ahmed Ginawi [12]
11Xingyi Hang [20]
12Laszlo Hars [9]
13Geok Soon Hong [11]
14Rajiv Jain [1]
15Kip Kallpack [6]
16Raymond Krasinski [9]
17Jing Li [12]
18Billy Lim [10]
19Kah Bin Lim [11]
20Scott Little [8] [14]
21Eric Mercer (Eric G. Mercer) [5] [7]
22Di Mu [15]
23Chris J. Myers [4] [5] [6] [7] [8] [14]
24Eric Peskin [6]
25Minping Qian [20]
26Wubin Qu [20]
27Martin Rosner [9]
28Kewal K. Saluja [1]
29Peilin Song [13]
30David Walter [8] [14]
31Xian Wu [18]
32Tian Xia [12] [13] [15] [17]
33Miao Xiong [16]
34Haiqiong Yao [19]
35Tomohiro Yoneda [8] [14]
36Wei Miao Yu [11]
37Yong Yu [16] [18]
38Chenggang Zhang [20]
39Ji Zhu [20]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)