Kazutoshi Sakakibara
发表
Shinya Watanabe,
Hisashi Tamaki,
Ikuko Nishikawa,
2006
.
Takeshi Shimizu,
Ikuko Nishikawa,
Kazutoshi Sakakibara,
2013
.
Shinya Watanabe,
Hisashi Tamaki,
Ikuko Nishikawa,
2005
.
Ittetsu Taniguchi,
Hisashi Tamaki,
Takuya Matsumoto,
2017
.
Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method
pdf
Kazuhiro Ogata,
Masaki Nakamura,
Kazutoshi Sakakibara,
2020,
ArXiv.
Yajie Tian,
Ikuko Nishikawa,
Kazutoshi Sakakibara,
2012
.
Yasuaki Kuroe,
Kazutoshi Sakakibara,
Takeshi Iritai,
2005
.
Hisashi Tamaki,
Shinzo Kitamura,
Hajime Murao,
2002
.
Hisashi Tamaki,
Shinzo Kitamura,
Hajime Murao,
2002
.
Shinya Watanabe,
Tetsuya Sato,
Kazutoshi Sakakibara,
2018
.
Ryoken Tanaka,
Junzo Tatibana,
Kazutoshi Sakakibara,
2019
.
Toshiharu Iwatani,
Hisashi Tamaki,
Kouichi Matsuda,
2003
.
Hisashi Tamaki,
Shinzo Kitamura,
Hajime Murao,
2005
.
Ittetsu Taniguchi,
Hisashi Tamaki,
Takuya Matsumoto,
2018
.
Ittetsu Taniguchi,
Hisashi Tamaki,
Takuya Matsumoto,
2014
.
Shinya Watanabe,
Masashi Ito,
Kazutoshi Sakakibara,
2015
.
Yajie Tian,
Ikuko Nishikawa,
Kazutoshi Sakakibara,
2011
.
Masato Nagayoshi,
Simon J. H. Elderton,
Hisashi Tamaki,
2017
.
Hisashi Tamaki,
Takuya Matsumoto,
Kazutoshi Sakakibara,
2016
.
Tetsuya Sato,
Kazutoshi Sakakibara,
Shinya Watanabe,
2015
.
Ikuko Nishikawa,
Kazutoshi Sakakibara,
Masayoshi Suzuki,
2016
.
Hisashi Tamaki,
Shinzo Kitamura,
Hajime Murao,
2004
.
Distributed Metaheuristic Solution Based on Solution Space Decomposition for Route Planning Problems
Hisashi Tamaki,
Ikuko Nishikawa,
Kazutoshi Sakakibara,
2008
.
Shinya Watanabe,
Kazutoshi Sakakibara,
2007
.
Hisashi Tamaki,
Shinzo Kitamura,
Hajime Murao,
2004
.
Hisashi Tamaki,
Shinzo Kitamura,
Hajime Murao,
2003,
SICE 2003 Annual Conference (IEEE Cat. No.03TH8734).
Hisashi Tamaki,
Shinzo Kitamura,
Hajime Murao,
2004
.
Hisashi Tamaki,
Shinzo Kitamura,
Hajime Murao,
2002,
Proceedings of the 41st SICE Annual Conference. SICE 2002..
Kazutoshi Sakakibara,
2006
.