Wei Dong

	2009
58		Wei Dong, Peng Li: Parallelizable stable explicit numerical integration for efficient circuit simulation. DAC 2009: 382-385
57		Wei Dong, Chun Chen, Xue Liu, Jiajun Bu, Yunhao Liu: Performance of Bulk Data Dissemination in Wireless Sensor Networks. DCOSS 2009: 356-369
56		Wei Dong, Rubin Wang, Zhikang Zhang: Simulation Study of CPG Model: Exploring of a Certain Characteristics of Rhythm of Gait Movement on the Intelligent Creature. ISNN (1) 2009: 138-148
55		Wei Dong, Jiandong Li, Zhuo Lu: Joint timing error, frequency offset and channel estimation for MIMO systems. IWCMC 2009: 878-882
54		Wei Dong, Baogang Xu: A note on list improper coloring of plane graphs. Discrete Applied Mathematics 157(2): 433-436 (2009)
53		Wei Dong, Peng Li: A Parallel Harmonic-Balance Approach to Steady-State and Envelope-Following Simulation of Driven and Autonomous Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 28(4): 490-501 (2009)
52		Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu: Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. J. Comput. Sci. Technol. 24(2): 347-356 (2009)
	2008
51		Wei Dong, Zhe Wang, Moses Charikar, Kai Li: Efficiently matching sets of features with random histograms. ACM Multimedia 2008: 179-188
50		Wei Dong, Jiandong Li, Zhuo Lu: Parameter Estimation for MIMO Systems with Multiple Frequency Offsets. AINA 2008: 480-485
49		Wei Dong, Martin Leucker, Christian Schallhart: Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396
48		Wei Dong, Zhe Wang, William Josephson, Moses Charikar, Kai Li: Modeling LSH for performance tuning. CIKM 2008: 669-678
47		Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian: Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC 2008: 490-491
46		Wei Dong, Peng Li, Xiaoji Ye: WavePipe: parallel transient simulation of analog and digital circuits on multi-core shared-memory machines. DAC 2008: 238-243
45		Wei Dong, Chun Chen, Xue Liu, Kougen Zheng, Rui Chu, Jiajun Bu: FIT: A Flexible, LIght-Weight, and Real-Time Scheduling System for Wireless Sensor Platforms. DCOSS 2008: 126-139
44		Wei Dong, Peng Li, Garng M. Huang: SRAM dynamic stability: theory, variability and analysis. ICCAD 2008: 378-385
43		Xiaoji Ye, Wei Dong, Peng Li, Sani R. Nassif: MAPS: multi-algorithm parallel circuit simulation. ICCAD 2008: 73-78
42		Kwang Yong Lim, F. Young Koon Goh, Wei Dong, Kim Doang Nguyen, I-Ming Chen, Song Huat Yeo, Henry Been-Lirn Duh, Chung Gon Kim: A wearable, self-calibrating, wireless sensor network for body motion processing. ICRA 2008: 1017-1022
41		Wei Dong, Kwang Yong Lim, Young Koon Goh, Kim Doang Nguyen, I-Ming Chen, Song Huat Yeo, Henry Been-Lirn Duh: A low-cost motion tracker and its error analysis. ICRA 2008: 311-316
40		Junmin Ye, Junjie Wang, Wei Dong, Zhichang Qi: Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. ICYCS 2008: 1777-1782
39		Junmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi: Design of Some Artificial Immune Operators in Software Test Cases Generation. ICYCS 2008: 2302-2307
38		Junmin Ye, Wei Dong, Zhichang Qi: A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. ICYCS 2008: 2325-2329
37		Wei Dong, Chun Chen, Jiajun Bu, Kougen Zheng, Xiaofan Wu, Guodong Teng: A Dynamic TimeSynchronization Scheme for Multihop Sensor Networks. ICYCS 2008: 582-587
36		Xiaodong Ma, Ji Wang, Wei Dong: Computing Must and May Alias to Detect Null Pointer Dereference. ISoLA 2008: 252-261
35		Kim Doang Nguyen, Kwang Yong Lim, Wei Dong, Young Koon Goh, I-Ming Chen, Song Huat Yeo, Henry Been-Lirn Duh, Kang Li, Chen Hao Su: Toward a Dynamic Model of Robotic Marionettes. RAM 2008: 488-493
34		Wei Dong, Moses Charikar, Kai Li: Asymmetric distance estimation with sketches for similarity search in high-dimensional spaces. SIGIR 2008: 123-130
33		Wei Dong, Jiandong Li, Zhuo Lu: Joint Frequency Offset and Channel Estimation for MIMO Systems Based on Particle Swarm Optimization. VTC Spring 2008: 862-866
32		Wei Dong, Litao Yang, Kailin Shen, Banghyun Kim, Gijs A. Kleter, Hans J. P. Marvin, Rong Guo, Wanqi Liang, Dabing Zhang: GMDD: a database of GMO detection methods. BMC Bioinformatics 9: (2008)
31		Dong Zhao, Wei Dong, Deyi Xue: A Hybrid Model for Optimal Concurrent Design of Solid Oxide Fuel Cell System Considering Functional Performance and Production Cost. Concurrent Engineering: R&A 16(2): 161-172 (2008)
30		Xiaodong Ma, Ji Wang, Wei Dong: Shape Analysis by Refining on Abstract Evaluation Path. Electr. Notes Theor. Comput. Sci. 207: 137-151 (2008)
29		Guo Yu, Wei Dong, Zhuo Feng, Peng Li: Statistical Static Timing Analysis Considering Process Variation Model Uncertainty. IEEE Trans. on CAD of Integrated Circuits and Systems 27(10): 1880-1890 (2008)
28		Linyan Tu, Wei Dong, Yindong Ji, Xinya Sun: A Meta-model Based Modeling Method for Geographic Information Model in CTCS Hardware-in-the-loop Simulation System. JCP 3(12): 19-26 (2008)
	2007
