| 2006 | ||
|---|---|---|
| 2 | Hiroaki Takai, Takashi Kanatani, Akira Matsubayashi: Path Coloring on Binary Caterpillars. IEICE Transactions 89-D(6): 1906-1913 (2006) | |
| 2004 | ||
| 1 | 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] |