Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. - Hideyuki Kawabata; Yuta Tanaka; Mai Kimura; Tetsuo Hironaka (APLAS, 2018)

Adaptive Motion Planning Based on Vehicle Characteristics and Regulations for Off-Road UGVs. - Yonghoon Ji; Yusuke Tanaka 003; Yusuke Tamura; Mai Kimura; Atsushi Umemura; Yoshiharu Kaneshima; Hiroki Murakami; Atsushi Yamashita; Hajime Asama (IEEE Trans. Ind. Informatics, 2019)

Damage Assessment of Concrete Beams Based on Fractal Analysis and Drift. - Bunka Son; Mai Kimura; Zhiwei Luo; Yuping Sun (SCIS/ISIS, 2024)