Bican Xia Vis

*	2009
13	EE	Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang: Computing Cylindrical Algebraic Decomposition via Triangular Decomposition CoRR abs/0903.5221: (2009)
12	EE	Bican Xia, Zhihai Zhang: Termination of Linear Programs with Nonlinear Constraints CoRR abs/0904.3588: (2009)
11	EE	Zhihai Zhang, Tian Fang, Bican Xia: Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems CoRR abs/0906.3065: (2009)
	2008
10	EE	Bican Xia, Lu Yang, Naijun Zhan: Program Verification by Reduction to Semi-algebraic Systems Solving. ISoLA 2008: 277-291
	2007
9	EE	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
8	EE	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ICTAC 2007: 34-49
7	EE	Ting Zhang, Bican Xia: A New Method for Real Root Isolation of Univariate Polynomials. Mathematics in Computer Science 1(2): 305-320 (2007)
6	EE	Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng: Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. Science in China Series F: Information Sciences 50(5): 719-731 (2007)
	2006
5	EE	Lu Yang, Bican Xia: Quantifier Elimination for Quartics. AISC 2006: 131-145
	2005
4	EE	Dongming Wang, Bican Xia: Stability analysis of biological systems with real solution classification. ISSAC 2005: 354-361
3	EE	Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou: Program Verification by Using DISCOVERER. VSTTE 2005: 528-538
	2002
2	EE	Bican Xia, Lu Yang: An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. J. Symb. Comput. 34(5): 461-477 (2002)
	1998
1	EE	Lu Yang, Xiaorong Hou, Bican Xia: Automated Discovering and Proving for Geometric Inequalities. Automated Deduction in Geometry 1998: 30-46

Coauthor Index

1	Changbo Chen	[13]
2	Yinghua Chen	[8] [9]
3	Tian Fang	[11]
4	Qiang Guan	[6]
5	Xiaorong Hou	[1]
6	Marc Moreno Maza	[13]
7	Dongming Wang	[4]
8	Long Wang	[6]
9	Lu Yang	[1] [2] [3] [5] [6] [8] [9] [10] [13]
10	Wensheng Yu	[6]
11	Zhenbing Zeng	[6]
12	Naijun Zhan	[3] [8] [9] [10]
13	Ting Zhang	[7]
14	Zhihai Zhang	[11] [12]
15	Chaochen Zhou (Zhou Chaochen)	[3] [8]

Colors in the list of coauthors