Wei Dong

2008
27	EE	Wei Dong, Jiandong Li, Zhuo Lu: Parameter Estimation for MIMO Systems with Multiple Frequency Offsets. AINA 2008: 480-485
2007
26	EE	Peng He, Jiandong Li, Wei Dong: A Novel Distributed Topology Control Algorithm for Ad Hoc Networks. AINA Workshops (2) 2007: 653-658
25	EE	Wei Dong, Ji Wang, Zhichang Qi, Ni Rong: Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293
24	EE	Wei Dong, Peng Li: Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning. DAC 2007: 436-439
23	EE	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
22	EE	Wei Dong, Zhuo Feng, Peng Li: Efficient VCO phase macromodel generation considering statistical parametric variations. ICCAD 2007: 874-878
21	EE	Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
20	EE	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
19	EE	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
18	EE	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)
17	EE	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)
16	EE	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
15	EE	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
14	EE	Wei Dong, Yang Shou-bao, Guo Lei-tao: Object Reputation Based Anti-Pollution P2P File Sharing System. ICDIM 2006: 538-543
13		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
12	EE	W. L. Yeung, Ji Wang, Wei Dong: Verifying Choreographic Descriptions of Web Services Based on CSP. SCW 2006: 97-104
11	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365
4	EE	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	EE	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	EE	Ji Wang, Wei Dong, Zhichang Qi: Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446
2001
1	EE	Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi: Model Checking UML Statecharts. APSEC 2001: 363-370

Coauthor Index

1	Moses Charikar	[19]
2	Huowang Chen	[21]
3	Weiyou Chen	[4] [9]
4	Zhenbang Chen	[15] [18]
5	Zhijiang Du	[6]
6	Zhuo Feng	[22] [23]
7	Peng He	[26]
8	Mengluo Ji	[10]
9	Cuiping Jia	[9]
10	William Josephson	[19]
11	Guo Lei-tao	[14]
12	Karl R. P. H. Leung	[8] [13] [16]
13	Guoqing Li	[3]
14	Jiandong Li	[26] [27]
15	Kai Li	[19]
16	Mengjun Li	[10]
17	Ming Li	[4]
18	Peng Li	[17] [20] [22] [23] [24]
19	Shuhao Li	[5]
20	Caixia Liu	[4] [9]
21	Dingsheng Liu	[3]
22	Wanwei Liu	[21]
23	Zhuo Lu	[27]
24	Qin Lv	[19]
25	Changci Pang	[11]
26	Xuan Qi	[1]
27	Zhichang Qi (Zhi-Chang Qi)	[1] [2] [5] [10] [15] [25]
28	Ni Rong	[25]
29	Yang Shou-bao	[14]
30	Lining Sun	[6]
31	Huaimin Wang	[10]
32	Ji Wang	[1] [2] [5] [7] [8] [12] [13] [15] [16] [18] [21] [25]
33	Zhe Wang	[19]
34	Zhongli Wei	[11]
35	Baokun Xu	[4] [9]
36	Hailin Xue	[9]
37	W. L. Yeung	[12]
38	Wing Lok Yeung	[8] [13] [15] [16]
39	Guo Yu	[20] [23]
40	Huidong Zang	[9]
41	Yi Zeng	[3]
42	Wanjun Zhang	[3]
43	Xindong Zhang	[4] [9]
44	Zhicheng Zhong	[9]
45	Jingran Zhou	[9]

Colors in the list of coauthors