Dong Wang

2008
54	EE	Xuan Gu, Dong Wang, Huanye Sheng: RFID-Based Locating Management. AINA Workshops 2008: 18-23
53	EE	Da 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)
52	EE	Yupo 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)
2007
51	EE	Dong Wang, Xirong Li, Jianmin Li, Bo Zhang: The importance of query-concept-mapping for automatic video retrieval. ACM Multimedia 2007: 285-288
50	EE	Xing Fang, Dong Wang, Shuming Chen: Exploiting Thread-Level Parallelism of Irregular LDPC Decoder with Simultaneous Multi-threading Technique. APPT 2007: 650-657
49	EE	Dong 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
48	EE	Nayef A. Alsindi, Dagnachew Birru, Dong Wang: Ultra-Wideband Channel Measurement Characterization for Wireless Magnetic Resonance Imaging Applications. CISS 2007: 135-140
47	EE	Xiaobing Liu, Dong Wang, Jianmin Li, Bo Zhang: The feature and spatial covariant kernel: adding implicit spatial constraints to histogram. CIVR 2007: 565-572
46	EE	Xirong Li, Dong Wang, Jianmin Li, Bo Zhang: Video search in concept subspace: a text-like paradigm. CIVR 2007: 603-610
45	EE	Jianmin Li, Zhikun Wang, Xirong Li, Tongchun Xiao, Dong Wang, Wujie Zheng, Bo Zhang: Video retrieval with multi-modal features. CIVR 2007: 652
44	EE	Shuwei Sun, Dong Wang, Shuming Chen: A Highly Efficient Parallel Algorithm for H.264 Encoder Based on Macro-Block Region Partition. HPCC 2007: 577-585
43	EE	Dong Wang, Xiaobing Liu, Linjie Luo, Jianmin Li, Bo Zhang: Video diver: generic video indexing with diverse features. Multimedia Information Retrieval 2007: 61-70
42	EE	Chun-Ting Chou, Jun Yang, Dong Wang: Cooperative MAC Protocol with Automatic Relay Selection in Distributed Wireless Networks. PerCom Workshops 2007: 526-531
41	EE	Zheng 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)
40	EE	Dong 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
39	EE	Dong 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
38	EE	Dong Wang, Jianmin Li, Bo Zhang: Relay Boost Fusion for Learning Rare Concepts in Multimedia. CIVR 2006: 271-280
37	EE	Dong Wang, Jianmin Li, Bo Zhang: Multiple-Instance Learning Via Random Walk. ECML 2006: 473-484
36	EE	Dong Wang, Zhimin Liu, Yuping Zhao, Yan Luo: A Novel Unicast based Multiplexing Scheme to Guarantee the QoS of VoWLAN. GLOBECOM 2006
35	EE	Yong 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
34	EE	Chen Pang, Mingli Song, Jiajun Bu, Chun Chen, Dong Wang: Painterly Rendering with Vector Field Based Feature Extraction. ICAT 2006: 960-968
33	EE	MingChu Li, Yongrui Cui, Yuan Tian, Dong Wang, Songyuan Yan: A New Architecture of Grid Security System Construction. ICPP Workshops 2006: 100-108
32	EE	Shihai 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
31	EE	Dong 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
30	EE	Dong Wang, Jeremy R. Levitt: Automatic assume guarantee analysis for assertion-based formal verification. ASP-DAC 2005: 561-566
29	EE	Le Chen, Dayong Ding, Dong Wang, Fuzong Lin, Bo Zhang: AP-Based Borda Voting Method for Feature Extraction in TRECVID-2004. ECIR 2005: 568-570
28	EE	Weiping Zhu, Dong Wang, Huanye Sheng: Mobile RFID Technology for Improving M-Commerce. ICEBE 2005: 118-126
27	EE	Jie Wu, Dong Wang, Huanye Sheng: Public RFID Service Platform Based on ASP Model. ICEBE 2005: 553-557
26	EE	Dong Wang, Cedric Nishan Canagarajah, Dimitris Agrafiotis, David R. Bull: Error concealment for slice group based multiple description video coding. ICIP (1) 2005: 769-772
25	EE	Dong Wang, Cedric Nishan Canagarajah, David R. Bull: Slice group based multiple description video coding with three motion compensation loops. ISCAS (2) 2005: 960-963
24	EE	Dong Wang, Cedric Nishan Canagarajah, David R. Bull: S frame design for multiple description video coding. ISCAS (3) 2005: 2719-2722
23	EE	Dong 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
22	EE	Zhiqiang Liu, Dong Wang, Huanye Sheng: describer: Service-Oriented Multiagent Architecture for Mobile Environment. PDCAT 2005: 566-568
21	EE	Dong 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)
20	EE	Dong 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
17	EE	LieHuang Zhu, Yuanda Cao, Dong Wang: Digital signature of multicast streams secure against adaptive chosen message attack. Computers & Security 23(3): 229-240 (2004)
16	EE	Zhifu Liu, Yongxiang Li, Yuhong Xiong, Dong Wang, Qingrui Yin: Electroluminescence of SrAl2O4: Eu2+ phosphor. Microelectronics Journal 35(4): 375-377 (2004)
15	EE	Yiqing 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
14	EE	Edmund 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
12	EE	Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang: High Level Verification of Control Intensive Systems Using Predicate Abstraction. MEMOCODE 2003: 55-64
11	EE	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang: SAT Based Predicate Abstraction for Hardware Verification. SAT 2003: 78-92
10	EE	Dong Wang, Ruibing Hao, David Lee: Fault detection in Rule-based Software systems. Information & Software Technology 45(12): 865-871 (2003)
2002
9	EE	Pankaj 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
8	EE	Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang: Extending WSDL to Facilitate Web Services Testing. HASE 2002: 171-172
2001
7	EE	Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang: Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME 2001: 293-309
6	EE	Dong 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
5	EE	Pankaj 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-
4	EE	Yuan 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
3	EE	Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang: Executable Protocol Specification in ESL. FMCAD 2000: 197-216
1999
2	EE	Edmund 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

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

Colors in the list of coauthors