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

Xu Wang (Selection)

United Nations University, International Institute for Software Technology

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Chilton, Marta Z. Kwiatkowska, Xu Wang: Revisiting Timed Specification Theories: A Linear-Time Perspective. FORMATS 2012: 75-90
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTing Yang, Jinmao Wei, Baoquan Fan, Xu Wang, Haiwei Zhang: Structural similarity computation based on extended edge matching method. FSKD 2012: 1201-1205
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Xiaoqing Zheng, Jianxin He, Xuehua Li: Using fuzzy logic to discriminate convective and statiform precipitation in Doppler weather radar. FSKD 2012: 623-627
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWanfeng Liu, Xu Wang, Xia Li: Memetic Differential Evolution for Vehicle Routing Problem with Time Windows. ICSI (1) 2012: 358-365
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang: Maximal Confluent Processes. Petri Nets 2012: 188-207
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Ali Saberi, Anton A. Stoorvogel, Håvard Fjær Grip: Further results on the disturbance response of a double integrator controlled by a saturating linear static state feedback. Automatica 48(2): 430-435 (2012)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Ali Saberi, Anton A. Stoorvogel, Peddapullaiah Sannuti: Simultaneous global external and internal stabilization of linear time-invariant discrete-time systems subject to actuator saturation. Automatica 48(5): 699-711 (2012)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Chilton, Marta Z. Kwiatkowska, Xu Wang: Revisiting Timed Specification Theories: A Linear-Time Perspective CoRR abs/1206.4504: (2012)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongchao Wang, Xu Wang, Hongwei Liu, Zhi-Quan Luo: On the Design of Constant Modulus Probing Signals for MIMO Radar. IEEE Transactions on Signal Processing 60(8): 4432-4438 (2012)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYan Li, Jeffrey R. Diamond, Xu Wang, Haibo Lin, Yudong Yang, Zhenxing Han: Large-scale fast Fourier transform on a heterogeneous multi-core system. IJHPCA 26(2): 148-158 (2012)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Jun Wang: Statistical Behavior of a Financial Model by Lattice Fractal Sierpinski Carpet Percolation. J. Applied Mathematics 2012: (2012)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenri Hansen, Xu Wang: Compositional Analysis for Weak Stubborn Sets. ACSD 2011: 36-43
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuifen Chen, Xu Wang, Hang Chen, Chunan Li, Guangwei Zeng, Yan Wang, Peixun Liu: Research on Digital Agricultural Information Resources Sharing Plan Based on Cloud Computing. CCTA (1) 2011: 346-354
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuang Wu, Xu Wang, Jian Liu: A Power Control Game via New Pricing with Dynamic Coefficient in Cognitive Radio. CMC 2011: 262-265
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLong Yu, Xu Wang, Jian Liu: An Improved Rate Matching Algorithm for 3GPP LTE Turbo Code. CMC 2011: 345-348
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZeyang Dai, Xu Wang, Jian Liu: Array Calibration Based on Improved Instrumental Sensors Method. CMC 2011: 424-428
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Jian Liu: Design and Implementation for Ambulance Route Search Based on the Internet of Things. CMC 2011: 523-526
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuan Li, Zheng Qin, Xuanping Zhang, Xu Wang: Robust Audio Watermarking Algorithm Based on Audio Binary Halftone Pre-process. CSISE (1) 2011: 615-620
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Dazhi Wang: Calculation of eddy current loss and thermal analysis for adjustable permanent magnetic coupler. EMEIT 2011: 4405-4408
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Sandip Roy, Yan Wan: Using deliberate-delay decentralized controllers to stop spread dynamics in canonical network models. ICCABS 2011: 178-183
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Jian-Fei Jiang, Zhi-Gang Mao, Bingjing Ge, Xinglong Zhao: A novel low power 64-kb SRAM using bit-lines charge-recycling and non-uniform cell scheme. ICECS 2011: 528-531
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Chenghua Xie: Comparison of sz phase coding and batch mode to mitigate range ambiguity of doppler weather radar. ICNC 2011: 2027-2031
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYingbo Wu, Xu Wang: Selection of Software Reliability Model Based on BP Neural Network. ICSI (1) 2011: 489-496
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYingbo Wu, Xu Wang, Yun Lin: An Integration Process Model of Enterprise Information System Families Based on System of Systems. ICSI (2) 2011: 479-485
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuey-Wen Liu, Xu Wang, Fan He, Tao Yang, Bo Hu: A blind technique for total interference rejection. ISCAS 2011: 645-648
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenri Hansen, Xu Wang: On the Origin of Events: Branching Cells as Stubborn Sets. Petri Nets 2011: 248-267
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Sam Kwong, Yun Zhang, Yun Zhang: Considering binocular spatial sensitivity in stereoscopic image quality assessment. VCIP 2011: 1-4
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian-Fei Jiang, Xu Wang, Wei-Guang Sheng, Wei-Feng He, Zhi-Gang Mao: A clock-less transceiver for global interconnect. VLSI-SoC 2011: 184-187
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaohua Shi, Chuang Li, Shihu Wang, Xu Wang: Computing prestack Kirchhoff time migration on general purpose GPU. Computers & Geosciences 37(10): 1702-1710 (2011)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLong Cheng, Zeng-Guang Hou, Min Tan, Xu Wang: Necessary and Sufficient Conditions for Consensus of Double-Integrator Multi-Agent Systems With Measurement Noises. IEEE Trans. Automat. Contr. 56(8): 1958-1963 (2011)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuanyi Sun, Shengnan Xu, Xu Wang, Dawei Wang, Eugene Tang, Yangdong Deng, Sun Chan: A High-Throughput, High-Accuracy System-Level Simulation Framework for System on Chips. VLSI Design 2011: (2011)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaotian Xu, Hailong Sun, Xu Wang: DMAL-BPIDE: A Distributed Multi-Abstraction-Level Business Process IDE. 3PGCIC 2010: 278-283
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeifeng Zhu, Xu Wang, Liufang Yao, Qi Fei: Simulation run allocation for optimization of order-up-to level configuration in a complex logistics. BIC-TA 2010: 46-50
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQingwei Duan, Xiaoping Xin, Guixia Yang, Baorui Chen, Hongbin Zhang, Yuchun Yan, Xu Wang, Baohui Zhang, Gang Li: Current Situation and Prospect of Grassland Management Decision Support Systems in China. CCTA (4) 2010: 134-146
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Zheng, Yongxin Zhu, Xu Wang, Zhiqiang Que, Tian Huang, Xiaojing Yin, Hui Wang, Guoguang Rong, Meikang Qiu: Revealing Feasibility of FMM on ASIC: Efficient Implementation of N-Body Problem on FPGA. CSE 2010: 132-139
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongjun Liu, Xu Wang: Strategy Research of Enterprise Information Planning Based on TOE-TAM Model: Case Study for ERP Implementation of a Discrete Manufacturing. DBTA 2010: 1-5
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaopeng Zhang, Fengdi Shu, Ye Yang, Xu Wang, Qing Wang: A Fuzzy-Based Method for Evaluating the Trustworthiness of Software Processes. ICSP 2010: 297-308
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Zhiqiang Cao, Zeng-Guang Hou, Long Cheng, Min Tan: Correlation detection with firing rate estimation based on temporal coincidence coding. IJCNN 2010: 1-6
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongxin Zhao, Xu Wang, Huibiao Zhu: Towards a Pomset Semantics for a Shared-Variable Parallel Language. UTP 2010: 271-285
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Anton A. Stoorvogel, Ali Saberi, Håvard Fjær Grip, Sandip Roy, Peddapullaiah Sannuti: Stabilization of a Class of Sandwich Systems Via State Feedback. IEEE Trans. Automat. Contr. 55(9): 2156-2160 (2010)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåvard Fjær Grip, Ali Saberi, Xu Wang: Stabilization of Multiple-Input Multiple-Output Linear Systems With Saturated Outputs. IEEE Trans. Automat. Contr. 55(9): 2160-2164 (2010)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaohua Shi, Chuang Li, Xu Wang, Kang Li: A Practical Approach of Curved Ray Prestack Kirchhoff Time Migration on GPGPU. APPT 2009: 165-176
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeitao Luo, Xu Wang: Abnormal Acoustic Noise Reduction in X-Ray Tube Single-Phase Motor. BMEI 2009: 1-7
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Anton A. Stoorvogel, Ali Saberi, Håvard Fjær Grip, Sandip Roy, Peddapullaiah Sannuti: Stabilization of a class of sandwich nonlinear systems via state feedback. CDC 2009: 1417-1421
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinhong Cui, Xu Wang: SNS Based Information Authorization Delegation Mechanism and Implementation. CIS (2) 2009: 493-497
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaohua Shi, Xu Wang, Changhai Zhao, Haiyan Yang: Practical Pre-stack Kirchhoff Time Migration of Seismic Processing on General Purpose GPU. CSIE (2) 2009: 461-465
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGe Gan, Xu Wang, Joseph Manzano, Guang R. Gao: Tile Percolation: An OpenMP Tile Aware Parallelization Technique for the Cyclops-64 Multicore Processor. Euro-Par 2009: 839-850
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Mei Yu, You Yang, Gangyi Jiang: Influence of Low-Pass Filtering on Perceived Quality of Asymmetrically Coded Stereoscopic Images. FGIT-FGCN 2009: 141-148
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShijie Yan, Xu Wang: Fuzzy Control with Tracking Differentiator for Microturbine. FSKD (4) 2009: 97-101
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMingming Zhang, Shuguang Zhao, Xu Wang: A novel sexual adaptive genetic algorithm based on two-step evolutionary scenario of baldwin effect and analysis of global convergence. GEC Summit 2009: 737-744
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Xiong, Xu Wang, Jianxin He, Chenghua Xie: Experimental Evaluation of SZ-2 Phase Coding to Mitigate Range Ambiguity. ICETC 2009: 8-12
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Gangyi Jiang, Mei Yu: Reduced Reference Image Quality Assessment Based on Contourlet Domain and Natural Image Statistics. ICIG 2009: 45-50
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMingming Zhang, Shuguang Zhao, Xu Wang: A hybrid self-adaptive genetic algorithm based on sexual reproduction and baldwin effect for global optimization. IEEE Congress on Evolutionary Computation 2009: 3087-3094
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMingming Zhang, Shuguang Zhao, Xu Wang: Multi-objective evolutionary algorithm based on adaptive discrete Differential Evolution. IEEE Congress on Evolutionary Computation 2009: 614-621
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGe Gan, Xu Wang, Joseph Manzano, Guang R. Gao: Tile Reduction: The First Step towards Tile Aware Parallelization in OpenMP. IWOMP 2009: 140-153
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongQing Ni, DaeHun Nyang, Xu Wang: A-Kad: an anonymous P2P protocol based on Kad network. MASS 2009: 747-752
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Ge Gan, Dongrui Fan, Shuxu Guo: GFFC: The Global Feedback Based Flow Control in the NoC Design for Many-core Processor. NPC 2009: 227-232
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJingjing Jin, Xu Wang, Shilong Li, Yingnan Wu: A Novel Heart Rate Detection Algorithm in Ballistocardiogram Based on Wavelet Transform. WKDD 2009: 76-79
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJingjing Jin, Xu Wang, Shilong Li, Yingnan Wu: Wavelet Transform Adaptive De-noising Algorithm and Application Based on a Novel Variable Step Function. WKDD 2009: 80-83
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiujun Li, Gang Sun, Xu Wang: Mobile Positioning System Based on the Wireless Sensor Network in Buildings. Communications and Network 1(2): 96-100 (2009)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYan Wan, Sandip Roy, Xu Wang, Ali Saberi, Tao Yang, Mengran Xue, Babak Malek: On the structure of graph edge designs that optimize the algebraic connectivity. CDC 2008: 805-810
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhijun Wang, Xue Wang, Xu Wang: Research and Implementation of Web-Based E-Learning Course Auto-generating Platform. Edutainment 2008: 70-76
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Ge Gan, Joseph Manzano, Dongrui Fan, Shuxu Guo: A Quantitative Study of the On-Chip Network and Memory Hierarchy Design for Many-Core Processor. ICPADS 2008: 689-696
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiongfei Weng, Hongliang Yu, Guangyu Shi, Jian Chen, Xu Wang, Jing Sun, Weimin Zheng: Understanding Locality-Awareness in Peer-to-Peer Systems. ICPP Workshops 2008: 59-66
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Jianxin He, Chenghua Xie: Based on a Fuzzy Logic Technique to Identify Clutter Echoes of Weather Radar in Time Domain Automatically. PACIIA (1) 2008: 746-750
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Liyan Qian, Jianjun Wu, Tian Liu: An Energy and Distance Based Clustering Protocol for Wireless Sensor Networks. TeNe 2008: 409-412
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Marta Z. Kwiatkowska: Compositional State Space Reduction Using Untangled Actions. Electr. Notes Theor. Comput. Sci. 175(3): 27-46 (2007)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Marta Z. Kwiatkowska: On Process-algebraic Verification of Asynchronous Circuits. Fundam. Inform. 80(1-3): 283-310 (2007)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Marta Z. Kwiatkowska: On process-algebraic verification of asynchronous circuits. ACSD 2006: 37-46
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang: Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. Electr. Notes Theor. Comput. Sci. 146(2): 189-206 (2006)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPing Zhang, Yang Ji, Yongjing Zhang, Xu Wang, Zheng Hu: MUSE: a vision of service and architecture for beyond 3G networks. ISADS 2005: 109-115
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang: Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. Electr. Notes Theor. Comput. Sci. 128(6): 231-246 (2005)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Wang Bing-xi, Ding Qi: A bilinear transform approach for vocal tract length normalization. ICARCV 2004: 547-551
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, A. W. Roscoe, Ranko Lazic: Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. IFM 2004: 247-266
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Shing-Chi Cheung, Jun Wei: A CSP and Z combined modeling of document exchange processes in e-commerce protocols. Information & Software Technology 44(14): 875-889 (2002)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu Wang: Extended Modeling Languages for Interaction Protocol Design. AOSE 2001: 68-83
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Wei, Shing-Chi Cheung, Xu Wang: Exploiting Automatic Analysis of E-Commerce Protocols. COMPSAC 2001: 55-
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng: Modeling and Verifying Strong Cache Consistency for Mobile Data Access . ISSRE 2001: 103-111
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Tao Huang, Jun Qian: Group Model for Decentralized Federation of Object Creation Service. TOOLS (27) 1998: 127-

Selection of 79 from 79 records - Xu Wang has 153 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page