ASR and TTS telecommunications applications in Japan. - Mikio Kitai; Kazuo Hakoda; Shigeki Sagayama; Tomokazu Yamada; Hajime Tsukada; Satoshi Takahashi; Yoshiaki Noda; Jun-ichi Takahashi; Yuki Yoshida; Kazuhiro Arai; Takashi Imoto; Tomohisa Hirokawa (Speech Commun., 1997)

DC2: A framework for scalable, scope-bounded software verification. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Hiroki Tokuoka; Takashi Imoto; Yoshiaki Miyazaki (ASE, 2011)

Scalable and scope-bounded software verification in Varvel. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Takashi Imoto; Rakesh Pothengil; Mustafa Hussain (Autom. Softw. Eng., 2015)