Dong Wang

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

2008
59EEXuan Gu, Dong Wang, Huanye Sheng: RFID-Based Locating Management. AINA Workshops 2008: 18-23
58EEDong Wang, Jinchang Ren, Jianmin Jiang, Stanley S. Ipson: Skin Detection from Different Color Spaces for Model-Based Face Detection. ICIC (3) 2008: 487-494
57EEMin Zhang, Chen Yao, Zheng Guo, Jinfeng Zou, Lin Zhang, Hui Xiao, Dong Wang, Da Yang, Xue Gong, Jing Zhu, Yanhui Li, Xia Li: Apparently low reproducibility of true differential expression discoveries in microarray studies. Bioinformatics 24(18): 2057-2063 (2008)
56EEDa Yang, Yanhui Li, Hui Xiao, Qing Liu, Min Zhang, Jing Zhu, Wencai Ma, Chen Yao, Jing Wang, Dong Wang, Zheng Guo, Baofeng Yang: Gaining confidence in biological interpretation of the microarray data: the functional consistence of the significant GO categories. Bioinformatics 24(2): 265-271 (2008)
55EEYupo Chan, Jean M. Mahan, James W. Chrissis, David A. Drake, Dong Wang: Hierarchical maximal-coverage location-allocation: Case of generalized search-and-rescue. Computers & OR 35(6): 1886-1904 (2008)
54EEYunjie Xu, Dong Wang: Order effect in relevance judgment. JASIST 59(8): 1264-1275 (2008)
2007
53EEDong Wang, Xirong Li, Jianmin Li, Bo Zhang: The importance of query-concept-mapping for automatic video retrieval. ACM Multimedia 2007: 285-288
52EEXing Fang, Dong Wang, Shuming Chen: Exploiting Thread-Level Parallelism of Irregular LDPC Decoder with Simultaneous Multi-threading Technique. APPT 2007: 650-657
51EEDong Wang, Xiaowen Chen, Shuming Chen, Xing Fang, Shuwei Sun: FCC-SDP: A Fast Close-Coupled Shared Data Pool for Multi-core DSPs. Asia-Pacific Computer Systems Architecture Conference 2007: 80-89
50EENayef A. Alsindi, Dagnachew Birru, Dong Wang: Ultra-Wideband Channel Measurement Characterization for Wireless Magnetic Resonance Imaging Applications. CISS 2007: 135-140
49EEXiaobing Liu, Dong Wang, Jianmin Li, Bo Zhang: The feature and spatial covariant kernel: adding implicit spatial constraints to histogram. CIVR 2007: 565-572
48EEXirong Li, Dong Wang, Jianmin Li, Bo Zhang: Video search in concept subspace: a text-like paradigm. CIVR 2007: 603-610
47EEJianmin Li, Zhikun Wang, Xirong Li, Tongchun Xiao, Dong Wang, Wujie Zheng, Bo Zhang: Video retrieval with multi-modal features. CIVR 2007: 652
46EEShuwei Sun, Dong Wang, Shuming Chen: A Highly Efficient Parallel Algorithm for H.264 Encoder Based on Macro-Block Region Partition. HPCC 2007: 577-585
45EEJie Wu, Dong Wang, Huanye Sheng: Design an OSGi Extension Service for Mobile RFID Applications. ICEBE 2007: 323-326
44EEDong Wang, Zhikun Wang, Xirong Li, Xiaobing Liu, Jianmin Li, Bo Zhang: Mapping Query to Semantic Concepts: Leveraging Semantic Indices for Automatic and Interactive Video Retrieval. ICSC 2007: 313-320
43EEDong Wang, Xiaobing Liu, Linjie Luo, Jianmin Li, Bo Zhang: Video diver: generic video indexing with diverse features. Multimedia Information Retrieval 2007: 61-70
42EEChun-Ting Chou, Jun Yang, Dong Wang: Cooperative MAC Protocol with Automatic Relay Selection in Distributed Wireless Networks. PerCom Workshops 2007: 526-531
41EEZheng Guo, Yongjin Li, Xue Gong, Chen Yao, Wencai Ma, Dong Wang, Yanhui Li, Jing Zhu, Min Zhang, Da Yang, Jing Wang: Edge-based scoring and searching method for identifying condition-responsive protein-protein interaction sub-network. Bioinformatics 23(16): 2121-2128 (2007)
40EEDong Wang, Haiquan Wang, Xiang-Gen Xia: Space-Time Trellis Code Design Based on Super Quasi-Orthogonal Block Codes With Minimum Decoding Complexity. IEEE Transactions on Communications 55(8): 1441-1447 (2007)
2006
39EEDong Wang, Xiao Hu, Shuming Chen, Yang Guo: Bandwidth Optimization of the EMCI for a High Performance 32-bit DSP. Asia-Pacific Computer Systems Architecture Conference 2006: 488-494
38EEDong Wang, Jianmin Li, Bo Zhang: Relay Boost Fusion for Learning Rare Concepts in Multimedia. CIVR 2006: 271-280
37EEDong Wang, Jianmin Li, Bo Zhang: Multiple-Instance Learning Via Random Walk. ECML 2006: 473-484
36EEDong Wang, Zhimin Liu, Yuping Zhao, Yan Luo: A Novel Unicast based Multiplexing Scheme to Guarantee the QoS of VoWLAN. GLOBECOM 2006
35EEYong Chen, Ke-qin Wu, Dong Wang, Ge Chen: Elastic Algorithm: A New Path Planning Algorithm About Auto-navigation in 3D Virtual Scene. ICAT 2006: 1156-1165
34EEChen Pang, Mingli Song, Jiajun Bu, Chun Chen, Dong Wang: Painterly Rendering with Vector Field Based Feature Extraction. ICAT 2006: 960-968
33EEMingChu Li, Yongrui Cui, Yuan Tian, Dong Wang, Songyuan Yan: A New Architecture of Grid Security System Construction. ICPP Workshops 2006: 100-108
32EEShihai Zhang, Shujun Liu, Dong Wang, Shihai Zhang, Jinping Ou, Guangyuan Wang: Knowledge Discovery of Improved Apriori-Based High-Rise Structure Intelligent Form Selection. ISDA (1) 2006: 535-539
31EEDong Wang, Yingli Lv, Zheng Guo, Xia Li, Yanhui Li, Jing Zhu, Da Yang, Jianzhen Xu, Chenguang Wang, Shaoqi Rao, Baofeng Yang: Effects of replacing the unreliable cDNA microarray measurements on the disease classification based on gene expression profiles and functional modules. Bioinformatics 22(23): 2883-2889 (2006)
2005
30EEDong Wang, Jeremy R. Levitt: Automatic assume guarantee analysis for assertion-based formal verification. ASP-DAC 2005: 561-566
29EELe Chen, Dayong Ding, Dong Wang, Fuzong Lin, Bo Zhang: AP-Based Borda Voting Method for Feature Extraction in TRECVID-2004. ECIR 2005: 568-570
28EEWeiping Zhu, Dong Wang, Huanye Sheng: Mobile RFID Technology for Improving M-Commerce. ICEBE 2005: 118-126
27EEJie Wu, Dong Wang, Huanye Sheng: Public RFID Service Platform Based on ASP Model. ICEBE 2005: 553-557
26EEDong Wang, Cedric Nishan Canagarajah, Dimitris Agrafiotis, David R. Bull: Error concealment for slice group based multiple description video coding. ICIP (1) 2005: 769-772
25EEDong Wang, Cedric Nishan Canagarajah, David R. Bull: Slice group based multiple description video coding with three motion compensation loops. ISCAS (2) 2005: 960-963
24EEDong Wang, Cedric Nishan Canagarajah, David R. Bull: S frame design for multiple description video coding. ISCAS (3) 2005: 2719-2722
23EEDong Wang, J. P. Keane, Paul J. Hurst, Bernard C. Levy, S. H. Lewis: Convergence analysis of a background interstage gain calibration technique for pipelined ADCs. ISCAS (4) 2005: 4058-4061
22EEZhiqiang Liu, Dong Wang, Huanye Sheng: describer: Service-Oriented Multiagent Architecture for Mobile Environment. PDCAT 2005: 566-568
21EEDong Wang, Xiang-Gen Xia: Super-orthogonal differential space-time trellis coding and decoding. IEEE Journal on Selected Areas in Communications 23(9): 1788-1798 (2005)
20EEDong Wang, Genyuan Wang, Xiang-Gen Xia: An orthogonal space-time coded partial response CPM system with fast decoding for two transmit antennas. IEEE Transactions on Wireless Communications 4(5): 2410-2422 (2005)
2004
19 Dong Wang, Cedric Nishan Canagarajah, David R. Bull: Slice group based multiple description video coding using motion vector estimation. ICIP 2004: 3237-3240
18 Dong Wang, Cedric Nishan Canagarajah, David W. Redmill, David R. Bull: Multiple description video coding based on zero padding. ISCAS (2) 2004: 205-208
17EELiehuang Zhu, Yuanda Cao, Dong Wang: Digital signature of multicast streams secure against adaptive chosen message attack. Computers & Security 23(3): 229-240 (2004)
16EEZhifu Liu, Yongxiang Li, Yuhong Xiong, Dong Wang, Qingrui Yin: Electroluminescence of SrAl2O4: Eu2+ phosphor. Microelectronics Journal 35(4): 375-377 (2004)
15EEYiqing Lu, Yongxiang Li, Yuhong Xiong, Dong Wang, Qingrui Yin: SrAl2O4: Eu2+, Dy3+ phosphors derived from a new sol-gel route. Microelectronics Journal 35(4): 379-382 (2004)
2003
14EEEdmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang: Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. CAV 2003: 126-140
13 Caixia Chi, Dong Wang, Ruibing Hao: A Framework on Feature Interactions in Optical Network Protocols. FIW 2003: 141-148
12EEEdmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang: High Level Verification of Control Intensive Systems Using Predicate Abstraction. MEMOCODE 2003: 55-64
11EEEdmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang: SAT Based Predicate Abstraction for Hardware Verification. SAT 2003: 78-92
10EEDong Wang, Ruibing Hao, David Lee: Fault detection in Rule-based Software systems. Information & Software Technology 45(12): 865-871 (2003)
2002
9EEPankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang: Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. FMCAD 2002: 33-51
8EEWei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang: Extending WSDL to Facilitate Web Services Testing. HASE 2002: 171-172
2001
7EEPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang: Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME 2001: 293-309
6EEDong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano: Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. DAC 2001: 35-40
5EEPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang: Non-linear Quantification Scheduling in Image Computation. ICCAD 2001: 293-
4EEYuan Ji, Ziguo Li, Dong Wang, Yaohai Cheng, Dong Luo, Bin Zong: Scanning thermal microscopy studies of local temperature distribution of micron-sized metallization lines. Microelectronics Reliability 41(8): 1255-1258 (2001)
2000
3EEEdmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang: Executable Protocol Specification in ESL. FMCAD 2000: 197-216
1999
2EEEdmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang: Abstract BDDs: A Technque for Using Abstraction in Model Checking. CHARME 1999: 172-186
1996
1 Dong Wang, John A. Goldak: Correcting Topological Defects of Tessellations. CCCG 1996: 50-55

