Zhi-Bin Li - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2023

OPO-FCM: A Computational Affection Based OCC-PAD-OCEAN Federation Cognitive Modeling ApproachFeng Liu 0039, Han-Yang Wang, Siyuan Shen, Xun Jia, Jing-Yi Hu, Jia-Hao Zhang, Xi-Yi Wang, Ying Lei, Aimin Zhou, Jia Yin Qi, Zhi-Bin Li. tcss, 10(4):1813-1825, August 2023. [doi]

2020

A Conflict-Driven Solving Procedure for Poly-Power ConstraintsCheng-Chao Huang, Ming Xu 0010, Zhi-Bin Li. JAR, 64(1):1-20, 2020. [doi]

2018

Positive root isolation for poly-powers by exclusion and differentiationCheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li. JSC, 85:148-169, 2018. [doi]

2016

Positive Root Isolation for Poly-PowersJing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li. issac 2016: 325-332 [doi]

Analyzing ultimate positivity for solvable systemsMing Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng. TCS, 609:395-412, 2016. [doi]

2015

Quantifier elimination for a class of exponential polynomial formulasMing Xu, Zhi-Bin Li, Lu Yang. JSC, 68:146-168, 2015. [doi]

2013

Symbolic termination analysis of solvable loopsMing Xu, Zhi-Bin Li. JSC, 50:28-49, 2013. [doi]

Some decidable results on reachability of solvable systemsMing Xu, Jiaqi Zhu, Zhi-Bin Li. ijgs, 42(4):405-425, 2013. [doi]

2010

Cryptography based on Spatiotemporal Chaos System and Multiple MapsJun He, Zhi-Bin Li, Hai-feng Qian. jsw, 5(4):421-428, 2010. [doi]

Real Root Isolation of Multi-Exponential Polynomials with ApplicationMing Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li. walcom 2010: 263-268 [doi]

Reachability analysis of rational eigenvalue linear systemsMing Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li. ijsysc, 41(12):1411-1419, 2010. [doi]

A Heuristic Approach to Positive Root Isolation for Multiple Power SumsMing Xu, Chuandong Mu, Zhenbing Zeng, Zhi-Bin Li. jucs, 16(14):1912-1926, 2010. [doi]

Termination Analysis of Linear LoopsMing Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li. ijfcs, 21(6):1005-1019, 2010. [doi]

Maple packages for computing Hirota s bilinear equation and multisoliton solutions of nonlinear evolution equationsZhen-jiang Zhou, Jing-zhi Fu, Zhi-Bin Li. amc, 217(1):92-104, 2010. [doi]

2009

Symbolic Reachability Computation of a Class of Nonlinear SystemsMing Xu, Liangyu Chen, Zhi-Bin Li. ACISicis 2009: 706-710 [doi]

A modified WTC algorithm for the PainlevÃ© test of nonlinear variable-coefficient PDEsYin-Long Zhao, Yin-Ping Liu, Zhi-Bin Li. cphysics, 180(11):2123-2128, 2009. [doi]

2007

A modified Adomian method for system of nonlinear differential equationsHuifeng Gu, Zhi-Bin Li. amc, 187(2):748-755, 2007. [doi]

2006

CONSLAW: A Maple package to construct the conservation laws for nonlinear evolution equationsRuo-Xia Yao, Zhi-Bin Li. amc, 173(1):616-635, 2006. [doi]

An implementation for the algorithm of Hirota bilinear form of PDE in the Maple systemZhen-jiang Zhou, Jing-zhi Fu, Zhi-Bin Li. amc, 183(2):872-877, 2006. [doi]

2005

PDEPtest: a package for the PainlevÃ© test of nonlinear partial differential equationsGui-qiong Xu, Zhi-Bin Li. amc, 169(2):1364-1379, 2005. [doi]

ICS: a package for computing involutive characteristic set of algebraic partial differential equation systemsShan-Qing Zhang, Gui-Xu Zhang, Zhi-Bin Li. amc, 160(2):551-577, 2005. [doi]

2004

RAEEM: A Maple package for finding a series of exact traveling wave solutions for nonlinear evolution equationsZhi-Bin Li, Yin-Ping Liu. cphysics, 163(3):191-201, 2004. [doi]

The Painlevé Test of Nonlinear Partial Differential Equations and Its Implementation Using MapleGui-qiong Xu, Zhi-Bin Li. giae 2005: 179-190 [doi]

Symbolic computation of the PainlevÃ© test for nonlinear partial differential equations using MapleGui-qiong Xu, Zhi-Bin Li. cphysics, 161(1-2):65-75, 2004. [doi]

Sign in or sign up to see more results.

runs on WebDSL