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

2007
10	EE	Xu Wang, Marta Z. Kwiatkowska: Compositional State Space Reduction Using Untangled Actions. Electr. Notes Theor. Comput. Sci. 175(3): 27-46 (2007)
2006
9	EE	Xu Wang, Marta Z. Kwiatkowska: On process-algebraic verification of asynchronous circuits. ACSD 2006: 37-46
8	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
7	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
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	Shing-Chi Cheung (S. C. Cheung)	[2] [3] [5]
2	Yulin Feng	[2]
3	Tao Huang	[1]
4	Marc-Philippe Huget	[4]
5	Jean-Luc Koning	[4]
6	Marta Z. Kwiatkowska	[7] [8] [9] [10]
7	Ranko Lazic (R. S. Lazic)	[6]
8	Jing Li	[2]
9	Jun Qian	[1]
10	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[6]
11	Georgios K. Theodoropoulos	[7] [8]
12	Jun Wei	[2] [3] [4] [5]
13	Qianyi Zhang	[7] [8]
14	Huan Zhou	[2]

Colors in the list of coauthors