Zhibin Li
Orcid: 0009-0009-2534-8496Affiliations:
- East China Normal University, Department of Computer Science and Technology, Shanghai, China
According to our database1,
Zhibin Li
authored at least 39 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Termination and Universal Termination Problems for Nondeterministic Quantum Programs.
ACM Trans. Softw. Eng. Methodol., November, 2024
CoRR, 2024
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
2023
CoRR, 2023
2021
Friction Compensation Control of Electromechanical Actuator Based on Neural Network Adaptive Sliding Mode.
Sensors, 2021
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.
Sensors, 2020
J. Autom. Reason., 2020
An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension.
Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020
The Design and Empirical Research of One Main Stem with Others Branches Monetary System Based on Blockchain Technology.
Proceedings of the 20th IEEE International Conference on Communication Technology, 2020
2019
Painlevé analysis, soliton solutions and lump-type solutions of the (3+1)-dimensional generalized KP equation.
Comput. Math. Appl., 2019
2018
J. Symb. Comput., 2018
2017
Comput. Math. Appl., 2017
2016
Comput. Math. Appl., 2016
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016
Proceedings of the Mathematical Software - ICMS 2016, 2016
2015
J. Symb. Comput., 2015
2014
Generating signatures with optimal overhead: practical paddings for signature schemes.
Secur. Commun. Networks, 2014
2013
J. Symb. Comput., 2013
Symbolic computation of analytic approximate solutions for nonlinear fractional differential equations.
Comput. Phys. Commun., 2013
Symbolic computation of analytic approximate solutions for nonlinear differential equations with boundary conditions.
Appl. Math. Comput., 2013
2012
A maple package of automated derivation of homotopy analysis solution for periodic nonlinear oscillations.
J. Syst. Sci. Complex., 2012
Symbolic computation of analytic approximate solutions for nonlinear differential equations with initial conditions.
Comput. Phys. Commun., 2012
2010
J. Univers. Comput. Sci., 2010
Int. J. Syst. Sci., 2010
Proceedings of the WALCOM: Algorithms and Computation, 4th International Workshop, 2010
2009
Informatica, 2009
A modified WTC algorithm for the Painlevé test of nonlinear variable-coefficient PDEs.
Comput. Phys. Commun., 2009
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
2008
Des. Codes Cryptogr., 2008
Proceedings of the 9th International Conference for Young Computer Scientists, 2008
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2008
2007
Proceedings of the Topics in Cryptology, 2007
A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations.
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.
Comput. Phys. Commun., 2004