Zheng Wang

Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu: Modeling and verifying the Ariadne protocol using process algebra. Comput. Sci. Inf. Syst. 10(1): 393-421 (2013)

Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He: A novel requirement analysis approach for periodic control systems. Frontiers of Computer Science 7(2): 214-235 (2013)

Zheng Wang, Shian-Shyong Tseng: Impact Evaluation of DDoS Attacks on DNS Cache Server Using Queuing Model. TIIS 7(4): 895-909 (2013)

Shuai Li, Yangming Li, Zheng Wang: A class of finite-time dual neural networks for solving quadratic programming problems and its k-winners-take-all application. Neural Networks 39: 27-39 (2013)

Shuai Li, Zheng Wang, Yangming Li: Using Laplacian Eigenmap as Heuristic Information to Solve Nonlinear Constraints Defined on a Graph and Its Application in Distributed Range-Free Localization of Wireless Sensor Networks. Neural Processing Letters 37(3): 411-424 (2013)

Zheng Wang, Jie Luo: Fountain Communication using Concatenated Codes. IEEE Transactions on Communications 61(2): 443-454 (2013)

Zhen Zhang, K. T. Chau, Zheng Wang: Analysis and Stabilization of Chaos in the Electric-Vehicle Steering System. IEEE T. Vehicular Technology 62(1): 118-126 (2013)

Murali Krishna Emani, Zheng Wang, Michael F. P. O'Boyle: Smart, adaptive mapping of parallelism in the presence of external workload. CGO 2013: 1-10

Dominik Grewe, Zheng Wang, Michael F. P. O'Boyle: Portable mapping of data parallel programs to OpenCL for heterogeneous systems. CGO 2013: 1-10

Zheng Wang, Kapil Singh, Chao Chen, Anupam Chattopadhyay: Accurate and efficient reliability estimation techniques during ADL-driven embedded processor design. DATE 2013: 547-552

Zheng Wang, Pei-Yuan Chiang, Peyman Nazari, Chun-Cheng Wang, Zhiming Chen, Payam Heydari: A 210GHz fully integrated differential transceiver with fundamental-frequency VCO in 32nm SOI CMOS. ISSCC 2013: 136-137

Francis Caster, Leland Gilreath, Shiji Pan, Zheng Wang, Filippo Capolino, Payam Heydari: A 93-to-113GHz BiCMOS 9-element imaging array receiver utilizing spatial-overlapping pixels with wideband phase and amplitude control. ISSCC 2013: 144-145

Jianlin Cheng, Jilong Li, Zheng Wang, Jesse Eickholt, Xin Deng: The MULTICOM toolbox for protein structure prediction. BMC Bioinformatics 13: 65 (2012)

Yunsheng Liu, Zheng Wang: Maximizing energy utilization routing scheme in wireless sensor networks based on minimum hops algorithm. Computers & Electrical Engineering 38(3): 703-721 (2012)

Zheng Wang, Prabu David, Jatin Srivastava, Stacie Powers, Christine Brady, Jonathan D'Angelo, Jennifer Moreland: Behavioral performance and visual attention in communication multitasking: A comparison between instant messaging and online voice chat. Computers in Human Behavior 28(3): 968-975 (2012)

Zheng Wang, John M. Tchernev, Tyler Solloway: A dynamic longitudinal examination of social media use, needs, and gratifications among college students. Computers in Human Behavior 28(5): 1829-1839 (2012)

Lei Wang, Zheng Wang, Chen Yang, Li Zhang: Evolution and stability of Linux kernels based on complex networks. SCIENCE CHINA Information Sciences 55(9): 1972-1982 (2012)

Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He: The stochastic semantics and verification for periodic control systems. SCIENCE CHINA Information Sciences 55(12): 2675-2693 (2012)

Zoltán Endre Rákossy, Zheng Wang, Anupam Chattopadhyay: High-Level Design Space and Flexibility Exploration for Adaptive, Energy-Efficient WCDMA Channel Estimation Architectures. Int. J. Reconfig. Comp. 2012 (2012)

Zheng Wang: Analysis of Flooding DoS Attacks Utilizing DNS Name Error Queries. TIIS 6(10): 2750-2763 (2012)

Jianlin Cheng, Jesse Eickholt, Zheng Wang, Xin Deng: Recursive protein Modeling: a Divide and Conquer Strategy for protein Structure Prediction and its Case Study in CASP9. J. Bioinformatics and Computational Biology 10(3) (2012)

Sheng Lu, Yuan Z. Zhang, Zheng Wang, Ji H. Shi, Yu B. Chen, Xing M. Xu, Yong Q. Xu: Accuracy and efficacy of thoracic pedicle screws in scoliosis with patient-specific drill template. Med. Biol. Engineering and Computing 50(7): 751-758 (2012)

Zheng Wang, Bin Wu, Dewei Xu, Navid Reza Zargari: A Current-Source-Converter-Based High-Power High-Speed PMSM Drive With 420-Hz Switching Frequency. IEEE Transactions on Industrial Electronics 59(7): 2970-2981 (2012)