27		Peng He, Jiandong Li, Wei Dong: A Novel Distributed Topology Control Algorithm for Ad Hoc Networks. AINA Workshops (2) 2007: 653-658
26		Wei Dong, Ji Wang, Zhichang Qi, Ni Rong: Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293
25		Wei Dong, Peng Li: Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning. DAC 2007: 436-439
24		Guo Yu, Wei Dong, Zhuo Feng, Peng Li: A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis. DAC 2007: 829-834
23		Wei Dong, Zhuo Feng, Peng Li: Efficient VCO phase macromodel generation considering statistical parametric variations. ICCAD 2007: 874-878
22		Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
21		Guo Yu, Peng Li, Wei Dong: Achieving Low-Cost Linearity Test and Diagnosis of Sigma Delta ADCs via Frequency-Domain Nonlinear Analysis and Macromodeling. ISQED 2007: 513-518
20		Zhe Wang, Wei Dong, William Josephson, Qin Lv, Moses Charikar, Kai Li: Sizing sketches: a rank-based analysis for similarity search. SIGMETRICS 2007: 157-168
19		Wei Dong, Zhenbang Chen, Ji Wang: A Contract-based Approach to Specifying and Verifying Safety Critical Systems. Electr. Notes Theor. Comput. Sci. 176(2): 89-103 (2007)
18		Wei Dong, Peng Li: Hierarchical Harmonic-Balance Methods for Frequency-Domain Analog-Circuit Analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 26(12): 2089-2101 (2007)
17		Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. 65(1): 14-29 (2007)
	2006
16		Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung: An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) 2006: 139-144
15		Wei Dong, Yang Shou-bao, Guo Lei-tao: Object Reputation Based Anti-Pollution P2P File Sharing System. ICDIM 2006: 538-543
14		Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS 2006: 97-107
13		Wing Lok Yeung, Ji Wang, Wei Dong: Verifying Choreographic Descriptions of Web Services Based on CSP. SCW 2006: 97-104
12		Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi: Towards Formal Interfaces for Web Services with Transactions. SITIS 2006: 292-304
11		Changci Pang, Wei Dong, Zhongli Wei: Green's function and positive solutions of nth order m-point boundary value problem. Applied Mathematics and Computation 182(2): 1231-1239 (2006)
10		Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi: An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. Journal of Computer Research and Development 43(11): 2020-2026 (2006)
9		Cuiping Jia, Wei Dong, Caixia Liu, Xindong Zhang, Jingran Zhou, Zhicheng Zhong, Hailin Xue, Huidong Zang, Baokun Xu, Weiyou Chen: Convex corners undercutting and rhombus compensation in KOH with and without IPA solution on (110) silicon. Microelectronics Journal 37(11): 1297-1301 (2006)
	2005
8		Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Improvements Towards Formalizing UML State Diagrams in CSP. APSEC 2005: 176-184
7		Wei Dong, Ji Wang: Contract-Based Formal Specification of Safety Critical Systems. COMPSAC (2) 2005: 7-8
6		Wei Dong, Zhijiang Du, Lining Sun: Conceptional Design and Kinematics Modeling of a Wide-Range Flexure Hinge-Based Parallel Manipulator. ICRA 2005: 4031-4036
	2004
5		Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365
4		Wei Dong, Xindong Zhang, Caixia Liu, Ming Li, Baokun Xu, Weiyou Chen: Mechanism for convex corner undercutting of (110) silicon in KOH. Microelectronics Journal 35(5): 417-419 (2004)
	2003
