Yinghua Chen

	2007
3		Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan: Generating Polynomial Invariants with DISCOVERER and QEPCAD. Formal Methods and Hybrid Real-Time Systems 2007: 67-82
2		Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ICTAC 2007: 34-49
1		Wanbin Ren, Yinghua Chen, Guofu Zhai: Modeling and Simulation of Hermetically Sealed Electromagnetic Relay under Mechanical Environment. IEICE Transactions 90-C(7): 1448-1454 (2007)

Coauthor Index

1	Wanbin Ren	[1]
2	Bican Xia	[2] [3]
3	Lu Yang	[2] [3]
4	Guofu Zhai	[1]
5	Naijun Zhan	[2] [3]
6	Chaochen Zhou (Zhou Chaochen)	[2]

Colors in the list of coauthors