Zheng Wang, Luhong Mao, Rong Liu: High-Accuracy Amplitude and Phase Measurements for Low-Level RF Systems. IEEE T. Instrumentation and Measurement 61(4): 912-921 (2012)

Zheng Wang, Jie Luo: Error Performance of Channel Coding in Random-Access Communication. IEEE Transactions on Information Theory 58(6): 3961-3974 (2012)

Gaoxiang Gu, Zheng Wang, Jing Wu: Multi Agent-Based Simulation on Technology Diffusion of China. ACRI 2012: 370-374

Teng Wang, Xingyu Chen, Xiaodong Zhao, Zheng Wang: A fault detection method for wireless sensor networks based on improved LTS regression algorithm. ICC 2012: 7126-7130

Rita Chattopadhyay, Zheng Wang, Wei Fan, Ian Davidson, Sethuraman Panchanathan, Jieping Ye: Batch mode active sampling based on marginal probability distribution matching. KDD 2012: 741-749

Zheng Wang, Jinsong Huang, Barney Tan: Managing Organizational Identity Through Ambidextrous Capabilities: A Dual Level Analysis. PACIS 2012: 133

Jerome R. Busemeyer, Zheng Wang, Jennifer Trueblood: Hierarchical Bayesian Estimation of Quantum Decision Model Parameters. QI 2012: 80-89

Zheng Wang, Haifeng Zhang, Yubo Wang, Dongyan Zhao: UHF RFID reader with separate central frequencies for forward and reverse links. RFID-TA 2012: 212-215

Zheng Wang, Yunjiang Lou, Yue Liu, Zexiang Li: An open control system architecture with an on-line velocity filter for industrial robots. ROBIO 2012: 2201-2206

Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu: A Type System for SPARDL. TASE 2012: 209-216

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang: UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. QAPL 2012: 1-16

Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu: MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149

Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He: MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012)

Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen: On the Relationship between LTL Normal Forms and Buechi Automata. CoRR abs/1207.3866 (2012)

Zheng Wang, Jesse Eickholt, Jianlin Cheng: APOLLO: a quality assessment service for single and multiple protein models. Bioinformatics 27(12): 1715-1716 (2011)

Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang: A Parallel Approach to Concolic Testing with Low-cost Synchronization. Electr. Notes Theor. Comput. Sci. 274: 83-96 (2011)

Zheng Wang, Min Liang, Paul G. Maropoulos: High accuracy mobile robot positioning using external large volume metrology instruments. Int. J. Computer Integrated Manufacturing 24(5): 484-492 (2011)

Haoting Liu, Jie Li, Zheng Wang, Jian Cheng, Hanqing Lu, Yan Zhao: Image Quality Feedback-Based Adaptive Video Definition Improvement for the Space Manipulation Task. Int. J. Image Graphics 11(2): 153-175 (2011)

Zheng Wang, Shirish S. Karande, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves: On the multicast capacity of wireless ad hoc networks with network coding. Journal of Communications and Networks 13(5): 525-535 (2011)

Demin Gao, Huanyan Qian, Zheng Wang, Jiguang Chen: Study and Design an Anycast Routing Protocol for Wireless Sensor Networks. JNW 6(12): 1726-1733 (2011)

Zheng Wang, Shuicheng Yan, Changshui Zhang: Active learning with adaptive regularization. Pattern Recognition 44(10-11): 2375-2383 (2011)

Zheng Wang, Elias Giannopoulos, Mel Slater, Angelika Peer, Martin Buss: Handshake: Realistic Human-Robot Interaction in Haptic Enhanced Virtual Reality. Presence 20(4): 371-392 (2011)

Shirish S. Karande, Zheng Wang, Hamid R. Sadjadpour, Jose Joaquin Garcia-Luna-Aceves: Multicast Throughput Order of Network Coding in Wireless Ad-hoc Networks. IEEE Transactions on Communications 59(2): 497-506 (2011)

Zheng Wang, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves: Fundamental Limits of Information Dissemination in Wireless Ad Hoc Networks - Part II: Multi-Packet Reception. IEEE Transactions on Wireless Communications 10(3): 803-813 (2011)

Jianlin Cheng, Zheng Wang, Jesse Eickholt, Xin Deng: Recursive protein modeling: A divide and conquer strategy for protein structure prediction and its case study in CASP9. BIBM Workshops 2011: 352-357

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang: Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang: Statistical Model Checking for Networks of Priced Timed Automata. FORMATS 2011: 80-96

Wenlin Zhang, Zheng Wang, Yi Guo, Hongbo Liu, Yingying Chen, Joseph Mitola III: Distributed Cooperative Spectrum Sensing Based on Weighted Average Consensus. GLOBECOM 2011: 1-6

Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu: A Unifying Approach to Validating Specification-Oriented XML Constraints. HASE 2011: 33-40

Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu: An Event-B Interpretation for SPARDL Model. HASE 2011: 41-48

