Xiaowei Huang

	2009
5		Xiaowei Huang, Ron van der Meyden: Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. Australasian Conference on Artificial Intelligence 2009: 11-20
	2008
4		Xiaowei Huang, Li Jiao, Weiming Lu: Weak Parametric Failure Equivalences and Their Congruence Formats. CATS 2008: 15-26
	2007
3		Xiaowei Huang, Jie Meng: A Semantic Preorder Combining ST Notion and Fair Testing Semantic. FCS 2007: 82-88
2		Xiaowei Huang, Li Jiao, Weiming Lu: What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. ICICS 2007: 334-349
1		Xiaowei Huang, Jie Meng: A Modular Petri Net Used in Synchronous Communication of Sequential Processes. MSV 2007: 194-200

Coauthor Index

1	Li Jiao	[2] [4]
2	Weiming Lu	[2] [4]
3	Jie Meng	[1] [3]
4	Ron van der Meyden	[5]

Colors in the list of coauthors