Bican Xia

1.5k total citations
51 papers, 531 citations indexed

About

Bican Xia is a scholar working on Computational Theory and Mathematics, Computational Mechanics and Artificial Intelligence. According to data from OpenAlex, Bican Xia has authored 51 papers receiving a total of 531 indexed citations (citations by other indexed papers that have themselves been cited), including 47 papers in Computational Theory and Mathematics, 17 papers in Computational Mechanics and 9 papers in Artificial Intelligence. Recurrent topics in Bican Xia's work include Polynomial and algebraic computation (36 papers), Formal Methods in Verification (18 papers) and Advanced Numerical Analysis Techniques (17 papers). Bican Xia is often cited by papers focused on Polynomial and algebraic computation (36 papers), Formal Methods in Verification (18 papers) and Advanced Numerical Analysis Techniques (17 papers). Bican Xia collaborates with scholars based in China, United Kingdom and Canada. Bican Xia's co-authors include Yang Lu, Xiaorong Hou, Naijun Zhan, Marc Moreno Maza, Changbo Chen, Rong Xiao, Zhikun She, Zhiming Zheng, Ting Zhang and James H. Davenport and has published in prestigious journals such as IEEE Transactions on Automatic Control, Computers & Mathematics with Applications and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

In The Last Decade

Bican Xia

49 papers receiving 501 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Bican Xia China 13 344 129 113 111 75 51 531
Thorsten Theobald Germany 12 220 0.6× 24 0.2× 71 0.6× 75 0.7× 80 1.1× 42 419
B. F. Caviness United States 9 329 1.0× 50 0.4× 80 0.7× 117 1.1× 93 1.2× 23 485
Rüdiger Loos Germany 9 334 1.0× 38 0.3× 73 0.6× 185 1.7× 69 0.9× 21 492
Marc Moreno Maza Canada 17 689 2.0× 32 0.2× 224 2.0× 158 1.4× 188 2.5× 82 807
Dmitrii V. Ṗasechnik Netherlands 14 448 1.3× 41 0.3× 66 0.6× 161 1.5× 114 1.5× 66 777
Mirjam Dür Germany 15 459 1.3× 149 1.2× 116 1.0× 41 0.4× 29 0.4× 33 654
Gilbert Stengle United States 9 179 0.5× 68 0.5× 39 0.3× 79 0.7× 57 0.8× 29 451
Hariharan Narayanan United States 11 163 0.5× 28 0.2× 22 0.2× 126 1.1× 51 0.7× 42 443
Fabrice Rouillier France 13 552 1.6× 84 0.7× 305 2.7× 65 0.6× 164 2.2× 40 785
Martin Kreuzer Germany 13 480 1.4× 35 0.3× 132 1.2× 151 1.4× 291 3.9× 54 775

Countries citing papers authored by Bican Xia

Since Specialization
Citations

This map shows the geographic impact of Bican Xia's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Bican Xia with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Bican Xia more than expected).

Fields of papers citing papers by Bican Xia

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Bican Xia. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Bican Xia. The network helps show where Bican Xia may publish in the future.

Co-authorship network of co-authors of Bican Xia

This figure shows the co-authorship network connecting the top 25 collaborators of Bican Xia. A scholar is included among the top collaborators of Bican Xia based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Bican Xia. Bican Xia is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Chen, Yu‐Fang, et al.. (2023). A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica. 61(1). 23–52. 3 indexed citations
2.
Li, Haokun, Bican Xia, & Tianqi Zhao. (2023). Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems. Journal of Systems Science and Complexity. 36(6). 2661–2680. 1 indexed citations
3.
4.
Bai, Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, & Bican Xia. (2020). Safety Verification for Random Ordinary Differential Equations. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11). 4090–4101. 3 indexed citations
5.
Wang, Yu & Bican Xia. (2019). A Hybrid Procedure for Finding Real Points on a Real Algebraic Set. Journal of Systems Science and Complexity. 32(1). 185–204. 2 indexed citations
6.
Hong, Hoon, et al.. (2016). Open weak CAD and its applications. Journal of Symbolic Computation. 80. 785–816. 4 indexed citations
7.
Xia, Bican, et al.. (2016). Barrier certificates revisited. Journal of Symbolic Computation. 80. 62–86. 38 indexed citations
8.
Jin, Zhi, et al.. (2015). Proving inequalities and solving global optimization problems via simplified CAD projection. Journal of Symbolic Computation. 72. 206–230. 6 indexed citations
9.
Hong, Hoon, Xiaoxian Tang, & Bican Xia. (2014). Special algorithm for stability analysis of multistable biological regulatory systems. Journal of Symbolic Computation. 70. 112–135. 8 indexed citations
10.
She, Zhikun, Haoyang Li, Xue Bai, Zhiming Zheng, & Bican Xia. (2013). Discovering polynomial Lyapunov functions for continuous dynamical systems. Journal of Symbolic Computation. 58. 41–63. 23 indexed citations
11.
Chen, Changbo, James H. Davenport, Marc Moreno Maza, Bican Xia, & Rong Xiao. (2012). Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. Journal of Symbolic Computation. 52. 72–96. 7 indexed citations
12.
Chen, Changbo, James H. Davenport, François Lemaire, et al.. (2012). Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM communications in computer algebra. 45(3/4). 166–168. 3 indexed citations
13.
Chen, Changbo, James H. Davenport, John P. May, et al.. (2011). Triangular decomposition of semi-algebraic systems. Journal of Symbolic Computation. 49. 3–26. 21 indexed citations
14.
She, Zhikun, Bican Xia, & Zhiming Zheng. (2010). Condition number based complexity estimate for solving polynomial systems. Journal of Computational and Applied Mathematics. 235(8). 2670–2678. 5 indexed citations
15.
Xia, Bican & Zhihai Zhang. (2010). Termination of linear programs with nonlinear constraints. Journal of Symbolic Computation. 45(11). 1234–1249. 7 indexed citations
16.
She, Zhikun, Bican Xia, Rong Xiao, & Zhiming Zheng. (2009). A semi-algebraic approach for asymptotic stability analysis. Nonlinear Analysis Hybrid Systems. 3(4). 588–596. 27 indexed citations
17.
Xia, Bican & Ting Zhang. (2006). Real solution isolation using interval arithmetic. Computers & Mathematics with Applications. 52(6-7). 853–860. 26 indexed citations
18.
Xia, Bican & Yang Lu. (2004). A new result on the p-irreducibility of binding polynomials. Computers & Mathematics with Applications. 48(12). 1811–1817.
19.
Xia, Bican & Yang Lu. (2002). An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. Journal of Symbolic Computation. 34(5). 461–477. 41 indexed citations
20.
Lu, Yang, Xiaorong Hou, & Bican Xia. (2001). A complete algorithm for automated discovering of a class of inequality-type theorems. Science in China Series F Information Sciences. 44(1). 33–49. 65 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Thorsten Theobald Breakdown of academic impact, for papers by B. F. Caviness Breakdown of academic impact, for papers by Rüdiger Loos Breakdown of academic impact, for papers by Marc Moreno Maza Breakdown of academic impact, for papers by Dmitrii V. Ṗasechnik Breakdown of academic impact, for papers by Mirjam Dür Breakdown of academic impact, for papers by Gilbert Stengle Breakdown of academic impact, for papers by Hariharan Narayanan Breakdown of academic impact, for papers by Fabrice Rouillier Breakdown of academic impact, for papers by Martin Kreuzer
Rankless by CCL
2026