Bican Xia - RankMe

109 papers A* 1A 1B 14C 4Misc 3Journal 68Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Quantifier Elimination Meets Treewidth. TACAS (1) Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan
2026	J	`jnl`	Quantifier Elimination Meets Treewidth. CoRR Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan
2025	J	`jnl`	A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD. CoRR Tianyi Ding, Haokun Li, Xinpeng Ni, Bican Xia, Tianqi Zhao
2025	C	`conf`	Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA. ICFEM Xinpeng Ni, Tianyi Ding, Bican Xia
2024	J	`jnl`	A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems. CoRR Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue
2024	J	`jnl`	A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan
2024	J	`jnl`	An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial. CoRR Simin Qin, Bican Xia, Jing Yang
2024	J	`jnl`	Isolating all the real roots of a mixed trigonometric-polynomial. J. Symb. Comput. Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng
2024	—	`conf`	Local Search for Checking Satisfiability of Formulas with Trigonometric Functions. ATVA (2) Xinpeng Ni, Bican Xia, Tianqi Zhao
2024	—	`conf`	Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets. FM (1) Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan
2024	J	`jnl`	Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. CoRR Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan
2024	J	`jnl`	OSVAuto: semi-automatic verifier for functional specifications of operating systems. CoRR Yulun Wu, Bohua Zhan, Bican Xia
2024	—	`conf`	On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. FM (2) Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
2024	B	`conf`	Reduction of Transcendental Decision Problems over the Reals. ISSAC Rizeng Chen, Bican Xia
2023	J	`jnl`	Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure. J. Symb. Comput. Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
2023	B	`conf`	Deciding first-order formulas involving univariate mixed trigonometric-polynomials. ISSAC Rizeng Chen, Bican Xia
2023	J	`jnl`	Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition. CoRR Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
2023	J	`jnl`	Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial. CoRR Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng
2023	—	`conf`	Local Search for Solving Satisfiability of Polynomial Formulas. CAV (2) Haokun Li, Bican Xia, Tianqi Zhao
2023	J	`jnl`	Local Search for Solving Satisfiability of Polynomial Formulas. CoRR Haokun Li, Bican Xia, Tianqi Zhao
2023	—	`conf`	Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. CDC Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang, Bai Xue
2023	Misc	`conf`	Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification. SETTA Xinpeng Ni, Yulun Wu, Bican Xia
2023	J	`jnl`	Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems. J. Syst. Sci. Complex. Haokun Li, Bican Xia, Tianqi Zhao
2022	B	`conf`	Compositional Verification of Interacting Systems Using Event Monads. ITP Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia
2022	J	`jnl`	Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems. CoRR Haokun Li, Bican Xia, Tianqi Zhao
2021	B	`conf`	Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. ISSAC Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
2021	J	`jnl`	Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. CoRR Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
2021	J	`jnl`	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. CoRR Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
2021	—	`conf`	Switching controller synthesis for delay hybrid systems under perturbations. HSCC Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
2020	—	`conf`	Nonlinear Craig Interpolant Generation. CAV (1) Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai
2020	J	`jnl`	Safety Verification for Random Ordinary Differential Equations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia
2020	J	`jnl`	Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection. CoRR Haokun Li, Bican Xia
2019	J	`jnl`	A Hybrid Procedure for Finding Real Points on a Real Algebraic Set. J. Syst. Sci. Complex. Yu Wang, Bican Xia
2019	B	`conf`	A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. ISSAC Jie Wang, Haokun Li, Bican Xia
2019	B	`conf`	An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers. ISSAC Tao Zheng, Bican Xia
2019	J	`jnl`	Logcf: An Efficient Tool for Real Root Isolation. J. Syst. Sci. Complex. Liyun Dai, Zhe Fan, Bican Xia, Hanwen Zhang
2019	J	`jnl`	Nonlinear Craig Interpolant Generation. CoRR Ting Gan, Bican Xia, Bai Xue, Naijun Zhan
2018	J	`jnl`	Block SOS Decomposition. CoRR Haokun Li, Bican Xia
2018	Misc	`conf`	Early Ending in Homotopy Path-Tracking for Real Roots. AISC Yu Wang, Wenyuan Wu, Bican Xia
2018	—	`conf`	Monitoring CTMCs by Multi-clock Timed Automata. CAV (1) Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan
2018	J	`jnl`	Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen
2018	J	`jnl`	Reachability Analysis for Solvable Dynamical Systems. IEEE Trans. Autom. Control. Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
2017	J	`jnl`	A Special Homotopy Continuation Method For A Class of Polynomial Systems. CoRR Yu Wang, Wenyuan Wu, Bican Xia
2017	B	`conf`	A Special Homotopy Continuation Method for a Class of Polynomial Systems. CASC Yu Wang, Wenyuan Wu, Bican Xia
2017	J	`jnl`	Barrier certificates revisited. J. Symb. Comput. Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan
2017	B	`conf`	Finding Polynomial Loop Invariants for Probabilistic Programs. ATVA Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia
2017	J	`jnl`	Finding polynomial loop invariants for probabilistic programs. CoRR Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia
2017	J	`jnl`	Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. J. Syst. Sci. Complex. Qiuye Wang, Yangjia Li, Bican Xia, Naijun Zhan
2017	J	`jnl`	Open weak CAD and its applications. J. Symb. Comput. Jingjun Han, Liyun Dai, Hoon Hong, Bican Xia
2016	—	`book`	Automated Inequality Proving and Discovering Bican Xia, Lu Yang
2016	—	`conf`	Computing reachable sets of linear vector fields revisited. ECC Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
2016	A	`conf`	Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. IJCAR Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
2016	J	`jnl`	Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}. CoRR Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
2016	J	`jnl`	Proving inequalities and solving global optimization problems via simplified CAD projection. J. Symb. Comput. Jingjun Han, Zhi Jin, Bican Xia
2015	B	`conf`	Decidability of the Reachability for a Family of Linear Vector Fields. ATVA Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan
2015	J	`jnl`	Generic regular decompositions for parametric polynomial systems. J. Syst. Sci. Complex. Zhenghong Chen, Xiaoxian Tang, Bican Xia
2015	J	`jnl`	Open Weak CAD and Its Applications. CoRR Liyun Dai, Jingjun Han, Hoon Hong, Bican Xia
2015	J	`jnl`	Smaller SDP for SOS decomposition. J. Glob. Optim. Liyun Dai, Bican Xia
2015	J	`jnl`	Special algorithm for stability analysis of multistable biological regulatory systems. J. Symb. Comput. Hoon Hong, Xiaoxian Tang, Bican Xia
2014	J	`jnl`	Constructing Fewer Open Cells by GCD Computation in CAD Projection. CoRR Jingjun Han, Liyun Dai, Bican Xia
2014	B	`conf`	Constructing fewer open cells by GCD computation in CAD projection. ISSAC Jingjun Han, Liyun Dai, Bican Xia
2014	J	`jnl`	Generic regular decompositions for generic zero-dimensional systems. Sci. China Inf. Sci. Xiaoxian Tang, Zhenghong Chen, Bican Xia
2014	—	`conf`	Hierarchical Comprehensive Triangular Decomposition. ICMS Zhenghong Chen, Xiaoxian Tang, Bican Xia
2014	J	`jnl`	Hierarchical Comprehensive Triangular Decomposition. CoRR Zhenghong Chen, Xiaoxian Tang, Bican Xia
2013	J	`jnl`	Barrier Certificates Revisited. CoRR Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan
2013	J	`jnl`	Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. J. Symb. Comput. Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
2013	J	`jnl`	Deciding Nonnegativity of Polynomials by MAPLE. CoRR Lu Yang, Bican Xia
2013	J	`jnl`	Discovering polynomial Lyapunov functions for continuous dynamical systems. J. Symb. Comput. Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng, Bican Xia
2013	J	`jnl`	Generating Non-Linear Interpolants by Semidefinite Programming CoRR Liyun Dai, Bican Xia, Naijun Zhan
2013	A*	`conf`	Generating Non-linear Interpolants by Semidefinite Programming. CAV Liyun Dai, Bican Xia, Naijun Zhan
2013	J	`jnl`	Generic Regular Decompositions for Parametric Polynomial Systems CoRR Zhenghong Chen, Xiaoxian Tang, Bican Xia
2013	J	`jnl`	Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems. CoRR Hoon Hong, Xiaoxian Tang, Bican Xia
2013	J	`jnl`	Triangular decomposition of semi-algebraic systems. J. Symb. Comput. Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2012	J	`jnl`	Generic Regular Decompositions for Generic Zero-Dimensional Systems CoRR Xiaoxian Tang, Zhenghong Chen, Bican Xia
2012	J	`jnl`	Non-Termination Sets of Simple Linear Loops CoRR Liyun Dai, Bican Xia
2012	C	`conf`	Non-termination Sets of Simple Linear Loops. ICTAC Liyun Dai, Bican Xia
2012	J	`jnl`	On Solving Parametric Polynomial Systems. Math. Comput. Sci. Marc Moreno Maza, Bican Xia, Rong Xiao
2012	J	`jnl`	Real Root Isolation of Polynomial Equations Based on Hybrid Computation CoRR Fei Shen, Wenyuan Wu, Bican Xia
2012	—	`conf`	Real Root Isolation of Polynomial Equations Based on Hybrid Computation. ASCM Fei Shen, Wenyuan Wu, Bican Xia
2012	J	`jnl`	logcf: An Efficient Tool for Real Root Isolation CoRR Liyun Dai, Bican Xia
2011	J	`jnl`	Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Commun. Comput. Algebra Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie
2011	B	`conf`	Computing with semi-algebraic sets represented by triangular decomposition. ISSAC Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
2011	J	`jnl`	Condition number based complexity estimate for solving polynomial systems. J. Comput. Appl. Math. Zhikun She, Bican Xia, Zhiming Zheng
2011	J	`jnl`	Real solution isolation with multiplicity of zero-dimensional triangular systems. Sci. China Inf. Sci. Zhihai Zhang, Tian Fang, Bican Xia
2011	J	`jnl`	Symbolic decision procedure for termination of linear programs. Formal Aspects Comput. Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang
2010	J	`jnl`	Recent advances in program verification through computer algebra. Frontiers Comput. Sci. China Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia
2010	J	`jnl`	Termination of linear programs with nonlinear constraints. J. Symb. Comput. Bican Xia, Zhihai Zhang
2010	J	`jnl`	Triangular Decomposition of Semi-algebraic Systems CoRR Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2010	B	`conf`	Triangular decomposition of semi-algebraic systems. ISSAC Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2010	J	`jnl`	Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems CoRR Yinglin Li, Bican Xia, Zhihai Zhang
2009	J	`jnl`	Computing Cylindrical Algebraic Decomposition via Triangular Decomposition CoRR Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
2009	B	`conf`	Computing cylindrical algebraic decomposition via triangular decomposition. ISSAC Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
2009	J	`jnl`	Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems CoRR Zhihai Zhang, Tian Fang, Bican Xia
2009	J	`jnl`	Termination of Linear Programs with Nonlinear Constraints CoRR Bican Xia, Zhihai Zhang
2008	C	`conf`	Program Verification by Reduction to Semi-algebraic Systems Solving. ISoLA Bican Xia, Lu Yang, Naijun Zhan
2007	J	`jnl`	A New Method for Real Root Isolation of Univariate Polynomials. Math. Comput. Sci. Ting Zhang, Bican Xia
2007	J	`jnl`	DISCOVERER: a tool for solving semi-algebraic systems. ACM Commun. Comput. Algebra Bican Xia
2007	C	`conf`	Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ICTAC Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
2007	—	`conf`	Generating Polynomial Invariants with DISCOVERER and QEPCAD. Formal Methods and Hybrid Real-Time Systems Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan
2007	J	`jnl`	Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. Sci. China Ser. F Inf. Sci. Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng
2006	—	`conf`	A Semi-Algebraic Approach for the Computation of Lyapunov Functions. Computational Intelligence Zhikun She, Bican Xia, Rong Xiao
2006	Misc	`conf`	Quantifier Elimination for Quartics. AISC Lu Yang, Bican Xia
2006	J	`jnl`	Real solution isolation using interval arithmetic. Comput. Math. Appl. Bican Xia, Ting Zhang
2005	—	`conf`	Program Verification by Using DISCOVERER. VSTTE Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou
2005	—	`conf`	Real Solution Classification for Parametric Semi-Algebraic Systems. Algorithmic Algebra and Logic Lu Yang, Bican Xia
2005	B	`conf`	Stability analysis of biological systems with real solution classification. ISSAC Dongming Wang, Bican Xia
2002	J	`jnl`	An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. J. Symb. Comput. Bican Xia, Lu Yang
2001	J	`jnl`	A complete algorithm for automated discovering of a class of inequality-type theorems. Sci. China Ser. F Inf. Sci. Lu Yang, Xiaorong Hou, Bican Xia
1998	—	`conf`	Automated Discovering and Proving for Geometric Inequalities. Automated Deduction in Geometry Lu Yang, Xiaorong Hou, Bican Xia