( en | de | ru )

 

Disambiguation of "Xia, Bican"

Author of the publication

copydeleteadd this publication to your clipboard
Computing reachable sets of linear vector fields revisited.

, , , , and . ECC, page 419-426. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Bican

Bianca Bican

Fatima Bicane

Vladimir Bicanski

Bojan Bicanski

 

Other publications of authors with the same name

A New Sparse SOS Decomposition Algorithm Based on Term Sparsity., , and . ISSAC, page 347-354. ACM, (2019)Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification., , and . SETTA, volume 14464 of Lecture Notes in Computer Science, page 171-188. Springer, (2023)Decidability of the Reachability for a Family of Linear Vector Fields., , , , and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 482-499. Springer, (2015)Hierarchical Comprehensive Triangular Decomposition., , and . ICMS, volume 8592 of Lecture Notes in Computer Science, page 434-441. Springer, (2014)Non-termination Sets of Simple Linear Loops., and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 61-73. Springer, (2012)Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems., , , , and . ICTAC, volume 4711 of Lecture Notes in Computer Science, page 34-49. Springer, (2007)OSVAuto: semi-automatic verifier for functional specifications of operating systems., , and . CoRR, (2024)logcf: An Efficient Tool for Real Root Isolation, and . CoRR, (2012)Block SOS Decomposition., and . CoRR, (2018)A Special Homotopy Continuation Method for a Class of Polynomial Systems., , and . CASC, volume 10490 of Lecture Notes in Computer Science, page 362-376. Springer, (2017)