Hiroaki Tanizaki

	2008
2		Hiroaki Tanizaki, Takuya Katayama: Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. APSEC 2008: 343-350
	2002
1		Shigeki Tomishima, Hiroaki Tanizaki, Mitsutaka Niiro, Masanao Maruta, Hideto Hidaka, T. Tada, Kenji Gamo: A Variable Drivability (VD) Output Buffer for the System In a Package (SIP) and High Frequency Wafer Test. ITC 2002: 170-177

Coauthor Index

1	Kenji Gamo	[1]
2	Hideto Hidaka	[1]
3	Takuya Katayama	[2]
4	Masanao Maruta	[1]
5	Mitsutaka Niiro	[1]
6	T. Tada	[1]
7	Shigeki Tomishima	[1]

Colors in the list of coauthors