| 2009 | ||
|---|---|---|
| 2 | Takahito Aoto, Junichi Yoshida, Yoshihito Toyama: Proving Confluence of Term Rewriting Systems Automatically. RTA 2009: 93-102 | |
| 2005 | ||
| 1 | Masaru Katayama, Hidenori Kai, Junichi Yoshida, Masaaki Inami, Hiroki Yamada, Kohei Shiomoto, Naoaki Yamanaka: A 10 Gb/s Firewall System for Network Security in Photonic Era. IEICE Transactions 88-B(5): 1914-1920 (2005) | |
| 1 | Takahito Aoto | [2] |
| 2 | Masaaki Inami | [1] |
| 3 | Hidenori Kai | [1] |
| 4 | Masaru Katayama | [1] |
| 5 | Kohei Shiomoto | [1] |
| 6 | Yoshihito Toyama | [2] |
| 7 | Hiroki Yamada | [1] |
| 8 | Naoaki Yamanaka | [1] |