Zhibin Li

According to our database, Zhibin Li authored at least 33 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs.

Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li

CoRR, 2023

2020

A Conflict-Driven Solving Procedure for Poly-Power Constraints.

Cheng-Chao Huang, Ming Xu, Zhi-Bin Li

J. Autom. Reason., 2020

An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension.

Zhenbing Zeng, Yaochen Xu, Zhengfeng Yang, Zhi-Bin Li

Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

2019

Painlevé analysis, soliton solutions and lump-type solutions of the (3+1)-dimensional generalized KP equation.

Xiazhi Hao, Yinping Liu, Zhibin Li, Wen-Xiu Ma

Comput. Math. Appl., 2019

2018

Positive root isolation for poly-powers by exclusion and differentiation.

Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li

J. Symb. Comput., 2018

2017

The residual symmetry and exact solutions of the Davey-Stewartson III equation.

Xiazhi Hao, Yinping Liu, Xiaoyan Tang, Zhibin Li

Comput. Math. Appl., 2017

2016

Analyzing ultimate positivity for solvable systems.

Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng

Theor. Comput. Sci., 2016

A Maple package for finding interaction solutions of nonlinear evolution equations.

Xiazhi Hao, Yinping Liu, Xiaoyan Tang, Zhibin Li

Comput. Math. Appl., 2016

Positive Root Isolation for Poly-Powers.

Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

An Online Computing and Knowledge Platform for Differential Equations.

Yinping Liu, Ruoxia Yao, Zhibin Li, Le Yang, Zhian Zhang

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

Quantifier elimination for a class of exponential polynomial formulas.

Ming Xu, Zhi-Bin Li, Lu Yang

J. Symb. Comput., 2015

2014

Generating signatures with optimal overhead: practical paddings for signature schemes.

Haifeng Qian, Yuan Zhou, Zhibin Li, Zhijie Chen

Secur. Commun. Networks, 2014

2013

Symbolic termination analysis of solvable loops.

Ming Xu, Zhi-Bin Li

J. Symb. Comput., 2013

Symbolic computation of strongly nonlinear periodic oscillations.

Yinping Liu, Shijun Liao, Zhibin Li

J. Symb. Comput., 2013

Some decidable results on reachability of solvable systems.

Ming Xu, Jiaqi Zhu, Zhi-Bin Li

Int. J. Gen. Syst., 2013

Symbolic computation of analytic approximate solutions for nonlinear fractional differential equations.

Yezhi Lin, Yinping Liu, Zhibin Li

Comput. Phys. Commun., 2013

Symbolic computation of analytic approximate solutions for nonlinear differential equations with boundary conditions.

Yezhi Lin, Yinping Liu, Zhibin Li

Appl. Math. Comput., 2013

2012

A maple package of automated derivation of homotopy analysis solution for periodic nonlinear oscillations.

Yinping Liu, Shijun Liao, Zhibin Li

J. Syst. Sci. Complex., 2012

Symbolic computation of analytic approximate solutions for nonlinear differential equations with initial conditions.

Yezhi Lin, Yinping Liu, Zhibin Li

Comput. Phys. Commun., 2012

2010

A Heuristic Approach to Positive Root Isolation for Multiple Power Sums.

Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-bin Li

J. Univers. Comput. Sci., 2010

Reachability analysis of rational eigenvalue linear systems.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li

Int. J. Syst. Sci., 2010

Termination Analysis of Linear Loops.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li

Int. J. Found. Comput. Sci., 2010

Real Root Isolation of Multi-Exponential Polynomials with Application.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li

Proceedings of the WALCOM: Algorithms and Computation, 4th International Workshop, 2010

2009

Adaptively Secure Threshold Signature Scheme in the Standard Model.

Zecheng Wang, Haifeng Qian, Zhibin Li

Informatica, 2009

A modified WTC algorithm for the Painlevé test of nonlinear variable-coefficient PDEs.

Yin-Long Zhao, Yin-Ping Liu, Zhi-Bin Li

Comput. Phys. Commun., 2009

Symbolic Reachability Computation of a Class of Nonlinear Systems.

Ming Xu, Liangyu Chen, Zhi-bin Li

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Efficient public key encryption with smallest ciphertext expansion from factoring.

Haifeng Qian, Yuan Zhou, Zhibin Li, Zecheng Wang, Bing Zhang

Des. Codes Cryptogr., 2008

A CDH-Based Multi-Signature Scheme with Tight Security Reduction.

Zecheng Wang, Taozhi Si, Haifeng Qian, Zhibin Li

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Predicting Cytokines Based on Dipeptide and Length Feature.

Wei He, Zhenran Jiang, Zhibin Li

Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2008

2007

Hybrid proxy multisignature: A new type multi-party signature.

Zecheng Wang, Haifeng Qian, Zhibin Li

Inf. Sci., 2007

A Practical Optimal Padding for Signature Schemes.

Haifeng Qian, Zhibin Li, Zhijie Chen, Siman Yang

Proceedings of the Topics in Cryptology, 2007

A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations.

Zhibin Li, Yinping Liu, Haifeng Qian

Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007

2004

RAEEM: A Maple package for finding a series of exact traveling wave solutions for nonlinear evolution equations.

Zhi-Bin Li, Yin-Ping Liu

Comput. Phys. Commun., 2004