Takafumi Matsuo

	2009
3		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		Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Detecting Feature Interactions in Home Appliance Networks. SNPD 2008: 895-903
	2007
1		Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Overlay Networks with Low Link Costs and Short Paths. NCA 2007: 299-304

Coauthor Index

1	Tohru Kikuno	[1] [2] [3]
2	Pattara Leelaprute	[2]
3	Fuminori Makikawa	[1]
4	Tatsuhiro Tsuchiya	[1] [2] [3]