Ting Jiang, Chunhui Wang, Zhiqiang Tian, Yongzhong Xu, Zheng Wang: Study on Synthetic Evaluation of Human Performance in Manually Controlled Spacecraft Rendezvous and Docking Tasks. HCI (17) 2011: 387-393

Zheng Wang, Eliane Jing Chen, Shan Ling Pan, Yi Wu: Bridging Boundaries in Offshore Outsourcing Organizations: A Case Study of Promoting KM System Initiatives in Wipro Technologies. HICSS 2011: 1-10

Dominik Grewe, Zheng Wang, Michael F. P. O'Boyle: A workload-aware mapping approach for data-parallel programs. HiPEAC 2011: 117-126

Zheng Wang, Shian-Shyong Tseng, Xin Wang: Competition Analysis of Adaptive Incentive Protocols for P2P Networks. ICC 2011: 1-6

Zheng Wang, Shan Ling Pan, Tao Hua Ou Yang, Tzu-Chuan Chou: Evolving IT Organizational Identity as a Source of IT-enabled Enterprise Agility in China. ICIS 2011

Fuzeng Yang, Shan Liu, Liping Chen, Yuanjie Wang, Zheng Wang, Xinxing Xu: Preliminary Study of Obstacles Detecting Method in Farmland Based on Stereovision. IScIDE 2011: 676-683

Zheng Wang, Jie Luo: Coding theorems for random access communication over compound channel. ISIT 2011: 988-992

Zheng Wang, Zihao Zhao, Lu Wang, Kui Wang: Study on the Law of Short Fatigue Crack Using Genetic Algorithm-BP Neural Networks. ISNN (3) 2011: 586-593

Huawei Tian, Zheng Wang, Yao Zhao, Rongrong Ni, Lunming Qin: Spread Spectrum-Based Multi-bit Watermarking for Free-View Video. IWDW 2011: 156-166

Yi Wu, Zheng Wang, Klarissa Chang: Exploring Continuous Participation On Entertainment Applications Of Social Network Sites. PACIS 2011: 216

Zheng Wang, Yong Huat Chew, Chau Yuen: On discretizing the exponential on-off primary radio activities in simulations. PIMRC 2011: 556-560

Zhenglong Sun, Zheng Wang, Soo Jay Phee: Towards haptics enabled surgical robotic system for NOTES. RAM 2011: 229-233

Zoltan Endre Rakosi, Zheng Wang, Anupam Chattopadhyay: Adaptive Energy-Efficient Architecture for WCDMA Channel Estimation. ReConFig 2011: 309-314

Zheng Wang, Feng Gu, Yuqing He, Jianda Han, Yuechao Wang: Design and implementation of multiple-rotorcraft-flying-robot testbed. ROBIO 2011: 1291-1296

Feng Gu, Zheng Wang, Yuqing He, Jianda Han, Yuechao Wang: Theoretical and experimental study of uncertain set based moving target localization using multiple robots. ROBIO 2011: 1646-1651

Zheng Wang, Feng Gu, Yuqing He, Jianda Han, Yuechao Wang: Experimental study of cooperative obstacle avoidance between aerial and ground vehicles using multi-RFRs testbed. ROBIO 2011: 2411-2412

Feng Gu, Zheng Wang, Yuqing He, Jianda Han, Yuechao Wang: Experimental study of vision sensor based multiple robots active cooperative observation using multi-RFRs testbed. ROBIO 2011: 2417-2418

Zheng Wang, Yuqing He, Jianda Han: Relative State Modeling Based Distributed Receding Horizon Formation Control of Multiple Robot Systems. ICSI (2) 2011: 108-117

Zhongwei Jiang, Zheng Wang, Jing Wang, D. M. H. Walker: Levelized low cost delay test compaction considering IR-drop induced power supply noise. VTS 2011: 52-57

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang: Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata. CoRR abs/1106.3961 (2011)

Zheng Wang, Jie Luo: Channel Coding in Random Access Communication over Compound Channels. CoRR abs/1110.1891 (2011)

Zheng Wang: High-fidelity haptics in multimodal human-robot interaction. Technical University Munich 2010, isbn 978-3-18-518508-3, pp. 1-129

Zheng Wang, Jesse Eickholt, Jianlin Cheng: MULTICOM: a multi-level combination approach to protein structure prediction and its assessments in CASP8. Bioinformatics 26(7): 882-888 (2010)

Guan Ning Lin, Zheng Wang, Dong Xu, Jianlin Cheng: SeqRate: sequence-based protein folding type classification and rates prediction. BMC Bioinformatics 11(S-3): 1 (2010)

Zheng Wang, Qi Chen, Jia Hu, Haiyan Huang: A Proportional - Integral Control Policy of Two Coupled Concurrent Design Optimization Processes. Concurrent Engineering: R&A 18(1): 55-63 (2010)

