pith. sign in

Bican Xia

Identifiers

  • name variant Bican Xia 0.60 · backfill

Papers (27)

  1. Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic cs.LO · 2026 · author #3
  2. A New Sparse SOS Decomposition Algorithm Based on Term Sparsity math.OC · 2018 · author #3
  3. Parameter Synthesis Problems for one parametric clock Timed Automata cs.FL · 2018 · author #4
  4. Block SOS Decomposition cs.SC · 2018 · author #2
  5. Finding polynomial loop invariants for probabilistic programs cs.LO · 2017 · author #5
  6. A Special Homotopy Continuation Method For A Class of Polynomial Systems cs.SC · 2017 · author #3
  7. Interpolation synthesis for quadratic polynomial inequalities and combination with EUF cs.LO · 2016 · author #3
  8. Open Weak CAD and its Applications cs.SC · 2015 · author #4
  9. Smaller SDP for SOS Decomposition math.OC · 2014 · author #2
  10. Hierarchical Comprehensive Triangular Decomposition cs.SC · 2014 · author #3
  11. Constructing Fewer Open Cells by GCD Computation in CAD Projection cs.SC · 2014 · author #3
  12. Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems cs.SC · 2013 · author #3
  13. Barrier Certificates Revisited cs.SY · 2013 · author #3
  14. Deciding Nonnegativity of Polynomials by MAPLE cs.SC · 2013 · author #2
  15. Generating Non-Linear Interpolants by Semidefinite Programming cs.LO · 2013 · author #2
  16. Generic Regular Decompositions for Parametric Polynomial Systems cs.SC · 2013 · author #3
  17. logcf: An Efficient Tool for Real Root Isolation cs.SC · 2012 · author #2
  18. Generic Regular Decompositions for Generic Zero-Dimensional Systems cs.SC · 2012 · author #3
  19. Real Root Isolation of Polynomial Equations Based on Hybrid Computation cs.SC · 2012 · author #3
  20. Non-Termination Sets of Simple Linear Loops cs.LO · 2012 · author #2
  21. Proving Inequalities and Solving Global Optimization Problems via Simplified CAD Projection cs.SC · 2012 · author #3
  22. Stability of Triangular Decomposition and Comprehensive Triangular Decomposition cs.SC · 2011 · author #2
  23. Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems cs.SC · 2010 · author #2
  24. Triangular Decomposition of Semi-algebraic Systems cs.SC · 2010 · author #5
  25. Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems cs.SC · 2009 · author #3
  26. Termination of Linear Programs with Nonlinear Constraints cs.LO · 2009 · author #1
  27. Solution to the Generalized Champagne Problem on Simultaneous Stabilization of Linear Systems math.DS · 2006 · author #3

Mentions

  • 1302.4739 #2 · backfill · confidence 0.70 Bican Xia
  • 1301.3991 #3 · backfill · confidence 0.70 Bican Xia
  • 1209.3555 #2 · backfill · confidence 0.70 Bican Xia
  • 1208.6112 #3 · backfill · confidence 0.70 Bican Xia
  • 1207.3019 #3 · backfill · confidence 0.70 Bican Xia
  • 1206.0232 #2 · backfill · confidence 0.70 Bican Xia
  • 1205.1223 #3 · backfill · confidence 0.70 Bican Xia
  • 1110.6275 #2 · backfill · confidence 0.70 Bican Xia
  • 1011.1634 #2 · backfill · confidence 0.70 Bican Xia
  • 1002.4784 #5 · backfill · confidence 0.70 Bican Xia
  • 0906.3065 #3 · backfill · confidence 0.70 Bican Xia
  • 0904.3588 #1 · backfill · confidence 0.70 Bican Xia

Frequent Coauthors