Wei Dong

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

51EEWei Dong, Baogang Xu: A note on list improper coloring of plane graphs. Discrete Applied Mathematics 157(2): 433-436 (2009)
50EEWei 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)
49EEWei Dong, Zhe Wang, Moses Charikar, Kai Li: Efficiently matching sets of features with random histograms. ACM Multimedia 2008: 179-188
48EEWei Dong, Jiandong Li, Zhuo Lu: Parameter Estimation for MIMO Systems with Multiple Frequency Offsets. AINA 2008: 480-485
47EEWei Dong, Martin Leucker, Christian Schallhart: Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396
46EEWei Dong, Zhe Wang, William Josephson, Moses Charikar, Kai Li: Modeling LSH for performance tuning. CIKM 2008: 669-678
45EEWei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian: Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC 2008: 490-491
44EEWei Dong, Peng Li, Xiaoji Ye: WavePipe: parallel transient simulation of analog and digital circuits on multi-core shared-memory machines. DAC 2008: 238-243
43EEWei 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
42EEWei Dong, Peng Li, Garng M. Huang: SRAM dynamic stability: theory, variability and analysis. ICCAD 2008: 378-385
41EEXiaoji Ye, Wei Dong, Peng Li, Sani R. Nassif: MAPS: multi-algorithm parallel circuit simulation. ICCAD 2008: 73-78
40EEKwang 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
39EEWei 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
38EEJunmin Ye, Junjie Wang, Wei Dong, Zhichang Qi: Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. ICYCS 2008: 1777-1782
37EEJunmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi: Design of Some Artificial Immune Operators in Software Test Cases Generation. ICYCS 2008: 2302-2307
36EEJunmin Ye, Wei Dong, Zhichang Qi: A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. ICYCS 2008: 2325-2329
35EEWei Dong, Chun Chen, Jiajun Bu, Kougen Zheng, Xiaofan Wu, Guodong Teng: A Dynamic TimeSynchronization Scheme for Multihop Sensor Networks. ICYCS 2008: 582-587
34EEXiaodong Ma, Ji Wang, Wei Dong: Computing Must and May Alias to Detect Null Pointer Dereference. ISoLA 2008: 252-261
33EEKim 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
32EEWei Dong, Moses Charikar, Kai Li: Asymmetric distance estimation with sketches for similarity search in high-dimensional spaces. SIGIR 2008: 123-130
31EEWei Dong, Jiandong Li, Zhuo Lu: Joint Frequency Offset and Channel Estimation for MIMO Systems Based on Particle Swarm Optimization. VTC Spring 2008: 862-866
30EEXiaodong Ma, Ji Wang, Wei Dong: Shape Analysis by Refining on Abstract Evaluation Path. Electr. Notes Theor. Comput. Sci. 207: 137-151 (2008)
29EEGuo 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)
28EELinyan 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)
27EEPeng He, Jiandong Li, Wei Dong: A Novel Distributed Topology Control Algorithm for Ad Hoc Networks. AINA Workshops (2) 2007: 653-658
26EEWei Dong, Ji Wang, Zhichang Qi, Ni Rong: Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293
25EEWei Dong, Peng Li: Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning. DAC 2007: 436-439
24EEGuo Yu, Wei Dong, Zhuo Feng, Peng Li: A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis. DAC 2007: 829-834
23EEWei Dong, Zhuo Feng, Peng Li: Efficient VCO phase macromodel generation considering statistical parametric variations. ICCAD 2007: 874-878
22EEWanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
21EEGuo 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
20EEZhe Wang, Wei Dong, William Josephson, Qin Lv, Moses Charikar, Kai Li: Sizing sketches: a rank-based analysis for similarity search. SIGMETRICS 2007: 157-168
19EEWei 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)
18EEWei 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)
17EEWing 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)
16EEZhenbang 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
15EEWei 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
13EEWing Lok Yeung, Ji Wang, Wei Dong: Verifying Choreographic Descriptions of Web Services Based on CSP. SCW 2006: 97-104
12EEZhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi: Towards Formal Interfaces for Web Services with Transactions. SITIS 2006: 292-304
11EEChangci 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)
10EEMengluo 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)
9EECuiping 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)
8EEWing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Improvements Towards Formalizing UML State Diagrams in CSP. APSEC 2005: 176-184
7EEWei 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
5EEShuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365
4EEWei 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)
3EEWanjun Zhang, Yi Zeng, Wei Dong, Guoqing Li, Dingsheng Liu: Standardization of Page Service Using XSLT Based on Grid System. GCC (1) 2003: 1034-1038
2EEJi Wang, Wei Dong, Zhichang Qi: Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446
1EEWei Dong, Ji Wang, Xuan Qi, Zhichang Qi: Model Checking UML Statecharts. APSEC 2001: 363-370

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)