Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification. - Changjing Wang; Fan Xu; Haimei Luo; Qing Huang; Zhengkang Zuo (QRS, 2020)

Fabrication and Strain Vector Characteristics of Multicore Fiber Based FBG. - Zhao Sun; Shunge Deng; Xin Ma; Haimei Luo; Xinwan Li (IEICE Trans. Commun., 2020)