Qianyi Zhang

	2006
5		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
4		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
3		Qianyi Zhang, Georgios K. Theodoropoulos: Modelling SAMIPS: A Synthesisable Asynchronous MIPS Processor. Annual Simulation Symposium 2004: 205-212
2		Georgios K. Theodoropoulos, Qianyi Zhang: A Distributed Colouring Algorithm for Control Hazards in Asynchronous Pipelines. ISPAN 2004: 266-272
	2003
1		Qianyi Zhang, Georgios K. Theodoropoulos: Towards an Asynchronous MIPS Processor. Asia-Pacific Computer Systems Architecture Conference 2003: 137-150

Coauthor Index

1	Marta Z. Kwiatkowska	[4] [5]
2	Georgios K. Theodoropoulos	[1] [2] [3] [4] [5]
3	Xu Wang	[4] [5]