Model checking education for software engineers in Japan. - Hideaki Nishihara; Koichi Shinozaki; Koji Hayamizu; Toshiaki Aoki; Kenji Taguchi 001; Fumihiro Kumeno (ACM SIGCSE Bull., 2009)

Building a Body of Knowledge on Model Checking for Software Development. - Kenji Taguchi 001; Hideaki Nishihara; Toshiaki Aoki; Fumihiro Kumeno; Koji Hayamizu; Koichi Shinozaki (COMPSAC, 2013)

An ohmic contact type RF-MEMS switch having Au-Au/CNTs contacts. - Tomoaki Kageyama; Koichi Shinozaki; Lan Zhang; Jian Lu; Hideki Takaki; Sang-Seok Lee (NEMS, 2017)