Xu Wang Vis

United Nations University, International Institute for Software Technology

other persons with the same name:

• Xu Wang - Anhui Machine Whole Set Bureau
• Xu Wang - Harbin Institute of Technology, China

*	2009
21	EE	Xiaohua Shi, Chuang Li, Xu Wang, Kang Li: A Practical Approach of Curved Ray Prestack Kirchhoff Time Migration on GPGPU. APPT 2009: 165-176
20	EE	Ge 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
19	EE	Mingming 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
18	EE	Ge Gan, Xu Wang, Joseph Manzano, Guang R. Gao: Tile Reduction: The First Step towards Tile Aware Parallelization in OpenMP. IWOMP 2009: 140-153
17	EE	Jingjing Jin, Xu Wang, Shilong Li, Yingnan Wu: A Novel Heart Rate Detection Algorithm in Ballistocardiogram Based on Wavelet Transform. WKDD 2009: 76-79
16	EE	Jingjing 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
	2008
15	EE	Yan 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
14	EE	Zhijun Wang, Xue Wang, Xu Wang: Research and Implementation of Web-Based E-Learning Course Auto-generating Platform. Edutainment 2008: 70-76
13	EE	Xu 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
	2007
12	EE	Xu Wang, Marta Z. Kwiatkowska: Compositional State Space Reduction Using Untangled Actions. Electr. Notes Theor. Comput. Sci. 175(3): 27-46 (2007)
11	EE	Xu Wang, Marta Z. Kwiatkowska: On Process-algebraic Verification of Asynchronous Circuits. Fundam. Inform. 80(1-3): 283-310 (2007)
	2006
10	EE	Xu Wang, Marta Z. Kwiatkowska: On process-algebraic verification of asynchronous circuits. ACSD 2006: 37-46
9	EE	Xu 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)
	2005
8	EE	Xu 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)
	2004
7	EE	Xu Wang, Wang Bing-xi, Ding Qi: A bilinear transform approach for vocal tract length normalization. ICARCV 2004: 547-551
6	EE	Xu Wang, A. W. Roscoe, Ranko Lazic: Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. IFM 2004: 247-266
	2002
5		Xu 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)
	2001
4	EE	Jean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu Wang: Extended Modeling Languages for Interaction Protocol Design. AOSE 2001: 68-83
3	EE	Jun Wei, Shing-Chi Cheung, Xu Wang: Exploiting Automatic Analysis of E-Commerce Protocols. COMPSAC 2001: 55-
2	EE	Jun 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
	1998
1	EE	Xu Wang, Tao Huang, Jun Qian: Group Model for Decentralized Federation of Object Creation Service. TOOLS (27) 1998: 127-

Coauthor Index

1	Wang Bing-xi	[7]
2	Shing-Chi Cheung (S. C. Cheung)	[2] [3] [5]
3	Dongrui Fan	[13]
4	Yulin Feng	[2]
5	Ge Gan	[13] [18] [20]
6	Guang R. Gao	[18] [20]
7	Shuxu Guo	[13]
8	Tao Huang	[1]
9	Marc-Philippe Huget	[4]
10	Jingjing Jin	[16] [17]
11	Jean-Luc Koning	[4]
12	Marta Z. Kwiatkowska	[8] [9] [10] [11] [12]
13	Ranko Lazic (R. S. Lazic)	[6]
14	Chuang Li	[21]
15	Jing Li	[2]
16	Kang Li	[21]
17	Shilong Li	[16] [17]
18	Babak Malek	[15]
19	Joseph Manzano	[13] [18] [20]
20	Ding Qi	[7]
21	Jun Qian	[1]
22	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[6]
23	Sandip Roy	[15]
24	Ali Saberi	[15]
25	Xiaohua Shi	[21]
26	Georgios K. Theodoropoulos	[8] [9]
27	Yan Wan	[15]
28	Xue Wang	[14]
29	Zhijun Wang	[14]
30	Jun Wei	[2] [3] [4] [5]
31	Yingnan Wu	[16] [17]
32	Mengran Xue	[15]
33	Tao Yang	[15]
34	Mingming Zhang	[19]
35	Qianyi Zhang	[8] [9]
36	Shuguang Zhao	[19]
37	Huan Zhou	[2]

Colors in the list of coauthors