![]() |
| 2006 | ||
|---|---|---|
| 2 | EE | Hiroaki Takai, Takashi Kanatani, Akira Matsubayashi: Path Coloring on Binary Caterpillars. IEICE Transactions 89-D(6): 1906-1913 (2006) |
| 2004 | ||
| 1 | EE | Satoshi Yamane, Takashi Kanatani: Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. EUC 2004: 183-195 |
| 1 | Akira Matsubayashi | [2] |
| 2 | Hiroaki Takai | [2] |
| 3 | Satoshi Yamane | [1] |