A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. - Masahiro Higuchi; Junko Sano; Keigo Hara; Mamoru Fujii (ICDCS, 1996)

Navigation Using a Laser for a Mobile Robot with a Optical Sensor Array. - Keigo Hara; Shoichi Maeyama; Akio Gofuku (Int. J. Autom. Technol., 2008)