dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Wei Dong Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Wai-Tat Fu: One piece at a time: why video-based communication is better for negotiation and conflict resolution. CSCW 2012: 167-176
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXian Zhang, Martin Leucker, Wei Dong: Runtime Verification with Predictive Semantics. NASA Formal Methods 2012: 418-432
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJiafa Xu, Zhongli Wei, Wei Dong: Uniqueness of positive solutions for a class of fractional boundary value problems. Appl. Math. Lett. 25(3): 590-593 (2012)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong: A note on entire choosability of plane graphs. Discrete Applied Mathematics 160(7-8): 1257-1261 (2012)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWai-Tat Fu, Wei Dong: Collaborative Indexing and Knowledge Exploration: A Social Learning Model. IEEE Intelligent Systems 27(1): 39-46 (2012)
2011
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeidong Wang, Dongmei Wu, Wei Dong, Zhijiang Du, Lining Sun: PET/CT/MRI image fusion based on mobile robot. BMEI 2011: 439-443
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Guifen Chen, Jian Jiang, Guowei Wang: Research and Application of Space-Time Evolution of Soil Fertility Data Mining Based on Visualization. CCTA (2) 2011: 359-367
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong: Cultural difference in image searching. CHI Extended Abstracts 2011: 935-940
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Gao, Jiajun Bu, Wei Dong, Chun Chen, Lei Rao, Xue Liu: Exploiting concurrency for efficient dissemination in Wireless Sensor Networks. DCOSS 2011: 1-8
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaoting Li, Xiaokai Gong, Wei Dong, Wenliang Li: The cooling tower fan system fault monitoring based on the trunk of RS485. EMEIT 2011: 3214-3216
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Fred Douglis, Kai Li, R. Hugo Patterson, Sazzala Reddy, Philip Shilane: Tradeoffs in Scalable Data Routing for Deduplication Clusters. FAST 2011: 15-29
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Yunhao Liu, Chao Wang, Xue Liu, Chun Chen, Jiajun Bu: Link quality aware code dissemination in wireless sensor networks. ICNP 2011: 89-98
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Vacha Dave, Lili Qiu, Yin Zhang: Secure friend discovery in mobile social networks. INFOCOM 2011: 1647-1655
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Yunhao Liu, Chun Chen, Jiajun Bu, Chao Huang: ℛ2: Incremental ℛeprogramming using ℛelocatable code in networked embedded systems. INFOCOM 2011: 376-380
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJiliang Wang, Yunhao Liu, Mo Li, Wei Dong, Yuan He: QoF: Towards comprehensive path quality measurement in wireless sensor networks. INFOCOM 2011: 775-783
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunhao Liu, Yuan He, Mo Li, Jiliang Wang, Kebin Liu, Lufeng Mo, Wei Dong, Zheng Yang, Min Xi, Jizhong Zhao, Xiang-Yang Li: Does wireless sensor network scale? A measurement study on GreenOrbs. INFOCOM 2011: 873-881
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeidong Wang, Chun Xie, Dongmei Wu, Wei Dong, Zhijiang Du: The kinematic model, motion planning and analysis for obstacle negotiation capability of the composite six-wheeled-legged robot. ROBIO 2011: 1391-1396
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Junfeng Wang, Juan Zhang: A Zone-Diffusion Based Routing Protocol for LEO Satellite Networks. WASA 2011: 400-409
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Gao, Chun Chen, Jiajun Bu, Wei Dong, Daojing He: ICAD: Indirect correlation based anomaly detection in dynamic WSNs. WCNC 2011: 647-652
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDat Dac Hoang, Hye-Young Paik, Wei Dong: MashSheet: Mashups in Your Spreadsheet. WISE 2011: 332-333
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Moses Charikar, Kai Li: Efficient k-nearest neighbor graph construction for generic similarity measures. WWW 2011: 577-586
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Peng Li: Parallel circuit simulation with adaptively controlled projective integration. ACM Trans. Design Autom. Electr. Syst. 16(4): 44 (2011)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Chun Chen, Xue Liu, Yunhao Liu, Jiajun Bu, Kougen Zheng: SenSpire OS: A Predictable, Flexible, and Efficient Operating System for Wireless Sensor Networks. IEEE Trans. Computers 60(12): 1788-1801 (2011)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Chun Chen, Xue Liu, Jiajun Bu, Yi Gao: A Lightweight and Density-Aware Reprogramming Protocol for Wireless Sensor Networks. IEEE Trans. Mob. Comput. 10(10): 1403-1415 (2011)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoji Ye, Wei Dong, Peng Li, Sani R. Nassif: Hierarchical Multialgorithm Parallel Circuit Simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 30(1): 45-58 (2011)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuodong Teng, Kougen Zheng, Wei Dong: MA-MCL: Mobile-Assisted Monte Carlo Localization for Wireless Sensor Networks. IJDSN 2011: (2011)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Junfeng Wang, Minhuan Huang, Jian Tang, Hongxia Zhou: ATCS: An adaptive TCP coding scheme for satellite IP networks. TIIS 5(5): 1013-1027 (2011)
2010
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Wai-Tat Fu: Cultural difference in image tagging. CHI 2010: 981-984
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuai Wang, Yindong Ji, Wei Dong, Shiyuan Yang: A New Formal Test Method for Networked Software Integration Testing. ICCSA (2) 2010: 463-474
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuijie Fan, Wei Dong, Yandong Tang: Globally Optimal and Region Scalable CV Model on Automatic Target Segmentation. ICIRA (1) 2010: 600-608
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Xue Liu, Chun Chen, Yuan He, Gong Chen, Yunhao Liu, Jiajun Bu: DPLC: Dynamic Packet Length Control in Wireless Sensor Networks. INFOCOM 2010: 2366-2374
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Zhu, Wei Dong, Zhefu Jiang, Xiaogang Shi, Zhen Xiao, Xiaoming Li: Improving the performance of hypervisor-based fault tolerance. IPDPS 2010: 1-10
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, David Rostoucher, Michaël Gauthier: Kinematics parameters estimation for an AFM/robot integrated micro-force measurement system. IROS 2010: 6143-6148
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Wai-Tat Fu: Toward a cultural-sensitive image tagging interface. IUI 2010: 313-316
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChangzhi Zhao, Wei Dong, Zhichang Qi: Active Monitoring for Control Systems under Anticipatory Semantics. QSIC 2010: 318-325
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Yunhao Liu, Xiaofan Wu, Lin Gu, Chun Chen: Elon: enabling efficient and long-term reprogramming for wireless sensor networks. SIGMETRICS 2010: 49-60
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWai-Tat Fu, Wei Dong: Facilitating Knowledge Exploration in Folksonomies: Expertise Ranking by Link and Semantic Structures. SocialCom/PASSAT 2010: 459-464
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMao Ye, Wei Dong, Yindong Ji, Shuai Wang: A new concurrent mechanism for distributed hardware-in-the-loop simulation test system. SpringSim 2010: 160
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuqing Wang, Wei Dong, Yindong Ji: Logic deduction agent based distributed parallel test platform on hardware-in-the-loop simulation system. SpringSim 2010: 54
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Xi-bin Zhao, Min Xi: Page Size Optimization for Code Dissemination in Wireless Sensor Networks. WASA 2010: 136-145
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Zhongli Wei, Changci Pang: A note on positive non-constant steady-state solutions to a reaction-diffusion model. Applied Mathematics and Computation 217(8): 4234-4238 (2010)
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Yang Wang, Hua Li, Chang Nian Zhang: A Novel Watermarking Scheme for Blind Objective Image Quality Assessment. I. J. Comput. Appl. 17(1): 25-33 (2010)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Chun Chen, Xue Liu, Jiajun Bu: Providing OS Support for Wireless Sensor Networks: Challenges and Approaches. IEEE Communications Surveys and Tutorials 12(4): 519-530 (2010)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Chun Chen, Xue Liu, Kougen Zheng, Rui Chu, Jiajun Bu: FIT: A Flexible, Lightweight, and Real-Time Scheduling System for Wireless Sensor Platforms. IEEE Trans. Parallel Distrib. Syst. 21(1): 126-138 (2010)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Baogang Xu: Some results on acyclic edge coloring of plane graphs. Inf. Process. Lett. 110(20): 887-892 (2010)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanjiang Luo, Zhongwen Guo, Wei Dong, Feng Hong, Yiyang Zhao: LDB: Localization with Directional Beacons for Sparse 3D Underwater Acoustic Sensor Networks. JNW 5(1): 28-38 (2010)
2009
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia Deng, Wei Dong, Richard Socher, Li-Jia Li, Kai Li, Fei-Fei Li: ImageNet: A large-scale hierarchical image database. CVPR 2009: 248-255
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Peng Li: Parallelizable stable explicit numerical integration for efficient circuit simulation. DAC 2009: 382-385
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Chun Chen, Xue Liu, Jiajun Bu, Yunhao Liu: Performance of Bulk Data Dissemination in Wireless Sensor Networks. DCOSS 2009: 356-369
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Peng Li: Final-value ODEs: Stable numerical integration and its application to parallel circuit analysis. ICCAD 2009: 403-409
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuai Wang, Yindong Ji, Wei Dong, Shiyuan Yang: Bridging Test Languages to Reuse Test Information: A Metamodel for Test Information. IRI 2009: 435-436
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Jiandong Li, Zhuo Lu: Joint timing error, frequency offset and channel estimation for MIMO systems. IWCMC 2009: 878-882
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Chun Chen, Xue Liu, Jiajun Bu, Yunhao Liu: Dynamic Linking and Loading in Networked Embedded Systems. MASS 2009: 554-562
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiuming Zhu, Wei Dong, Aloysius K. Mok, Song Han, Jianping Song, Deji Chen, Mark Nixon: A Location-Determination Application in WirelessHART. RTCSA 2009: 263-270
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJiandong Li, Wei Dong, Fusu Wang: Joint Frequency Offset and Channel Estimation in Frequency Selective MIMO Correlated Fading Channels. VTC Spring 2009
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Baogang Xu: A note on list improper coloring of plane graphs. Discrete Applied Mathematics 157(2): 433-436 (2009)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei 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)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi 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)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCuiping Jia, Jingran Zhou, Wei Dong, Weiyou Chen: Design and fabrication of silicon-based 8×8 MEMS optical switch array. Microelectronics Journal 40(1): 83-86 (2009)
2008
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Zhe Wang, Moses Charikar, Kai Li: Efficiently matching sets of features with random histograms. ACM Multimedia 2008: 179-188
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Jiandong Li, Zhuo Lu: Parameter Estimation for MIMO Systems with Multiple Frequency Offsets. AINA 2008: 480-485
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Martin Leucker, Christian Schallhart: Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Zhe Wang, William Josephson, Moses Charikar, Kai Li: Modeling LSH for performance tuning. CIKM 2008: 669-678
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian: Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC 2008: 490-491
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Peng Li, Xiaoji Ye: WavePipe: parallel transient simulation of analog and digital circuits on multi-core shared-memory machines. DAC 2008: 238-243
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Peng Li, Garng M. Huang: SRAM dynamic stability: theory, variability and analysis. ICCAD 2008: 378-385
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoji Ye, Wei Dong, Peng Li, Sani R. Nassif: MAPS: multi-algorithm parallel circuit simulation. ICCAD 2008: 73-78
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKwang 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunmin Ye, Junjie Wang, Wei Dong, Zhichang Qi: Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. ICYCS 2008: 1777-1782
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi: Design of Some Artificial Immune Operators in Software Test Cases Generation. ICYCS 2008: 2302-2307
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunmin Ye, Wei Dong, Zhichang Qi: A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. ICYCS 2008: 2325-2329
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Chun Chen, Jiajun Bu, Kougen Zheng, Xiaofan Wu, Guodong Teng: A Dynamic TimeSynchronization Scheme for Multihop Sensor Networks. ICYCS 2008: 582-587
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaodong Ma, Ji Wang, Wei Dong: Computing Must and May Alias to Detect Null Pointer Dereference. ISoLA 2008: 252-261
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Moses Charikar, Kai Li: Asymmetric distance estimation with sketches for similarity search in high-dimensional spaces. SIGIR 2008: 123-130
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Jiandong Li, Zhuo Lu: Joint Frequency Offset and Channel Estimation for MIMO Systems Based on Particle Swarm Optimization. VTC Spring 2008: 862-866
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei 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)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDong 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)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaodong Ma, Ji Wang, Wei Dong: Shape Analysis by Refining on Abstract Evaluation Path. Electr. Notes Theor. Comput. Sci. 207: 137-151 (2008)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuo 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)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinyan 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeng He, Jiandong Li, Wei Dong: A Novel Distributed Topology Control Algorithm for Ad Hoc Networks. AINA Workshops (2) 2007: 653-658
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Ji Wang, Zhichang Qi, Ni Rong: Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Peng Li: Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning. DAC 2007: 436-439
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuo Yu, Wei Dong, Zhuo Feng, Peng Li: A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis. DAC 2007: 829-834
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Zhuo Feng, Peng Li: Efficient VCO phase macromodel generation considering statistical parametric variations. ICCAD 2007: 874-878
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuo 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Wang, Wei Dong, William Josephson, Qin Lv, Moses Charikar, Kai Li: Sizing sketches: a rank-based analysis for similarity search. SIGMETRICS 2007: 157-168
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei 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)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei 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)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWing 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenbang 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Yang Shou-bao, Guo Lei-tao: Object Reputation Based Anti-Pollution P2P File Sharing System. ICDIM 2006: 538-543
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWing 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWing Lok Yeung, Ji Wang, Wei Dong: Verifying Choreographic Descriptions of Web Services Based on CSP. SCW 2006: 97-104
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi: Towards Formal Interfaces for Web Services with Transactions. SITIS 2006: 292-304
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChangci 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)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMengluo 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)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCuiping 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Improvements Towards Formalizing UML State Diagrams in CSP. APSEC 2005: 176-184
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Ji Wang: Contract-Based Formal Specification of Safety Critical Systems. COMPSAC (2) 2005: 7-8
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Zhijiang Du, Lining Sun: Conceptional Design and Kinematics Modeling of a Wide-Range Flexure Hinge-Based Parallel Manipulator. ICRA 2005: 4031-4036
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Zhijiang Du, Lining Sun: Stiffness influence atlases of a novel flexure hinge-based parallel mechanism with large workspace. IROS 2005: 856-861
2004
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWanjun 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Wang, Wei Dong, Zhichang Qi: Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446
2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Dong, Ji Wang, Xuan Qi, Zhichang Qi: Model Checking UML Statecharts. APSEC 2001: 363-370