3		Wanjun Zhang, Yi Zeng, Wei Dong, Guoqing Li, Dingsheng Liu: Standardization of Page Service Using XSLT Based on Grid System. GCC (1) 2003: 1034-1038
	2002
2		Ji Wang, Wei Dong, Zhichang Qi: Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446
	2001
1		Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi: Model Checking UML Statecharts. APSEC 2001: 363-370

Coauthor Index

1	Jiajun Bu	[37] [45] [57]
2	Moses Charikar	[20] [34] [48] [51]
3	Chun Chen	[37] [45] [57]
4	Huowang Chen	[22]
5	I-Ming Chen	[35] [41] [42]
6	Weiyou Chen	[4] [9]
7	Zhenbang Chen	[12] [16] [19]
8	Rui Chu	[45]
9	Zhijiang Du	[6]
10	Henry Been-Lirn Duh	[35] [41] [42]
11	Zhuo Feng	[23] [24] [29]
12	F. Young Koon Goh	[42]
13	Young Koon Goh	[35] [41]
14	Rong Guo	[32]
15	Peng He	[27]
16	Garng M. Huang	[44]
17	Mengluo Ji	[10]
18	Yindong Ji	[28]
19	Cuiping Jia	[9]
20	William K. Josephson (William Josephson)	[20] [48]
21	Banghyun Kim	[32]
22	Chung Gon Kim	[42]
23	Gijs A. Kleter	[32]
24	Guo Lei-tao	[15]
25	Martin Leucker	[49]
26	Karl R. P. H. Leung	[8] [14] [17]
27	Guoqing Li	[3]
28	Jiandong Li	[27] [33] [50] [55]
29	Kai Li	[20] [34] [48] [51]
30	Kang Li	[35]
31	Mengjun Li	[10]
32	Ming Li	[4]
33	Peng Li	[18] [21] [23] [24] [25] [29] [43] [44] [46] [53] [58]
34	Shuhao Li	[5]
35	Wanqi Liang	[32]
36	Kwang Yong Lim	[35] [41] [42]
37	Caixia Liu	[4] [9]
38	Dingsheng Liu	[3]
39	Wanwei Liu	[22] [52]
40	Xue Liu	[45] [57]
41	Yunhao Liu	[57]
42	Zhuo Lu	[33] [50] [55]
43	Qin Lv	[20]
44	Xiaodong Ma	[30] [36] [52]
45	Hans J. P. Marvin	[32]
46	Sani R. Nassif	[43]
47	Kim Doang Nguyen	[35] [41] [42]
48	Changci Pang	[11]
49	Xuan Qi	[1]
50	Zhichang Qi (Zhi-Chang Qi)	[1] [2] [5] [10] [12] [16] [26] [38] [39] [40]
51	Ni Rong	[26]
52	Christian Schallhart	[49]
53	Kailin Shen	[32]
54	Yang Shou-bao	[15]
55	Chen Hao Su	[35]
56	Lining Sun	[6]
57	Xinya Sun	[28]
58	Guodong Teng	[37]
59	Jie Tian	[47]
60	Linyan Tu	[28]
61	Huaimin Wang	[10]
62	Ji Wang	[1] [2] [5] [7] [8] [12] [13] [14] [16] [17] [19] [22] [26] [30] [36] [47] [52]
63	Junjie Wang	[40]
64	Rubin Wang	[56]
65	Zhe Wang	[20] [48] [51]
66	Zhongli Wei	[11]
67	Xiaofan Wu	[37]
68	Baogang Xu	[54]
69	Baokun Xu	[4] [9]
70	Hou-Feng Xu	[52]
71	Deyi Xue	[31]
72	Hailin Xue	[9]
73	Litao Yang	[32]
74	Junmin Ye	[38] [39] [40]
75	Xiaoji Ye	[43] [46]
76	Song Huat Yeo	[35] [41] [42]
77	Wing Lok Yeung	[8] [13] [14] [16] [17]
78	Guo Yu	[21] [24] [29]
79	Huidong Zang	[9]
80	Yi Zeng	[3]
81	Zemei Zhan	[39]
82	Dabing Zhang	[32]
83	Wanjun Zhang	[3]
84	Xian Zhang	[47]
85	Xindong Zhang	[4] [9]
86	Zhenfang Zhang	[39]
87	Zhikang Zhang	[56]
88	Changzhi Zhao	[47]
89	Dong Zhao	[31]
90	Kougen Zheng	[37] [45]
91	Zhicheng Zhong	[9]
92	Jingran Zhou	[9]

Colors in the list of coauthors