Bo Cheng, Yang Zhang, Peng Zhou, Hua Duan, Xiaoxiao Hu, Zheng Wang, Junliang Chen: Development of Web-Telecom based hybrid services orchestration and execution middleware over convergence networks. J. Network and Computer Applications 33(5): 620-630 (2010)

Zheng Wang, Huifang Chen, Lei Xie, Kuang Wang: Retransmission in the network-coding-based packet network. Journal of Zhejiang University - Science C 11(7): 544-554 (2010)

Tong Yang, Zheng Wang, Fang Wu, Jingwei Tan, Yijun Shen, Erguang Li, Jingzhi Dai, Ronghai Shen, Gang Li, Jinsong Wu, Luochun Wang, Haibo Wang, Yanjun Liu: A Variant of TNFR2-Fc Fusion Protein Exhibits Improved Efficacy in Treating Experimental Rheumatoid Arthritis. PLoS Computational Biology 6(2) (2010)

Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu: Web services choreography validation. Service Oriented Computing and Applications 4(4): 291-305 (2010)

Hamid R. Sadjadpour, Zheng Wang, J. J. Garcia-Luna-Aceves: The capacity of wireless ad hoc networks with multi-packet reception. IEEE Transactions on Communications 58(2): 600-610 (2010)

Hong-Sen Yan, Bin Wang, Duo Xu, Zheng Wang: Computing Completion Time and Optimal Scheduling of Design Activities in Concurrent Product Development Process. IEEE Transactions on Systems, Man, and Cybernetics, Part A 40(1): 76-89 (2010)

Zheng Wang, Michael F. P. O'Boyle: Partitioning streaming parallelism for multi-cores: a machine learning based approach. PACT 2010: 307-318

Jiawei Lv, Jianwen Zhang, Fei Wang, Zheng Wang, Changshui Zhang: Compressed Learning with Regular Concept. ALT 2010: 163-178

Yi Guo, Wenlin Zhang, Zheng Wang: Directed motion of an atomic scale engine and stability analysis. CASE 2010: 545-550

Wenlin Zhang, Zheng Wang, Yi Guo: Robust consensus for uncertain multi-agent systems on directed communication topologies. CDC 2010: 6317-6322

Zheng Wang, Jiashi Feng, Changshui Zhang, Shuicheng Yan: Learning to rank tags. CIVR 2010: 42-49

Qiang Ye, Dianzhang Cui, Zheng Wang, Lei Wang, Mike H. MacGregor: Long-Haul Transmission Performance in the Internet. CNSR 2010: 387-395

Zheng Wang, Ji Lu, Angelika Peer, Martin Buss: Influence of Vision and Haptics on Plausibility of Social Interaction in Virtual Reality Scenarios. EuroHaptics (2) 2010: 172-177

Zheng Wang, Yangqiu Song, Changshui Zhang: Homotopy Regularization for Boosting. ICDM 2010: 1115-1120

Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding: Automatically Testing Web Services Choreography with Assertions. ICFEM 2010: 138-154

Mingyue Ji, Zheng Wang, Hamid R. Sadjadpour, Jose Joaquin Garcia-Luna-Aceves: The Capacity of Ad Hoc Networks with Heterogeneous Traffic Using Cooperation. INFOCOM 2010: 1415-1423

Zheng Wang, Jie Luo: Achievable error exponent of channel coding in random access communication. ISIT 2010: 270-274

Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu: SPARDL: A Requirement Modeling Language for Periodic Control System. ISoLA (1) 2010: 594-608

Zheng Wang, Jianguo Yang, Wei Zhang, Xin Yang: A HIL Model with PAC for Large Low-speed HPCR Marine Diesel Engine. MSV 2010: 169-173

Yi Wu, Zheng Wang, Klarissa Chang, Yunjie Xu: Why People Stick to Play Social Network Site Based Entertainment Applications: Design Factors and Flow Theory Perspective. PACIS 2010: 102

Zheng Wang, Mingyue Ji, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves: Opportunistic Interference Management Increases the Capacity of Ad Hoc Networks. SECON 2010: 55-63

James Gregson, Zheng Wang: Rapid surface and volume mesh generation from depth-augmented visual hulls. SIGGRAPH Posters 2010

Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu: Constraint Checking for XML-Based Language Specification by SAT Solver. SSIRI (Companion) 2010: 26-27

Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu: A Formal Model for Service Choreography with Exception Handling and Finalization. TASE 2010: 15-24

Huifang Chen, Xudong Ding, Zheng Wang, Lei Xie: A Rate Allocation Scheme for Multi-User over Heterogeneous Wireless Access Networks. VTC Fall 2010: 1-5

Zheng Wang, Huifang Chen, Lei Xie, Kuang Wang: Cross-Layer Design for Wireless Video Stream Transmission. WCNC 2010: 1-6

Zheng Wang, Jie Luo: Error Performance of Channel Coding in Random Access Communication. CoRR abs/1010.0642 (2010)

