Bican Xia - Concepedia

Author

Bican Xia

Peking University ORCID

Also Known As

B. C. XIA, BICAN XIA, Baishu Xia, BiCan Xia, Bican Xia, Binghui Xia, Xia Bican, Xia, Bican, Xu, Jiale

128

Publications

1.5K

Citations

H-Index

Concepts

All Affiliations

Peking University Western University Chinese Academy of Sciences University of Bath Institute of Software

About

Bican Xia is an author at Peking University specializing in engineering, computer science, and mathematical programming.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	15	577
2	Computer Science	8	8	317
3	Natural Sciences	1	1	98
4	Cell Biology	1	1	49
5	Data Science	1	1	19

Bican Xia

Publications

998

Citations

H-Index

Page 1

	Year	Citations
A complete algorithm for automated discovering of a class of inequality-type theorems Yang Lu, Xiaorong Hou, Bican Xia Science in China Series F Information Sciences Mathematical ProgrammingComputational Complexity TheoryEngineeringData MiningAutomated Reasoning	2001	126
Computing cylindrical algebraic decomposition via triangular decomposition Changbo Chen, Marc Moreno Maza, Bican Xia, Numerical AnalysisGeometric ModelingNumerical ComputationEngineeringAlgebraic Structure	2009	98
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems Bican Xia, Yang Lu Journal of Symbolic Computation Mathematical ProgrammingAlgebraic StructureAlgebraic MethodAlgebraic AnalysisReal Solutions	2002	76
Barrier certificates revisited Liyun Dai, Ting Gan, Bican Xia, Journal of Symbolic Computation Public Key InfrastructureEngineeringBarrier CertificatesInformation SecuritySoftware Certification	2016	71
DISCOVERER Bican Xia ACM communications in computer algebra Abstract Object Theory	2007	67
Triangular decomposition of semi-algebraic systems Changbo Chen, James H. Davenport, John P. May, Journal of Symbolic Computation Mathematical ProgrammingAlgebraic StructureAlgebraic MethodTransformation SemigroupsTriangular Decomposition	2011	55
Stability analysis of biological systems with real solution classification Dongming Wang, Bican Xia Stability AnalysisEngineeringBiocyberneticsComplex Biological SystemBiological Network	2005	49
Real solution isolation using interval arithmetic Bican Xia, Ting Zhang Computers & Mathematics with Applications Numerical AnalysisValidated NumericsInterval AnalysisInterval ComputationReal Solution Isolation	2006	48
Reachability Analysis for Solvable Dynamical Systems Ting Gan, Mingshuai Chen, Yangjia Li, IEEE Transactions on Automatic Control Reachability AnalysisEngineeringReachability ProblemDiscrete Dynamical SystemFormal Methods	2017	39
Discovering polynomial Lyapunov functions for continuous dynamical systems Zhikun She, Haoyang Li, Xue Bai, Journal of Symbolic Computation Discrete Dynamical SystemPolynomial Lyapunov FunctionsLyapunov AnalysisSystem DynamicStability	2013	38

Page 1