High Assurance Technologies for Autonomous Decentralized Train Control System. - Masayuki Matsumoto; Satoru Kitamura; M. Sato (HASE, 2001)

The New ATC Systems with an Autonomous Speed Control with On-Board Equipment. - Masayuki Matsumoto; Akiyoshi Hosokawa; Satoru Kitamura; Dai Watanabe; Atsushi Kawabata (ISADS, 2001)

Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation . - Masayuki Matsumoto; Tadao Tsurumaki; Satoru Kitamura; Dai Watanabe; Kinji Mori (HASE, 2002)

Community Participation Support Using an ICF-Based Community Map. - Satoru Kitamura; Koji Kitamura; Yoshifumi Nishida; Ken-Ichiro Sakae; Junko Yasuda; Hiroshi Mizoguchi (HCI (9), 2013)

Improvement of Availability of Level Crossing System by Autonomous Decentralized Technology. - Satoru Kitamura; Manabu Teramoto; Satoshi Itoya; Yamato Fukuta (ISADS, 2017)

Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver. - Yoshinao Isobe; Hisabumi Hatsugai; Akira Tanaka; Yutaka Oiwa; Takanori Ambe; Akimasa Okada; Satoru Kitamura; Yamato Fukuta; Takashi Kunifuji (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019)