Xiangpei Hu, Zheng Wang, Minfang Huang, Amy Z. Zeng: A computer-enabled solution procedure for food wholesalers' distribution decision in cities with a circular transportation infrastructure. Computers & OR 36(7): 2201-2209 (2009)

Zheng Wang, Jie Luo: Approaching blokh-zyablov error exponent with linear-time encodable/decodable codes. IEEE Communications Letters 13(6): 438-440 (2009)

Bo Liu, Yan Wang, Zhiping Yu, Leibo Liu, Miao Li, Zheng Wang, Jing Lu, Francisco V. Fernández: Analog circuit optimization system based on hybrid evolutionary algorithms. Integration 42(2): 137-148 (2009)

Jose Joaquin Garcia-Luna-Aceves, Zheng Wang, Hamid R. Sadjadpour, Shirish S. Karande: Optimal Unicast Capacity of Random Geometric Graphs: Impact of Multipacket Transmission and Reception. IEEE Journal on Selected Areas in Communications 27(7): 1180-1191 (2009)

Zheng Wang, Qing Wang, Ding-Wei Wang: Bayesian network based business information retrieval model. Knowl. Inf. Syst. 20(1): 63-79 (2009)

Allison N. Tegge, Zheng Wang, Jesse Eickholt, Jianlin Cheng: NNcon: improved protein contact map prediction using 2D-recursive neural networks. Nucleic Acids Research 37(Web-Server-Issue): 515-518 (2009)

Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun: Static validation of WS-CDL documents. Simulation Modelling Practice and Theory 17(8): 1367-1377 (2009)

Zheng Wang, K. T. Chau: Design, Analysis, and Experimentation of Chaotic Permanent Magnet DC Motor Drives for Electric Compaction. IEEE Trans. on Circuits and Systems 56-II(3): 245-249 (2009)

Zheng Wang, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves, Shirish S. Karande: Fundamental limits of information dissemination in wireless ad hoc networks-part I: single-packet reception. IEEE Transactions on Wireless Communications 8(12): 5749-5754 (2009)

Guan Ning Lin, Zheng Wang, Dong Xu, Jianlin Cheng: Sequence-Based Prediction of Protein Folding Rates Using Contacts, Secondary Structures and Support Vector Machines. BIBM 2009: 3-8

Wanliang Wang, Huixu Teng, Zheng Wang, Yanwei Zhao: Model for planning problem of diaphragm caustic soda and its approach based on particle swarm optimization algorithm. CSCWD 2009: 56-61

Zheng Wang, Hu Wu, Hai-jun Jia, Ya-feng Shi: Study on Response Surface Methodology with Artificial Neural Networks Application in Aerodynamic Optimization. CSIE (5) 2009: 620-626

Junbo Xue, Lijuan Wang, Zheng Wang, Qiong He: The Comparison of Energy Consumption among the Sectors in Technological Progress Point Based on the Input-Output Table. CSO (2) 2009: 420-424

Lijuan Wang, Yu Zhao, Zheng Wang: Dynamic Analysis of Electric Power Load in 2008 Beijing Olympics. CSO (2) 2009: 457-461

J. E. Muelaner, Zheng Wang, Jafar Jamshidi, Paul G. Maropoulos: Verification of the Indoor GPS System by Comparison with Points Calibrated Using a Network of Laser Tracker Measurements. DET 2009: 607-619

Zheng Wang, Min Liang, Paul G. Maropoulos: High Accuracy Mobile Robot Positioning Using an External Large Volume Metrology Instrument. DET 2009: 621-630

Zhaoqian Jing, Zheng Wang, Xiwu Lu, Xianning Li: Performance of Biological-Ecological Process for Rural Domestic Sewage Treatment in Taihu Lake Region. ESIAT (2) 2009: 93-96

Mingyue Ji, Zheng Wang, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves: Capacity of Wireless Networks with Heterogeneous Traffic. GLOBECOM 2009: 1-6

Zheng Wang, Mingyue Ji, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves: Cooperation-Multiuser Diversity Tradeoff in Wireless Cellular Networks. GLOBECOM 2009: 1-6

Zheng Wang, Angelika Peer, Martin Buss: An HMM approach to realistic haptic human-robot interaction. WHC 2009: 374-379

Shirish S. Karande, Zheng Wang, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves: Network Coding Does Not Change the Multicast throughput Order of Wireless Ad Hoc Networks. ICC 2009: 1-5

Zheng Wang, Peter B. Goldsmith, Jason Gu: Regulation control of underactuated mechanical systems based on a new matching equation of port-controlled hamiltonian systems. ICRA 2009: 992-997

Lei Wang, Zheng Wang, Chen Yang, Li Zhang, Qiang Ye: Linux kernels as complex networks: A novel method to study evolution. ICSM 2009: 41-50

Zheng Wang, Yangqiu Song, Changshui Zhang: Knowledge Transfer on Hybrid Graph. IJCAI 2009: 1291-1296

