default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBican Xia
Person information
SPARQL queries 
🛈 Please note that only 71% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan:
A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica 61(1): 23-52 (2024)- [j31]Rizeng Chen, Haokun Li
, Bican Xia, Tianqi Zhao, Tao Zheng:
Isolating all the real roots of a mixed trigonometric-polynomial. J. Symb. Comput. 121: 102250 (2024) - [c37]Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan:
Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets. FM (1) 2024: 92-110 - [c36]Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan:
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. FM (2) 2024: 248-266 - [c35]Rizeng Chen, Bican Xia:
Reduction of Transcendental Decision Problems over the Reals. ISSAC 2024: 56-64 - [i33]Yulun Wu, Bohua Zhan, Bican Xia:
OSVAuto: semi-automatic verifier for functional specifications of operating systems. CoRR abs/2403.13457 (2024) - [i32]Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue:
A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems. CoRR abs/2404.09007 (2024) - [i31]Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan:
Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. CoRR abs/2407.00625 (2024) - 2023
- [j30]Haokun Li, Bican Xia, Tianqi Zhao:
Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems. J. Syst. Sci. Complex. 36(6): 2661-2680 (2023) - [j29]Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng:
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure. J. Symb. Comput. 116: 324-344 (2023) - [c34]Haokun Li, Bican Xia, Tianqi Zhao:
Local Search for Solving Satisfiability of Polynomial Formulas. CAV (2) 2023: 87-109 - [c33]Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang, Bai Xue:
Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. CDC 2023: 5804-5811 - [c32]Rizeng Chen, Bican Xia:
Deciding first-order formulas involving univariate mixed trigonometric-polynomials. ISSAC 2023: 145-154 - [c31]Xinpeng Ni, Yulun Wu, Bican Xia:
Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification. SETTA 2023: 171-188 - [i30]Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng:
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial. CoRR abs/2301.05847 (2023) - [i29]Haokun Li, Bican Xia, Tianqi Zhao:
Local Search for Solving Satisfiability of Polynomial Formulas. CoRR abs/2303.09072 (2023) - [i28]Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan:
Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition. CoRR abs/2312.15416 (2023) - 2022
- [c30]Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia:
Compositional Verification of Interacting Systems Using Event Monads. ITP 2022: 33:1-33:21 - [i27]Haokun Li, Bican Xia, Tianqi Zhao:
Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems. CoRR abs/2202.06044 (2022) - 2021
- [c29]Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan:
Switching controller synthesis for delay hybrid systems under perturbations. HSCC 2021: 3:1-3:11 - [c28]Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng:
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. ISSAC 2021: 281-288 - [i26]Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng:
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. CoRR abs/2102.00823 (2021) - [i25]Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan:
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. CoRR abs/2103.11565 (2021) - 2020
- [j28]Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia:
Safety Verification for Random Ordinary Differential Equations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 4090-4101 (2020) - [c27]Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai:
Nonlinear Craig Interpolant Generation. CAV (1) 2020: 415-438 - [i24]Haokun Li, Bican Xia:
Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection. CoRR abs/2003.00409 (2020)
2010 – 2019
- 2019
- [j27]Yu Wang, Bican Xia:
A Hybrid Procedure for Finding Real Points on a Real Algebraic Set. J. Syst. Sci. Complex. 32(1): 185-204 (2019) - [j26]Liyun Dai, Zhe Fan, Bican Xia, Hanwen Zhang:
Logcf: An Efficient Tool for Real Root Isolation. J. Syst. Sci. Complex. 32(6): 1767-1782 (2019) - [c26]Jie Wang, Haokun Li, Bican Xia:
A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. ISSAC 2019: 347-354 - [c25]Tao Zheng, Bican Xia:
An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers. ISSAC 2019: 371-378 - [i23]Ting Gan, Bican Xia, Bai Xue, Naijun Zhan:
Nonlinear Craig Interpolant Generation. CoRR abs/1903.01297 (2019) - 2018
- [j25]Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan:
Reachability Analysis for Solvable Dynamical Systems. IEEE Trans. Autom. Control. 63(7): 2003-2018 (2018) - [c24]Yu Wang, Wenyuan Wu, Bican Xia:
Early Ending in Homotopy Path-Tracking for Real Roots. AISC 2018: 181-194 - [c23]Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan:
Monitoring CTMCs by Multi-clock Timed Automata. CAV (1) 2018: 507-526 - [i22]Haokun Li, Bican Xia:
Block SOS Decomposition. CoRR abs/1801.07954 (2018) - [i21]Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen:
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR abs/1809.07177 (2018) - 2017
- [j24]Qiuye Wang, Yangjia Li, Bican Xia, Naijun Zhan:
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. J. Syst. Sci. Complex. 30(1): 234-252 (2017) - [j23]Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan:
Barrier certificates revisited. J. Symb. Comput. 80: 62-86 (2017) - [j22]Jingjun Han, Liyun Dai, Hoon Hong, Bican Xia:
Open weak CAD and its applications. J. Symb. Comput. 80: 785-816 (2017) - [c22]Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia:
Finding Polynomial Loop Invariants for Probabilistic Programs. ATVA 2017: 400-416 - [c21]Yu Wang, Wenyuan Wu, Bican Xia:
A Special Homotopy Continuation Method for a Class of Polynomial Systems. CASC 2017: 362-376 - [i20]Yu Wang, Wenyuan Wu, Bican Xia:
A Special Homotopy Continuation Method For A Class of Polynomial Systems. CoRR abs/1704.07536 (2017) - [i19]Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia:
Finding polynomial loop invariants for probabilistic programs. CoRR abs/1707.02690 (2017) - 2016
- [b1]Bican Xia, Lu Yang:
Automated Inequality Proving and Discovering. WorldScientific 2016, ISBN 9789814759113, pp. 1-344 - [j21]Jingjun Han, Zhi Jin, Bican Xia:
Proving inequalities and solving global optimization problems via simplified CAD projection. J. Symb. Comput. 72: 206-230 (2016) - [c20]Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen:
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. IJCAR 2016: 195-212 - [c19]Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan:
Computing reachable sets of linear vector fields revisited. ECC 2016: 419-426 - [i18]Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen:
Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}. CoRR abs/1601.04802 (2016) - 2015
- [j20]Liyun Dai, Bican Xia:
Smaller SDP for SOS decomposition. J. Glob. Optim. 63(2): 343-361 (2015) - [j19]Zhenghong Chen, Xiaoxian Tang, Bican Xia:
Generic regular decompositions for parametric polynomial systems. J. Syst. Sci. Complex. 28(5): 1194-1211 (2015) - [j18]Hoon Hong, Xiaoxian Tang, Bican Xia:
Special algorithm for stability analysis of multistable biological regulatory systems. J. Symb. Comput. 70: 112-135 (2015) - [c18]Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan:
Decidability of the Reachability for a Family of Linear Vector Fields. ATVA 2015: 482-499 - [i17]Liyun Dai, Jingjun Han, Hoon Hong, Bican Xia:
Open Weak CAD and Its Applications. CoRR abs/1507.03834 (2015) - 2014
- [j17]Xiaoxian Tang, Zhenghong Chen, Bican Xia:
Generic regular decompositions for generic zero-dimensional systems. Sci. China Inf. Sci. 57(9): 1-14 (2014) - [c17]Zhenghong Chen, Xiaoxian Tang, Bican Xia:
Hierarchical Comprehensive Triangular Decomposition. ICMS 2014: 434-441 - [c16]Jingjun Han, Liyun Dai, Bican Xia:
Constructing fewer open cells by GCD computation in CAD projection. ISSAC 2014: 240-247 - [i16]Jingjun Han, Liyun Dai, Bican Xia:
Constructing Fewer Open Cells by GCD Computation in CAD Projection. CoRR abs/1401.4953 (2014) - [i15]Zhenghong Chen, Xiaoxian Tang, Bican Xia:
Hierarchical Comprehensive Triangular Decomposition. CoRR abs/1406.0599 (2014) - 2013
- [j16]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49: 3-26 (2013) - [j15]Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao:
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. J. Symb. Comput. 52: 72-96 (2013) - [j14]Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng, Bican Xia:
Discovering polynomial Lyapunov functions for continuous dynamical systems. J. Symb. Comput. 58: 41-63 (2013) - [c15]Liyun Dai, Bican Xia, Naijun Zhan:
Generating Non-linear Interpolants by Semidefinite Programming. CAV 2013: 364-380 - [i14]Zhenghong Chen, Xiaoxian Tang, Bican Xia:
Generic Regular Decompositions for Parametric Polynomial Systems. CoRR abs/1301.3991 (2013) - [i13]Liyun Dai, Bican Xia, Naijun Zhan:
Generating Non-Linear Interpolants by Semidefinite Programming. CoRR abs/1302.4739 (2013) - [i12]Lu Yang, Bican Xia:
Deciding Nonnegativity of Polynomials by MAPLE. CoRR abs/1306.4059 (2013) - [i11]Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan:
Barrier Certificates Revisited. CoRR abs/1310.6481 (2013) - [i10]Hoon Hong, Xiaoxian Tang, Bican Xia:
Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems. CoRR abs/1312.1780 (2013) - 2012
- [j13]Marc Moreno Maza, Bican Xia, Rong Xiao:
On Solving Parametric Polynomial Systems. Math. Comput. Sci. 6(4): 457-473 (2012) - [c14]Fei Shen, Wenyuan Wu, Bican Xia:
Real Root Isolation of Polynomial Equations Based on Hybrid Computation. ASCM 2012: 375-396 - [c13]Liyun Dai, Bican Xia:
Non-termination Sets of Simple Linear Loops. ICTAC 2012: 61-73 - [i9]Liyun Dai, Bican Xia:
Non-Termination Sets of Simple Linear Loops. CoRR abs/1206.0232 (2012) - [i8]Fei Shen, Wenyuan Wu, Bican Xia:
Real Root Isolation of Polynomial Equations Based on Hybrid Computation. CoRR abs/1207.3019 (2012) - [i7]Xiaoxian Tang, Zhenghong Chen, Bican Xia:
Generic Regular Decompositions for Generic Zero-Dimensional Systems. CoRR abs/1208.6112 (2012) - [i6]Liyun Dai, Bican Xia:
logcf: An Efficient Tool for Real Root Isolation. CoRR abs/1209.3555 (2012) - 2011
- [j12]Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie:
Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Commun. Comput. Algebra 45(3/4): 166-168 (2011) - [j11]Zhihai Zhang, Tian Fang, Bican Xia:
Real solution isolation with multiplicity of zero-dimensional triangular systems. Sci. China Inf. Sci. 54(1): 60-69 (2011) - [j10]Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang:
Symbolic decision procedure for termination of linear programs. Formal Aspects Comput. 23(2): 171-190 (2011) - [j9]Zhikun She, Bican Xia, Zhiming Zheng:
Condition number based complexity estimate for solving polynomial systems. J. Comput. Appl. Math. 235(8): 2670-2678 (2011) - [c12]Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao:
Computing with semi-algebraic sets represented by triangular decomposition. ISSAC 2011: 75-82 - 2010
- [j8]Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia:
Recent advances in program verification through computer algebra. Frontiers Comput. Sci. China 4(1): 1-16 (2010) - [j7]Bican Xia, Zhihai Zhang:
Termination of linear programs with nonlinear constraints. J. Symb. Comput. 45(11): 1234-1249 (2010) - [c11]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular decomposition of semi-algebraic systems. ISSAC 2010: 187-194 - [i5]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular Decomposition of Semi-algebraic Systems. CoRR abs/1002.4784 (2010) - [i4]Yinglin Li, Bican Xia, Zhihai Zhang:
Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems. CoRR abs/1011.1634 (2010)
2000 – 2009
- 2009
- [c10]Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang:
Computing cylindrical algebraic decomposition via triangular decomposition. ISSAC 2009: 95-102 - [i3]Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang:
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition. CoRR abs/0903.5221 (2009) - [i2]Bican Xia, Zhihai Zhang:
Termination of Linear Programs with Nonlinear Constraints. CoRR abs/0904.3588 (2009) - [i1]Zhihai Zhang, Tian Fang, Bican Xia:
Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems. CoRR abs/0906.3065 (2009) - 2008
- [c9]Bican Xia, Lu Yang, Naijun Zhan:
Program Verification by Reduction to Semi-algebraic Systems Solving. ISoLA 2008: 277-291 - 2007
- [j6]Bican Xia:
DISCOVERER: a tool for solving semi-algebraic systems. ACM Commun. Comput. Algebra 41(3): 102-103 (2007) - [j5]Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng:
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. Sci. China Ser. F Inf. Sci. 50(5): 719-731 (2007) - [j4]Ting Zhang, Bican Xia:
A New Method for Real Root Isolation of Univariate Polynomials. Math. Comput. Sci. 1(2): 305-320 (2007) - [c8]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 - [c7]Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou:
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ICTAC 2007: 34-49 - 2006
- [j3]Bican Xia, Ting Zhang:
Real solution isolation using interval arithmetic. Comput. Math. Appl. 52(6-7): 853-860 (2006) - [c6]Lu Yang, Bican Xia:
Quantifier Elimination for Quartics. AISC 2006: 131-145 - [c5]Zhikun She, Bican Xia, Rong Xiao:
A Semi-Algebraic Approach for the Computation of Lyapunov Functions. Computational Intelligence 2006: 7-12 - 2005
- [c4]Lu Yang, Bican Xia:
Real Solution Classification for Parametric Semi-Algebraic Systems. Algorithmic Algebra and Logic 2005: 281-289 - [c3]Dongming Wang, Bican Xia:
Stability analysis of biological systems with real solution classification. ISSAC 2005: 354-361 - [c2]Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou:
Program Verification by Using DISCOVERER. VSTTE 2005: 528-538 - 2002
- [j2]Bican Xia, Lu Yang:
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. J. Symb. Comput. 34(5): 461-477 (2002) - 2001
- [j1]Lu Yang, Xiaorong Hou, Bican Xia:
A complete algorithm for automated discovering of a class of inequality-type theorems. Sci. China Ser. F Inf. Sci. 44(1): 33-49 (2001)
1990 – 1999
- 1998
- [c1]Lu Yang, Xiaorong Hou, Bican Xia:
Automated Discovering and Proving for Geometric Inequalities. Automated Deduction in Geometry 1998: 30-46
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-09 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
