| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Transactions 92-D(6): 1250-1259 (2009) |
| 2008 | ||
| 2 | EE | Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Detecting Feature Interactions in Home Appliance Networks. SNPD 2008: 895-903 |
| 2007 | ||
| 1 | EE | Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Overlay Networks with Low Link Costs and Short Paths. NCA 2007: 299-304 |
| 1 | Tohru Kikuno | [1] [2] [3] |
| 2 | Pattara Leelaprute | [2] |
| 3 | Fuminori Makikawa | [1] |
| 4 | Tatsuhiro Tsuchiya | [1] [2] [3] |