Hirokazu Yatsu

	2007
3		Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido: A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. QSIC 2007: 137-142
	2000
2		Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills: Formal specification of Catalysis frameworks. APSEC 2000: 180-187
	1999
1		Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu: On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. LOPSTR 1999: 42-61

Coauthor Index

1	Juliana Küster Filipe Bowles (Juliana Küster Filipe)	[1] [2]
2	Akira Fukuda	[3]
3	Ichiro Hosotani	[3]
4	Shigeyuki Kido	[3]
5	Kung-Kiu Lau	[1] [2]
6	Michihiro Matsumoto	[3]
7	Mario Ornaghi	[1] [2]
8	Kenji Taguchi	[2]
9	Masahiko Watanabe	[3]
10	Alan Wills	[2]

Colors in the list of coauthors