Coauthor Index

1Dimitris Agrafiotis [26]
2Nayef A. Alsindi [50]
3Dagnachew Birru [50]
4Jiajun Bu [34]
5David R. Bull [18] [19] [24] [25] [26]
6Cedric Nishan Canagarajah [18] [19] [24] [25] [26]
7Yuanda Cao [17]
8Yupo Chan [55]
9Pankaj Chauhan [5] [7] [9]
10Chun Chen [34]
11Ge Chen [35]
12Le Chen [29]
13Shuming Chen [39] [46] [51] [52]
14Xiaowen Chen [51]
15Yong Chen [35]
16Yaohai Cheng [4]
17Caixia Chi [13]
18Chun-Ting Chou [42]
19James W. Chrissis [55]
20Edmund M. Clarke [2] [3] [5] [7] [9] [11] [12] [14]
21Yongrui Cui [33]
22Robert F. Damiano [6]
23Dayong Ding [29]
24David A. Drake [55]
25Chun Fan [8]
26Xing Fang [51] [52]
27Steven M. German [3]
28John A. Goldak [1]
29Xue Gong [41] [57]
30Orna Grumberg [12] [14]
31Xuan Gu [59]
32Yang Guo [39]
33Zheng Guo [31] [41] [56] [57]
34Ruibing Hao [10] [13]
35Pei-Hsin Ho [6]
36Xiao Hu [39]
37Paul J. Hurst [23]
38Stanley S. Ipson [58]
39Somesh Jha [2] [5] [7]
40Yuan Ji [4]
41Jianmin Jiang [58]
42J. P. Keane [23]
43James H. Kukula [5] [6] [7] [9]
44David Lee [10]
45Jeremy R. Levitt [30]
46Bernard C. Levy [23]
47S. H. Lewis [23]
48Jianmin Li [37] [38] [43] [44] [47] [48] [49] [53]
49MingChu Li [33]
50Xia Li [31] [57]
51Xirong Li [44] [47] [48] [53]
52Yanhui Li [31] [41] [56] [57]
53Yongjin Li [41]
54Yongxiang Li [15] [16]
55Ziguo Li [4]
56Fuzong Lin [29]
57Qing Liu [56]
58Shujun Liu [32]
59Xiaobing Liu [43] [44] [49]
60Zhifu Liu [16]
61Zhimin Liu [36]
62Zhiqiang Liu [22]
63Jiang Long [6]
64Yiqing Lu [15]
65Yuan Lu [2] [3]
66Dong Luo [4]
67Linjie Luo [43]
68Yan Luo [36]
69Yingli Lv [31]
70Hi-Keung Tony Ma [6]
71Wencai Ma [41] [56]
72Jean M. Mahan [55]
73Jinping Ou [32]
74Chen Pang [34]
75Raymond A. Paul [8]
76Shaoqi Rao [31]
77David W. Redmill [18]
78Jinchang Ren [58]
79Samir Sapra [9]
80Huanye Sheng [22] [27] [28] [45] [59]
81Thomas R. Shiple [5]
82Mingli Song [34]
83Shuwei Sun [46] [51]
84Muralidhar Talupur [11] [12] [14]
85Yuan Tian [33]
86Wei-Tek Tsai [8]
87Helmut Veith [3] [5] [7] [9] [11]
88Chenguang Wang [31]
89Genyuan Wang [20]
90Guangyuan Wang [32]
91Haiquan Wang [40]
92Jing Wang [41] [56]
93Yamin Wang [8]
94Zhikun Wang [44] [47]
95Jie Wu [27] [45]
96Ke-qin Wu [35]
97Xiang-Gen Xia [20] [21] [40]
98Hui Xiao [56] [57]
99Tongchun Xiao [47]
100Yuhong Xiong [15] [16]
101Jianzhen Xu [31]
102Yunjie Xu [54]
103Songyuan Yan [33]
104Baofeng Yang [31] [56]
105Da Yang [31] [41] [56] [57]
106Jun Yang [42]
107Chen Yao [41] [56] [57]
108Qingrui Yin [15] [16]
109Bo Zhang [29] [37] [38] [43] [44] [47] [48] [49] [53]
110Lin Zhang [57]
111Min Zhang [41] [56] [57]
112Shihai Zhang [32]
113Yuping Zhao [36]
114Wujie Zheng [47]
115Jing Zhu [31] [41] [56] [57]
116Liehuang Zhu [17]
117Weiping Zhu [28]
118Yunshan Zhu [6]
119Bin Zong [4]
120Jinfeng Zou [57]

Colors in the list of coauthors

Copyright © Fri Oct 3 18:41:27 2008 by Michael Ley (ley@uni-trier.de)