BibTeX records: Takashi Imoto

• > Home > Persons > Takashi Imoto

@article{DBLP:journals/ase/IvancicBGSMIPH15,
  author       = {Franjo Ivancic and
                  Gogul Balakrishnan and
                  Aarti Gupta and
                  Sriram Sankaranarayanan and
                  Naoto Maeda and
                  Takashi Imoto and
                  Rakesh Pothengil and
                  Mustafa Hussain},
  title        = {Scalable and scope-bounded software verification in Varvel},
  journal      = {Autom. Softw. Eng.},
  volume       = {22},
  number       = {4},
  pages        = {517--559},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10515-014-0164-0},
  doi          = {10.1007/S10515-014-0164-0},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/IvancicBGSMIPH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/IvancicBGSMTIM11,
  author       = {Franjo Ivancic and
                  Gogul Balakrishnan and
                  Aarti Gupta and
                  Sriram Sankaranarayanan and
                  Naoto Maeda and
                  Hiroki Tokuoka and
                  Takashi Imoto and
                  Yoshiaki Miyazaki},
  editor       = {Perry Alexander and
                  Corina S. Pasareanu and
                  John G. Hosking},
  title        = {{DC2:} {A} framework for scalable, scope-bounded software verification},
  booktitle    = {26th {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages        = {133--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ASE.2011.6100046},
  doi          = {10.1109/ASE.2011.6100046},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/IvancicBGSMTIM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/speech/KitaiHSYTTNTYAIH97,
  author       = {Mikio Kitai and
                  Kazuo Hakoda and
                  Shigeki Sagayama and
                  Tomokazu Yamada and
                  Hajime Tsukada and
                  Satoshi Takahashi and
                  Yoshiaki Noda and
                  Jun{-}ichi Takahashi and
                  Yuki Yoshida and
                  Kazuhiro Arai and
                  Takashi Imoto and
                  Tomohisa Hirokawa},
  title        = {{ASR} and {TTS} telecommunications applications in Japan},
  journal      = {Speech Commun.},
  volume       = {23},
  number       = {1-2},
  pages        = {17--30},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0167-6393(97)00044-7},
  doi          = {10.1016/S0167-6393(97)00044-7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/speech/KitaiHSYTTNTYAIH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}