Takafumi Matsuo

According to our database, Takafumi Matsuo authored at least 4 papers between 2007 and 2023.

Collaborative distances:

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

2023

System for determining the job status of individual laborers in a large-scale greenhouse.

Katsumi Ohyama, Jun Fujioka, Takahiko Sato, Takafumi Matsuo

Comput. Electron. Agric., March, 2023

2009

Feature Interaction Verification Using Unbounded Model Checking with Interpolation.

Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE Trans. Inf. Syst., 2009

2008

Detecting Feature Interactions in Home Appliance Networks.

Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

2007

Constructing Overlay Networks with Low Link Costs and Short Paths.

Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007