Zheng Wang, Jie Luo: Concatenated fountain codes. ISIT 2009: 2341-2345

Zheng Wang, André Gagalowicz, Meijun Sun: Low-Cost Multi-image Based 3D Human Body Modeling. MIRAGE 2009: 265-276

Zheng Wang, Xiaodong Lee, Jian Jin, Baoping Yan: Efficient Filtering Algorithm for Repeated Queries in DNS Log. NCA 2009: 327-330

Georgios Tournavitis, Zheng Wang, Björn Franke, Michael F. P. O'Boyle: Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping. PLDI 2009: 177-187

Zheng Wang, Michael F. P. O'Boyle: Mapping parallelism to multi-cores: a machine learning based approach. PPOPP 2009: 75-84

Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu: Towards Scalable Compositional Test Generation. QSIC 2009: 353-358

Jia Tian, He Guo, Yuxin Wang, Zheng Wang: A Fuzzy RBAC Model Described by XML-Graph. ScalCom-EmbeddedCom 2009: 154-159

Zheng Wang, Yangqiu Song, Changshui Zha: Efficient Active Learning with Boosting. SDM 2009: 1230-1241

Shirish S. Karande, Zheng Wang, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves: Multicast Throughput Order of Network Coding in Wireless Ad-hoc Networks. SECON 2009: 1-9

Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu: Test Data Generation for Derived Types in C Program. TASE 2009: 155-162

Zheng Wang, Duncan M. Hank Walker: Compact Delay Test Generation with a Realistic Low Cost Fault Coverage Metric. VTS 2009: 59-64

Zheng Wang, Jie Luo: Fountain Communication using Concatenated Codes. CoRR abs/0907.2984 (2009)

Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu: The Verification of rCOS Using Spin. Electr. Notes Theor. Comput. Sci. 207: 49-67 (2008)

Zheng Wang, Xiaodong Lee, Xinchang Zhang, Baoping Yan: In-Field Attack Proof of Injected False Data in Sensor Networks. JCM 3(6): 35-42 (2008)

Roberto Avanzi, Nicolas Thériault, Zheng Wang: Rethinking low genus hyperelliptic Jacobian arithmetic over binary fields: interplay of field arithmetic and explicit formulæ. J. Mathematical Cryptology 2(3): 227-255 (2008)

Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He: Execution Semantics for rCOS. APSEC 2008: 119-126

Huaxi Gu, Jiang Xu, Zheng Wang: ODOR: a microresonator-based high-performance low-cost router for optical networks-on-Chip. CODES+ISSS 2008: 203-208

Xusheng Yang, Wanxing Sheng, Fangping Xu, Zheng Wang, Xiaoping Yao, Yi Wang, Xinkun Ju: Research on Intelligent Distribution Control and Automation System. IC-AI 2008: 101-105

Zheng Wang, Hamid R. Sadjadpour, Jose Joaquin Garcia-Luna-Aceves: Broadcast throughput Capacity of Wireless Ad Hoc Networks with Multipacket Reception. ICC 2008: 2243-2247

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He: A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12

Jianlin Cheng, Zheng Wang, Gianluca Pollastri: A neural network approach to ordinal regression. IJCNN 2008: 1279-1284

Zheng Wang, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves: A Unifying Perspective on the Capacity of Wireless Ad Hoc Networks. INFOCOM 2008: 211-215

Xinchang Zhang, Xiaodong Li, Zheng Wang, Baoping Yan: A Delivery Tree Building Approach for Application Layer Multicast. ISCSCT (1) 2008: 630-634

Shiguang Ju, Zheng Wang, Xia Lv: Improvement of Page Ranking Algorithm Based on Timestamp and Link. ISIP 2008: 36-40

Zheng Wang, Hamid R. Sadjadpour, Jose Joaquin Garcia-Luna-Aceves: Capacity-delay tradeoff for information dissemination modalities in wireless networks. ISIT 2008: 677-681

Shirish S. Karande, Zheng Wang, Hamid R. Sadjadpour, Jose Joaquin Garcia-Luna-Aceves: Optimal scaling of multicommodity flows in wireless ad hoc networks: Beyond the Gupta-Kumar barrier. MASS 2008: 102-113

Zheng Wang, Hamid R. Sadjadpour, Jose Joaquin Garcia-Luna-Aceves: The capacity and energy efficiency of wireless ad hoc networks with multi-packet reception. MobiHoc 2008: 179-188

Zhiyi Wang, Zheng Wang, Jiaxi Luo: Application of Organization Model Based on LDAP Directory Server to Workflow Management System. PACIIA (2) 2008: 818-822

Zheng Wang, Yangqiu Song, Changshui Zhang: Transferred Dimensionality Reduction. ECML/PKDD (2) 2008: 550-565

Yangqing Jia, Zheng Wang, Changshui Zhang: Distortion-Free Nonlinear Dimensionality Reduction. ECML/PKDD (1) 2008: 564-579

