Zhi-Bin Li

19 papers B 2Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains.
HSCC
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
2024 J jnl
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs.
CoRR
Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li
2024 J jnl
Termination and Universal Termination Problems for Nondeterministic Quantum Programs.
ACM Trans. Softw. Eng. Methodol.
Ming Xu, Jianling Fu, Hui Jiang, Yuxin Deng, Zhi-Bin Li
2023 J jnl
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs.
CoRR
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
2020 J jnl
A Conflict-Driven Solving Procedure for Poly-Power Constraints.
J. Autom. Reason.
Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
2020 — conf
An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension.
MC
Zhenbing Zeng, Yaochen Xu, Zhengfeng Yang, Zhi-Bin Li
2018 J jnl
Positive root isolation for poly-powers by exclusion and differentiation.
J. Symb. Comput.
Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li
2016 J jnl
Analyzing ultimate positivity for solvable systems.
Theor. Comput. Sci.
Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng
2016 B conf
Positive Root Isolation for Poly-Powers.
ISSAC
Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
2015 J jnl
Quantifier elimination for a class of exponential polynomial formulas.
J. Symb. Comput.
Ming Xu, Zhi-Bin Li, Lu Yang
2013 J jnl
Some decidable results on reachability of solvable systems.
Int. J. Gen. Syst.
Ming Xu, Jiaqi Zhu, Zhi-Bin Li
2013 J jnl
Symbolic termination analysis of solvable loops.
J. Symb. Comput.
Ming Xu, Zhi-Bin Li
2010 J jnl
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums.
J. Univers. Comput. Sci.
Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-Bin Li
2010 J jnl
Reachability analysis of rational eigenvalue linear systems.
Int. J. Syst. Sci.
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2010 B conf
Real Root Isolation of Multi-Exponential Polynomials with Application.
WALCOM
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2010 J jnl
Termination Analysis of Linear Loops.
Int. J. Found. Comput. Sci.
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2009 J jnl
A modified WTC algorithm for the Painlevé test of nonlinear variable-coefficient PDEs.
Comput. Phys. Commun.
Yin-Long Zhao, Yin-Ping Liu, Zhi-Bin Li
2009 — conf
Symbolic Reachability Computation of a Class of Nonlinear Systems.
ACIS-ICIS
Ming Xu, Liangyu Chen, Zhi-Bin Li
2004 J jnl
RAEEM: A Maple package for finding a series of exact traveling wave solutions for nonlinear evolution equations.
Comput. Phys. Commun.
Zhi-Bin Li, Yin-Ping Liu