Takafumi Matsuo

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 1

Publications

Katsumi Ohyama, Jun Fujioka, Takahiko Sato, Takafumi Matsuo
System for determining the job status of individual laborers in a large-scale greenhouse. Comput. Electron. Agric. 206 (2023)
Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Trans. Inf. Syst. (6) (2009)
Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
Detecting Feature Interactions in Home Appliance Networks. SNPD (2008)
Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
Constructing Overlay Networks with Low Link Costs and Short Paths. NCA (2007)