Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs. - Yuma Matsumoto; Naoki Kobayashi 001; Hiroshi Unno 001 (APLAS, 2015)

A Method of Verifying Time-Response Requirements. - Yuma Matsumoto; Takayuki Omori; Hiroya Itoga; Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2018)

3D Body Parts Tracking of Mouse Based on RGB-D Video from Under an Open Field. - Yoshito Tsuruda; Shingo Akita; Kotomi Yamanaka; Yuma Matsumoto; Masataka Yamamoto; Yoshitake Sano; Teiichi Furuichi; Hiroshi Takemura (EMBC, 2021)