Yuma Matsumoto

According to our database, Yuma Matsumoto authored at least 3 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

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

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

2018

A Method of Verifying Time-Response Requirements.

Yuma Matsumoto, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2018

2015

Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs.

Yuma Matsumoto, Naoki Kobayashi, Hiroshi Unno

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015