Jiankun He

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 3

Top Topics

Reasoning About Actions

Propositional Dynamic Logic

Top Venues

Frontiers Comput. Sci.

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

Publications

Junyi Wang, Lin Ding, Jiankun He, Fulong Cai, Chao Wang, Zongkun Zhang
Research of Seismogenic Structures of the 2016 and 2022 Menyuan Earthquakes, in the Northeastern Tibetan Plateau. Remote. Sens. 15 (3) (2023)
Xin Zhao, Chao Wang, Jiankun He, Lianhui Liang, Yixian Tang, Hong Zhang
Recent Tectonic Movement in the Western Tibetan Plateau Revealed by InSAR Measurements. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 16 (2023)
Jiankun He, Xishun Zhao
Reasoning about actions with loops via Hoare logic. Frontiers Comput. Sci. 10 (5) (2016)
Jiankun He, Yuping Shen, Xishun Zhao
Reasoning about Actions with Loops. SETN (2014)