Jiankun He

According to our database¹, Jiankun He authored at least 4 papers between 2014 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Research of Seismogenic Structures of the 2016 and 2022 Menyuan Earthquakes, in the Northeastern Tibetan Plateau.

[BibT_eX]

[DOI]

Remote. Sens., February, 2023

Recent Tectonic Movement in the Western Tibetan Plateau Revealed by InSAR Measurements.

[BibT_eX]

[DOI]

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023

2016

Reasoning about actions with loops via Hoare logic.

[BibT_eX]

[DOI]

Jiankun He

Xishun Zhao

Frontiers Comput. Sci., 2016

2014

Reasoning about Actions with Loops.

[BibT_eX]

[DOI]

Jiankun He

Yuping Shen

Xishun Zhao

Proceedings of the Artificial Intelligence: Methods and Applications, 2014

Jiankun He

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...