Cenyu Yang, Tao Song, Jinguang Wang, Zhe Wang, Zheng Wang: Dynamic modeling of a novel bionic micro-machine. ROBIO 2008: 449-453

Zhe Wang, Tao Song, Jinguang Wang, Zheng Wang, Cenyu Yang: A differential magnetic localization method for bionic micro-machine guided by external magnetic field. ROBIO 2008: 997-1001

Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu: Static Check of WS-CDL Documents. SOSE 2008: 142-147

Zheng Wang, D. M. H. Walker: Dynamic Compaction for High Quality Delay Test. VTS 2008: 243-248

Zheng Wang, Jie Luo: Approaching Blokh-Zyablov Error Exponent with Linear-Time Encodable/Decodable Codes. CoRR abs/0808.3756 (2008)

Zheng Wang, Shirish S. Karande, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves: On the Capacity Improvement of Multicast Traffic with Network Coding. CoRR abs/0809.3600 (2008)

Felix T. S. Chan, Zheng Wang, Jie Zhang: A two-level hedging point policy for controlling a manufacturing system with time-delay, demand uncertainty and extra capacity. European Journal of Operational Research 176(3): 1528-1558 (2007)

Kung-Kiu Lau, Zheng Wang: Software Component Models. IEEE Trans. Software Eng. 33(10): 709-724 (2007)

Li Gao, Jingyuan Zhang, Qunwei Zheng, Zheng Wang: Experience with mirror drivers for distributed workspace. ACM Southeast Regional Conference 2007: 168-173

Jerome R. Busemeyer, Zheng Wang: Quantum Information Processing Explanation for Interactions between Inferences and Decisions. AAAI Spring Symposium: Quantum Interaction 2007: 91-97

Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He: The Validation and Verification of WSCDL. APSEC 2007: 81-88

Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai: Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC 2007: 90-100

Xijin Tang, Nan Zhang, Zheng Wang: Exploration of TCM Masters Knowledge Mining. International Conference on Computational Science (4) 2007: 35-42

Lijun Sun, Xiangpei Hu, Zheng Wang, Minfang Huang: A Knowledge-Based Model Representation and On-Line Solution Method for Dynamic Vehicle Routing Problem. International Conference on Computational Science (4) 2007: 218-226

J. J. Garcia-Luna-Aceves, Hamid R. Sadjadpour, Zheng Wang: Extending the capacity of ad hoc networks beyond network coding. IWCMC 2007: 91-96

J. J. Garcia-Luna-Aceves, Hamid R. Sadjadpour, Zheng Wang: Challenges: towards truly scalable ad hoc networks. MOBICOM 2007: 207-214

Kung-Kiu Lau, Zheng Wang: Verified component-based software in SPARK: experimental results for a missile guidance system. SIGAda 2007: 51-58

Xijin Tang, Nan Zhang, Zheng Wang: TCM masters miner for knowledge transfer. SMC 2007: 3541-3546

Zheng Wang, Zhenyu Liu, Jianrong Tan, Yun Fu, Changjiang Wan: A virtual environment simulator for mechanical system dynamics with online interactive control. Advances in Engineering Software 37(10): 631-642 (2006)

Haiyun Li, Zheng Wang: Intervertebral disc biomechanical analysis using the finite element modeling based on medical images. Comp. Med. Imag. and Graph. 30(6-7): 363-370 (2006)

Kung-Kiu Lau, Vladyslav Ukis, Perla Velasco Elizondo, Zheng Wang: A Component Model for Separation of Control Flow from Computation in Component-Based Systems. Electr. Notes Theor. Comput. Sci. 163(1): 57-69 (2006)

Yun Fu, Zheng Wang, Jianrong Tan, Changjiang Wan: Positioning and driving virtual prototyping with metaphors in dynamic analysis. Simulation Modelling Practice and Theory 14(5): 527-540 (2006)

Kung-Kiu Lau, Ling Ling, Zheng Wang: Composing Components in Design Phase using Exogenous Connectors. EUROMICRO-SEAA 2006: 12-19

Qiang Liu, Hua Wang, Jingming Kuang, Zheng Wang, Zhiming Bi: M-TORA: a TORA-Based Multi-Path Routing Algorithm for Mobile Ad Hoc Networks. GLOBECOM 2006

Zheng Wang, Abhay Paranjape, Thomas Sugar, Michael McBeath: Perceptual Navigation Strategy for Mobile Robots Intercepting Ground Balls. ICRA 2006: 2713-2718

Zhiruo Cao, Ellen W. Zegura, Zheng Wang: Rainbow fair queueing: theory and applications. Computer Networks 47(3): 367-392 (2005)

Yunqian Ma, Zheng Wang, Mike Bazakos, Wing Au: 3D Scene Modeling using Sensor Fusion with Laser Range Finder and Image Sensor. AIPR 2005: 224-229

Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang: Exogenous Connectors for Software Components. CBSE 2005: 90-106

