Takashi Imoto

Publication Activity (10 Years)

Years Active: 1997-2015
Publications (10 Years): 0

Top Topics

Top Venues

Autom. Softw. Eng.

Publications

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain
Scalable and scope-bounded software verification in Varvel. Autom. Softw. Eng. 22 (4) (2015)
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki
DC2: A framework for scalable, scope-bounded software verification. ASE (2011)
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
ASR and TTS telecommunications applications in Japan. Speech Commun. 23 (1-2) (1997)