Zhi-Bin Li

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 8

Top Topics

Constant Curvature

Quantifier Elimination

Positively Correlated

Euclidean Space

Top Venues

J. Symb. Comput.

Publications

Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. CoRR (2024)
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. HSCC (2024)
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. CoRR (2023)
Zhenbing Zeng, Yaochen Xu, Zhengfeng Yang, Zhi-Bin Li
An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension. MC (2020)
Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
A Conflict-Driven Solving Procedure for Poly-Power Constraints. J. Autom. Reason. 64 (1) (2020)
Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li
Positive root isolation for poly-powers by exclusion and differentiation. J. Symb. Comput. 85 (2018)
Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng
Analyzing ultimate positivity for solvable systems. Theor. Comput. Sci. 609 (2016)
Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
Positive Root Isolation for Poly-Powers. ISSAC (2016)
Ming Xu, Zhi-Bin Li, Lu Yang
Quantifier elimination for a class of exponential polynomial formulas. J. Symb. Comput. 68 (2015)
Ming Xu, Jiaqi Zhu, Zhi-Bin Li
Some decidable results on reachability of solvable systems. Int. J. Gen. Syst. 42 (4) (2013)
Ming Xu, Zhi-Bin Li
Symbolic termination analysis of solvable loops. J. Symb. Comput. 50 (2013)
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
Termination Analysis of Linear Loops. Int. J. Found. Comput. Sci. 21 (6) (2010)
Yin-Long Zhao, Yin-Ping Liu, Zhi-Bin Li
A modified WTC algorithm for the Painlevé test of nonlinear variable-coefficient PDEs. Comput. Phys. Commun. 180 (11) (2009)
Zhi-Bin Li, Yin-Ping Liu
RAEEM: A Maple package for finding a series of exact traveling wave solutions for nonlinear evolution equations. Comput. Phys. Commun. 163 (3) (2004)