Bican Xia

	2009
14		Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang: Computing cylindrical algebraic decomposition via triangular decomposition. ISSAC 2009: 95-102
13		Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang: Computing Cylindrical Algebraic Decomposition via Triangular Decomposition CoRR abs/0903.5221: (2009)
12		Bican Xia, Zhihai Zhang: Termination of Linear Programs with Nonlinear Constraints CoRR abs/0904.3588: (2009)
11		Zhihai Zhang, Tian Fang, Bican Xia: Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems CoRR abs/0906.3065: (2009)
	2008
10		Bican Xia, Lu Yang, Naijun Zhan: Program Verification by Reduction to Semi-algebraic Systems Solving. ISoLA 2008: 277-291
	2007
9		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		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		Ting Zhang, Bican Xia: A New Method for Real Root Isolation of Univariate Polynomials. Mathematics in Computer Science 1(2): 305-320 (2007)
6		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		Lu Yang, Bican Xia: Quantifier Elimination for Quartics. AISC 2006: 131-145
	2005
4		Dongming Wang, Bican Xia: Stability analysis of biological systems with real solution classification. ISSAC 2005: 354-361
3		Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou: Program Verification by Using DISCOVERER. VSTTE 2005: 528-538
	2002
2		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		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] [14]
2	Yinghua Chen	[8] [9]
3	Tian Fang	[11]
4	Qiang Guan	[6]
5	Xiaorong Hou	[1]
6	Marc Moreno Maza	[13] [14]
7	Dongming Wang	[4]
8	Long Wang	[6]
9	Lu Yang	[1] [2] [3] [5] [6] [8] [9] [10] [13] [14]
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