Takashi Imoto

According to our database, Takashi Imoto authored at least 3 papers between 1997 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Scalable and scope-bounded software verification in Varvel.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain

Autom. Softw. Eng., 2015

2011

DC2: A framework for scalable, scope-bounded software verification.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

1997

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