Jiankun He

From MaRDI portal
(Redirected from Person:1711310)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Reasoning about actions with loops via Hoare logic
Frontiers of Computer Science
2019-01-22Paper
Existence of positive solutions for a high order fractional differential equation integral boundary value problem with changing sign nonlinearity
Advances in Difference Equations
2019-01-17Paper
Existence and nonexistence of positive solutions of three-point boundary value problems for a class of fractional differential equations2018-10-22Paper


Research outcomes over time


This page was built for person: Jiankun He