Xu Wang

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
16	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
15	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
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]
6	Shuxu Guo	[13]
7	Tao Huang	[1]
8	Marc-Philippe Huget	[4]
9	Jingjing Jin	[15] [16]
10	Jean-Luc Koning	[4]
11	Marta Z. Kwiatkowska	[8] [9] [10] [11] [12]
12	Ranko Lazic (R. S. Lazic)	[6]
13	Jing Li	[2]
14	Shilong Li	[15] [16]
15	Joseph Manzano	[13]
16	Ding Qi	[7]
17	Jun Qian	[1]
18	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[6]
19	Georgios K. Theodoropoulos	[8] [9]
20	Xue Wang	[14]
21	Zhijun Wang	[14]
22	Jun Wei	[2] [3] [4] [5]
23	Yingnan Wu	[15] [16]
24	Qianyi Zhang	[8] [9]
25	Huan Zhou	[2]

Colors in the list of coauthors