Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. - Satoshi Yamane; Takashi Kanatani (EUC, 2004)

Path Coloring on Binary Caterpillars. - Hiroaki Takai; Takashi Kanatani; Akira Matsubayashi (IEICE Trans. Inf. Syst., 2006)