Yunqian Ma, Mike Bazakos, Zheng Wang, Wing Au: 3D Scene Modeling for Activity Detection. ER (Workshops) 2005: 300-309

Kung-Kiu Lau, Zheng Wang: A Taxonomy of Software Component Models. EUROMICRO-SEAA 2005: 88-95

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang: A Software Component Model and Its Preliminary Formalisation. FMCO 2005: 1-21

Ling Gao, Zheng Wang, Ting Zhang: Online Internet Traffic Prediction Models Based on MMSE. ICCNMC 2005: 1253-1262

Xinguang Peng, Zhirong Zhang, Zheng Wang: Anomaly detection of privileged program based on fuzzy segments. ISADS 2005: 580-584

Zheng Wang, Dalong Tan, Peter B. Goldsmith: Formation control of robotic vehicles. ROBIO 2005: 57-60

Han Lian, Zheng Wang, Jianjun Wang, LiMing Zhang: Speaker Identification Using Reduced RBF Networks Array. ISNN (1) 2004: 924-929

Zheng Wang, Dinghua Zhang, Weiping He: Using introspection and prototype driven to achieve design analysis in the process of concept generation based on information processing. SMC (5) 2004: 4348-4353

Zheng Wang, Weiping He, Dinghua Zhang: Research and application of visual thinking in design for manufacture. SMC (5) 2004: 4365-4370

Zheng Wang, Kurt Bauernfeind, Thomas Sugar: Omni-Directional Treadmill System. HAPTICS 2003: 367-373

Zheng Wang, Kevin W. Hollander, Thomas Sugar: A novel omni-directional perturbation platform. IROS 2003: 3089-3093

Zheng Wang, Jun Yang, Dalong Tan, Xiangdong Wang: Compensation for the networked control systems with the long time delays. SMC 2003: 3170-3175

Hong-Sen Yan, Zheng Wang, Min Jiang: A Quantitative Approach to the Process Modeling and Planning in Concurrent Engineering. Concurrent Engineering: R&A 10(2): 97-111 (2002)

Yufei Wang, Zheng Wang, Leah Zhang: Internet Traffic Engineering without Full Mesh Overlaying. INFOCOM 2001: 565-571

Zheng Wang, Zheng Cai, Zhong-Hai Li, Si-ying Zhang: Decentralized Robust Control Design for a Class of Similar Composite Systems with Uncertainties. Cybernetics and Systems 31(2): 193-202 (2000)

Doan B. Hoang, Zheng Wang: Performance of TCP applications over ATM networks with ABR and UBR services - a simulation analysis. Computer Communications 23(9): 802-815 (2000)

Zheng Wang, Ken Pierce, Scott McFarling: BMAT - A Binary Matching Tool for Stale Profile Propagation. J. Instruction-Level Parallelism 2 (2000)

Zhiruo Cao, Zheng Wang, Ellen W. Zegura: Performance of Hashing-Based Schemes for Internet Load Balancing. INFOCOM 2000: 332-341

Zhiruo Cao, Zheng Wang, Ellen W. Zegura: Rainbow Fair Queueing: Fair Bandwidth Sharing Without Per-Flow State. INFOCOM 2000: 922-931

Zheng Wang, Anindya Basu: Resource allocation for elastic traffic: architecture and mechanisms. NOMS 2000: 157-170

Zheng Wang: On the Complexity of Quality of Service Routing. Inf. Process. Lett. 69(3): 111-114 (1999)

Zheng Wang, Linda L. Hill, Terence R. Smith: Alexandria Digital Library Metadata Creator Based on Extensible Markup Language. CoLIS 1999

Anindya Basu, Zheng Wang: Fair Bandwidth Allocation for Differentiated Services. Protocols for High-Speed Networks 1999: 117-132

Zheng Wang: USD: Scalable Bandwidth Allocation for the Internet. HPN 1998: 351-361

Xiaolan Zhang, Zheng Wang, Nicholas C. Gloy, J. Bradley Chen, Michael D. Smith: System Support for Automated Profiling and Optimization. SOSP 1997: 15-26

Zheng Wang, Jon Crowcroft: Quality-of-Service Routing for Supporting Multimedia Applications. IEEE Journal on Selected Areas in Communications 14(7): 1228-1234 (1996)

Yasuhiro Endo, Zheng Wang, J. Bradley Chen, Margo I. Seltzer: Using Latency to Evaluate Interactive System Performance. OSDI 1996: 185-199

Zheng Wang, Jon Crowcroft: A dual-window model for flow and congestion control. Distributed Systems Engineering 1(3): 162-172 (1994)

Zheng Wang, Jon Crowcroft: A Unified Framework for Multicast Forwarding. NOSSDAV 1993: 252-258

Zheng Wang, Jon Crowcroft: Analysis of Burstiness and Jitter in Real-Time Communications. SIGCOMM 1993: 13-19

Zheng Wang, Jon Crowcroft: Shortest Path First with Emergency Exits. SIGCOMM 1990: 166-176