Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhibin Li 0005
Person information
- affiliation: East China Normal University, Department of Computer Science and Technology, Shanghai, China
Other persons with the same name
- Zhibin Li (aka: Zhi-Bin Li, Zhi-bin Li) — disambiguation page
- Zhibin Li 0001
![[0000-0002-6357-7419]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-6357-7419")
— University College London, UK (and 2 more) - Zhibin Li 0002 — University of Technology Sydney, Autralia
- Zhibin Li 0003 — Southeast University, Jiangsu Key Laboratory of Urban ITS, Nanjing, China (and 2 more)
- Zhibin Li 0004 — Tsinghua University, State Key Laboratory of Tribology, Division of Intelligent and Bio-Mimetic Machinery, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2020
[j23]Cheng-Chao Huang, Ming Xu, Zhi-Bin Li:
A Conflict-Driven Solving Procedure for Poly-Power Constraints. J. Autom. Reason. 64(1): 1-20 (2020)- 2019
- [j22]Xiazhi Hao, Yinping Liu, Zhibin Li, Wen-Xiu Ma:
Painlevé analysis, soliton solutions and lump-type solutions of the (3+1)-dimensional generalized KP equation. Comput. Math. Appl. 77(3): 724-730 (2019) - 2018
- [j21]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: 148-169 (2018) - 2017
- [j20]Xiazhi Hao, Yinping Liu, Xiaoyan Tang, Zhibin Li:
The residual symmetry and exact solutions of the Davey-Stewartson III equation. Comput. Math. Appl. 73(11): 2404-2414 (2017) - 2016
- [j19]Xiazhi Hao, Yinping Liu, Xiaoyan Tang, Zhibin Li:
A Maple package for finding interaction solutions of nonlinear evolution equations. Comput. Math. Appl. 72(9): 2450-2461 (2016) - [j18]Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng:
Analyzing ultimate positivity for solvable systems. Theor. Comput. Sci. 609: 395-412 (2016) - 2015
- [j17]Ming Xu, Zhi-Bin Li, Lu Yang:
Quantifier elimination for a class of exponential polynomial formulas. J. Symb. Comput. 68: 146-168 (2015) - 2014
- [j16]Haifeng Qian, Yuan Zhou, Zhibin Li, Zhijie Chen:
Generating signatures with optimal overhead: practical paddings for signature schemes. Secur. Commun. Networks 7(12): 2345-2355 (2014) - 2013
- [j15]Yezhi Lin, Yinping Liu, Zhibin Li:
Symbolic computation of analytic approximate solutions for nonlinear differential equations with boundary conditions. Appl. Math. Comput. 222: 145-166 (2013) - [j14]Yezhi Lin, Yinping Liu, Zhibin Li:
Symbolic computation of analytic approximate solutions for nonlinear fractional differential equations. Comput. Phys. Commun. 184(1): 130-141 (2013) - [j13]Ming Xu, Jiaqi Zhu, Zhi-Bin Li:
Some decidable results on reachability of solvable systems. Int. J. Gen. Syst. 42(4): 405-425 (2013) - [j12]Ming Xu, Zhi-Bin Li:
Symbolic termination analysis of solvable loops. J. Symb. Comput. 50: 28-49 (2013) - [j11]Yinping Liu, Shijun Liao, Zhibin Li:
Symbolic computation of strongly nonlinear periodic oscillations. J. Symb. Comput. 55: 72-95 (2013) - 2012
- [j10]Yezhi Lin, Yinping Liu, Zhibin Li:
Symbolic computation of analytic approximate solutions for nonlinear differential equations with initial conditions. Comput. Phys. Commun. 183(1): 106-117 (2012) - [j9]Yinping Liu, Shijun Liao, Zhibin Li:
A maple package of automated derivation of homotopy analysis solution for periodic nonlinear oscillations. J. Syst. Sci. Complex. 25(3): 594-616 (2012) - 2010
- [j8]Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li:
Termination Analysis of Linear Loops. Int. J. Found. Comput. Sci. 21(6): 1005-1019 (2010) - [j7]Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li:
Reachability analysis of rational eigenvalue linear systems. Int. J. Syst. Sci. 41(12): 1411-1419 (2010) - [j6]Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-bin Li:
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums. J. Univers. Comput. Sci. 16(14): 1912-1926 (2010) - 2009
- [j5]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): 2123-2128 (2009) - [j4]Zecheng Wang, Haifeng Qian, Zhibin Li:
Adaptively Secure Threshold Signature Scheme in the Standard Model. Informatica 20(4): 591-612 (2009) - 2008
- [j3]Haifeng Qian, Yuan Zhou, Zhibin Li, Zecheng Wang, Bing Zhang:
Efficient public key encryption with smallest ciphertext expansion from factoring. Des. Codes Cryptogr. 49(1-3): 233-249 (2008) - 2007
- [j2]Zecheng Wang, Haifeng Qian, Zhibin Li:
Hybrid proxy multisignature: A new type multi-party signature. Inf. Sci. 177(24): 5638-5650 (2007) - 2004
- [j1]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): 191-201 (2004)
Conference and Workshop Papers
- 2024
- [c10]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: 18:1-18:12 - 2020
- [c9]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: 438-457 - 2016
- [c8]Yinping Liu, Ruoxia Yao, Zhibin Li, Le Yang, Zhian Zhang:
An Online Computing and Knowledge Platform for Differential Equations. ICMS 2016: 181-188 - [c7]Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li:
Positive Root Isolation for Poly-Powers. ISSAC 2016: 325-332 - 2010
- [c6]Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li:
Real Root Isolation of Multi-Exponential Polynomials with Application. WALCOM 2010: 263-268 - 2009
- [c5]Ming Xu, Liangyu Chen, Zhi-bin Li:
Symbolic Reachability Computation of a Class of Nonlinear Systems. ACIS-ICIS 2009: 706-710 - 2008
- [c4]Wei He, Zhenran Jiang, Zhibin Li:
Predicting Cytokines Based on Dipeptide and Length Feature. ICIC (1) 2008: 86-91 - [c3]Zecheng Wang, Taozhi Si, Haifeng Qian, Zhibin Li:
A CDH-Based Multi-Signature Scheme with Tight Security Reduction. ICYCS 2008: 2096-2101 - 2007
- [c2]Zhibin Li, Yinping Liu, Haifeng Qian:
A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations. ASCM 2007: 188-198 - [c1]Haifeng Qian, Zhibin Li, Zhijie Chen, Siman Yang:
A Practical Optimal Padding for Signature Schemes. CT-RSA 2007: 112-128
Informal and Other Publications
- 2024
- [i2]Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li:
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. CoRR abs/2402.15827 (2024) - 2023
- [i1]Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li:
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. CoRR abs/2310.11882 (2023)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 22:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