Coauthor Index

1Jiajun Bu [38] [46] [59] [64] [69] [70] [82] [89] [90] [94] [99] [101] [104]
2Moses Charikar [21] [35] [49] [52] [92]
3Chun Chen [38] [46] [59] [64] [69] [70] [77] [82] [89] [90] [94] [99] [101] [104]
4Deji Chen [58]
5Gong Chen [82]
6Guifen Chen [106]
7Huowang Chen [23]
8I-Ming Chen [36] [42] [43]
9Weiyou Chen [4] [10] [53]
10Zhenbang Chen [13] [17] [20]
11Rui Chu [46] [69]
12Vacha Dave [100]
13Jia Deng [66]
14Fred Douglis [102]
15Zhijiang Du [6] [7] [96] [107]
16Henry Been-Lirn Duh [36] [42] [43]
17Huijie Fan [83]
18Zhuo Feng [24] [25] [30]
19Wai-Tat Fu [76] [79] [85] [108] [112]
20Yi Gao [89] [94] [104]
21Michaël Gauthier [80]
22F. Young Koon Goh [43]
23Young Koon Goh [36] [42]
24Xiaokai Gong [103]
25Lin Gu [77]
26Rong Guo [33]
27Zhongwen Guo [67]
28Song Han [58]
29Daojing He [94]
30Peng He [28]
31Yuan He [82] [97] [98]
32Dat Dac Hoang [93]
33Feng Hong [67]
34Chao Huang [99]
35Garng M. Huang [45]
36Minhuan Huang [86]
37Mengluo Ji [11]
38Yindong Ji [29] [62] [74] [75] [84]
39Cuiping Jia [10] [53]
40Jian Jiang [106]
41Zhefu Jiang [81]
42William K. Josephson (William Josephson) [21] [49]
43Banghyun Kim [33]
44Chung Gon Kim [43]
45Gijs A. Kleter [33]
46Guo Lei-tao [16]
47Martin Leucker [50] [111]
48Karl R. P. H. Leung [9] [15] [18]
49Guoqing Li [3]
50Hua Li [71]
51Jiandong Li [28] [34] [51] [57] [60]
52Kai Li [21] [35] [49] [52] [66] [92] [102]
53Kang Li [36]
54Li-Jia Li [66]
55Maoting Li [103]
56Mengjun Li [11]
57Ming Li [4]
58Mo Li [97] [98]
59Peng Li [19] [22] [24] [25] [26] [30] [44] [45] [47] [55] [63] [65] [88] [91]
60Shuhao Li [5]
61Wenliang Li [103]
62Xiang-Yang Li [97]
63Xiaoming Li [81]
64Fei-Fei Li [66]
65Wanqi Liang [33]
66Kwang Yong Lim [36] [42] [43]
67Caixia Liu [4] [10]
68Dingsheng Liu [3]
69Kebin Liu [97]
70Wanwei Liu [23] [54]
71Xue Liu [46] [59] [64] [69] [70] [82] [89] [90] [101] [104]
72Yunhao Liu [59] [64] [77] [82] [90] [97] [98] [99] [101]
73Zhuo Lu [34] [51] [60]
74Hanjiang Luo [67]
75Qin Lv [21]
76Xiaodong Ma [31] [37] [54]
77Hans J. P. Marvin [33]
78Lufeng Mo [97]
79Aloysius K. Mok [58]
80Sani R. Nassif [44] [88]
81Kim Doang Nguyen [36] [42] [43]
82Mark Nixon [58]
83Hye-Young Paik (Hye-young Paik, Hye-Young Helen Paik) [93]
84Changci Pang [12] [72]
85R. Hugo Patterson [102]
86Xuan Qi [1]
87Zhichang Qi (Zhi-Chang Qi) [1] [2] [5] [11] [13] [17] [27] [39] [40] [41] [78]
88Lili Qiu [100]
89Lei Rao [104]
90Sazzala Reddy [102]
91Ni Rong [27]
92David Rostoucher [80]
93Christian Schallhart [50]
94Kailin Shen [33]
95Xiaogang Shi [81]
96Philip Shilane [102]
97Yang Shou-bao [16]
98Richard Socher [66]
99Jianping Song [58]
100Chen Hao Su [36]
101Lining Sun [6] [7] [107]
102Xinya Sun [29]
103Jian Tang [86]
104Yandong Tang [83]
105Guodong Teng [38] [87]
106Jie Tian [48]
107Linyan Tu [29]
108Chao Wang [101]
109Fuqing Wang [74]
110Fusu Wang [57]
111Guowei Wang [106]
112Huaimin Wang [11]
113Ji Wang [1] [2] [5] [8] [9] [13] [14] [15] [17] [18] [20] [23] [27] [31] [37] [48] [54]
114Jiliang Wang [97] [98]
115Junfeng Wang [86] [95]
116Junjie Wang [41]
117Rubin Wang [61]
118Shuai Wang [62] [75] [84]
119Weidong Wang [96] [107]
120Zhe Wang [21] [49] [52]
121Yang Wang [71]
122Zhongli Wei [12] [72] [110]
123Dongmei Wu [96] [107]
124Xiaofan Wu [38] [77]
125Min Xi [73] [97]
126Zhen Xiao [81]
127Chun Xie [96]
128Baogang Xu [56] [68]
129Baokun Xu [4] [10]
130Hou-Feng Xu [54]
131Jiafa Xu [110]
132Deyi Xue [32]
133Hailin Xue [10]
134Litao Yang [33]
135Shiyuan Yang [62] [84]
136Zheng Yang [97]
137Junmin Ye [39] [40] [41]
138Mao Ye [75]
139Xiaoji Ye [44] [47] [88]
140Song Huat Yeo [36] [42] [43]
141Wing Lok Yeung [9] [14] [15] [17] [18]
142Guo Yu [22] [25] [30]
143Huidong Zang [10]
144Yi Zeng [3]
145Zemei Zhan [40]
146Chang Nian Zhang (Chang N. Zhang) [71]
147Dabing Zhang [33]
148Juan Zhang [95]
149Wanjun Zhang [3]
150Xian Zhang [48] [111]
151Xindong Zhang [4] [10]
152Yin Zhang [100]
153Zhenfang Zhang [40]
154Zhikang Zhang [61]
155Changzhi Zhao [48] [78]
156Dong Zhao [32]
157Jizhong Zhao [97]
158Xi-bin Zhao [73]
159Yiyang Zhao [67]
160Kougen Zheng [38] [46] [69] [87] [90]
161Zhicheng Zhong [10]
162Hongxia Zhou [86]
163Jingran Zhou [10] [53]
164Jun Zhu [81]
165Xiuming Zhu [58]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page