RAEEM: A Maple package for finding a series of exact traveling wave solutions for nonlinear evolution equations. - Zhi-Bin Li 005; Yin-Ping Liu (Comput. Phys. Commun., 2004)

A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations. - Zhibin Li 005; Yinping Liu; Haifeng Qian (ASCM, 2007)

A Practical Optimal Padding for Signature Schemes. - Haifeng Qian; Zhibin Li 005; Zhijie Chen; Siman Yang (CT-RSA, 2007)

Hybrid proxy multisignature: A new type multi-party signature. - Zecheng Wang; Haifeng Qian; Zhibin Li 005 (Inf. Sci., 2007)

Predicting Cytokines Based on Dipeptide and Length Feature. - Wei He; Zhenran Jiang; Zhibin Li 005 (ICIC (1), 2008)

A CDH-Based Multi-Signature Scheme with Tight Security Reduction. - Zecheng Wang; Taozhi Si; Haifeng Qian; Zhibin Li 005 (ICYCS, 2008)

Efficient public key encryption with smallest ciphertext expansion from factoring. - Haifeng Qian; Yuan Zhou 008; Zhibin Li 005; Zecheng Wang; Bing Zhang 008 (Des. Codes Cryptogr., 2008)

Symbolic Reachability Computation of a Class of Nonlinear Systems. - Ming Xu 010; Liangyu Chen 001; Zhi-bin Li 005 (ACIS-ICIS, 2009)

A modified WTC algorithm for the Painlevé test of nonlinear variable-coefficient PDEs. - Yin-Long Zhao; Yin-Ping Liu; Zhi-Bin Li 005 (Comput. Phys. Commun., 2009)

Adaptively Secure Threshold Signature Scheme in the Standard Model. - Zecheng Wang; Haifeng Qian; Zhibin Li 005 (Informatica, 2009)

Real Root Isolation of Multi-Exponential Polynomials with Application. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-bin Li 005 (WALCOM, 2010)

Termination Analysis of Linear Loops. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-Bin Li 005 (Int. J. Found. Comput. Sci., 2010)

Reachability analysis of rational eigenvalue linear systems. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-bin Li 005 (Int. J. Syst. Sci., 2010)

A Heuristic Approach to Positive Root Isolation for Multiple Power Sums. - Ming Xu 010; Chuandong Mu; Zhenbing Zeng; Zhi-bin Li 005 (J. Univers. Comput. Sci., 2010)

Symbolic computation of analytic approximate solutions for nonlinear differential equations with initial conditions. - Yezhi Lin; Yinping Liu; Zhibin Li 005 (Comput. Phys. Commun., 2012)

A maple package of automated derivation of homotopy analysis solution for periodic nonlinear oscillations. - Yinping Liu; Shijun Liao; Zhibin Li 005 (J. Syst. Sci. Complex., 2012)

Symbolic computation of analytic approximate solutions for nonlinear differential equations with boundary conditions. - Yezhi Lin; Yinping Liu; Zhibin Li 005 (Appl. Math. Comput., 2013)

Symbolic computation of analytic approximate solutions for nonlinear fractional differential equations. - Yezhi Lin; Yinping Liu; Zhibin Li 005 (Comput. Phys. Commun., 2013)

Some decidable results on reachability of solvable systems. - Ming Xu 010; Jiaqi Zhu; Zhi-Bin Li 005 (Int. J. Gen. Syst., 2013)

Symbolic computation of strongly nonlinear periodic oscillations. - Yinping Liu; Shijun Liao; Zhibin Li 005 (J. Symb. Comput., 2013)

Symbolic termination analysis of solvable loops. - Ming Xu 010; Zhi-Bin Li 005 (J. Symb. Comput., 2013)

Generating signatures with optimal overhead: practical paddings for signature schemes. - Haifeng Qian; Yuan Zhou 008; Zhibin Li 005; Zhijie Chen (Secur. Commun. Networks, 2014)

Quantifier elimination for a class of exponential polynomial formulas. - Ming Xu 010; Zhi-Bin Li 005; Lu Yang (J. Symb. Comput., 2015)

An Online Computing and Knowledge Platform for Differential Equations. - Yinping Liu; Ruoxia Yao; Zhibin Li 005; Le Yang; Zhian Zhang (ICMS, 2016)

Positive Root Isolation for Poly-Powers. - Jing-Cao Li; Cheng-Chao Huang; Ming Xu 010; Zhi-Bin Li 005 (ISSAC, 2016)

A Maple package for finding interaction solutions of nonlinear evolution equations. - Xiazhi Hao; Yinping Liu; Xiaoyan Tang; Zhibin Li 005 (Comput. Math. Appl., 2016)

Analyzing ultimate positivity for solvable systems. - Ming Xu 010; Cheng-Chao Huang; Zhi-Bin Li 005; Zhenbing Zeng (Theor. Comput. Sci., 2016)

The residual symmetry and exact solutions of the Davey-Stewartson III equation. - Xiazhi Hao; Yinping Liu; Xiaoyan Tang; Zhibin Li 005 (Comput. Math. Appl., 2017)

Positive root isolation for poly-powers by exclusion and differentiation. - Cheng-Chao Huang; Jing-Cao Li; Ming Xu 010; Zhi-Bin Li 005 (J. Symb. Comput., 2018)

Painlevé analysis, soliton solutions and lump-type solutions of the (3+1)-dimensional generalized KP equation. - Xiazhi Hao; Yinping Liu; Zhibin Li 005; Wen-Xiu Ma (Comput. Math. Appl., 2019)

The Design and Empirical Research of One Main Stem with Others Branches Monetary System Based on Blockchain Technology. - Feng Liu 039; Shiying Lu; Jiayin Qi; Zhibin Li 005 (ICCT, 2020)

An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension. - Zhenbing Zeng; Yaochen Xu; Zhengfeng Yang; Zhi-Bin Li 005 (MC, 2020)

A Conflict-Driven Solving Procedure for Poly-Power Constraints. - Cheng-Chao Huang; Ming Xu 010; Zhi-Bin Li 005 (J. Autom. Reason., 2020)

A New Quaternion-Based Kalman Filter for Human Body Motion Tracking Using the Second Estimator of the Optimal Quaternion Algorithm and the Joint Angle Constraint Method with Inertial and Magnetic Sensors. - Yingbo Duan; Xiaoyue Zhang; Zhibin Li 005 (Sensors, 2020)

Friction Compensation Control of Electromechanical Actuator Based on Neural Network Adaptive Sliding Mode. - Wei Ruan; Quanlin Dong; Xiaoyue Zhang; Zhibin Li 005 (Sensors, 2021)

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. - Hui Jiang 009; Jianling Fu; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (CoRR, 2023)

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. - Hui Jiang 009; Jianling Fu; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (HSCC, 2024)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. - Jianling Fu; Hui Jiang 009; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (CoRR, 2024)

Termination and Universal Termination Problems for Nondeterministic Quantum Programs. - Ming Xu 010; Jianling Fu; Hui Jiang 009; Yuxin Deng; Zhi-Bin Li 005 (ACM Trans. Softw. Eng. Methodol., 2024)