Akihiro Sakai

	2009
4		Akihiro Sakai, Yoshiaki Hori, Kouichi Sakurai: Formal Verification for Access Control in Web Information Sharing System. ISA 2009: 80-89
	2008
3		Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai: Alloy-Based Lightweight Verification for Aspect-Oriented Architecture. SERA 2008: 171-178
	2007
2		Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai: An aspect-oriented weaving mechanism based on component and connector architecture. ASE 2007: 154-163
1		Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai: An interface mechanism for encapsulating weaving in class-based AOP. SPLAT 2007: 8

Coauthor Index

1	Yoshiaki Hori	[4]
2	Kouichi Sakurai	[4]
3	Yuki Sato	[3]
4	Tetsuo Tamai	[1] [2] [3]
5	Naoyasu Ubayashi	[1] [2] [3]

Colors in the list of coauthors