Reasoning about Actions with Loops. - Jiankun He; Yuping Shen; Xishun Zhao (SETN, 2014)

Reasoning about actions with loops via Hoare logic. - Jiankun He; Xishun Zhao (Frontiers Comput. Sci., 2016)

Recent Tectonic Movement in the Western Tibetan Plateau Revealed by InSAR Measurements. - Xin Zhao; Chao Wang 004; Jiankun He; Lianhui Liang; Yixian Tang; Hong Zhang 001 (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023)

Research of Seismogenic Structures of the 2016 and 2022 Menyuan Earthquakes, in the Northeastern Tibetan Plateau. - Junyi Wang; Lin Ding; Jiankun He; Fulong Cai; Chao Wang; Zongkun Zhang (Remote. Sens., 2023)

PathBench: A comprehensive comparison benchmark for pathology foundation models towards precision oncology. - Jiabo Ma; Yingxue Xu; Fengtao Zhou; Yihui Wang 002; Cheng Jin 003; Zhengrui Guo; Jianfeng Wu; On Ki Tang; Huajun Zhou; Xi Wang 013; Luyang Luo; Zhengyu Zhang; et al. (CoRR, 2025)