| 2024 | ICMLC | Modeling and Verification of Variable Multi-Lane Intersection Controls for Autonomous Vehicles Using Uppaal SMC. | Akihito Hachiro, Masaki Nakamura, Kazutoshi Sakakibara, Takuya Matsumoto, Ryo Takano |
| 2024 | ICMLC | Formal Concept Analysis for Traffic Accident Summaries and Construction of Traffic Accident Prediction Model. | Haruto Murakami, Kazutoshi Sakakibara, Masaki Nakamura, Tatsuo Motoyoshi, Keisuke Hoshikawa, Takuya Matsumoto, Ryo Takano |
| 2024 | ICMLC | Investigation of Formal Verification of Autonomous Vehicle Control Systems Through Specification Translation from Cafeobj to Real-Time Maude. | Yifan Wang, Masaki Nakamura, Ryo Takano, Takuya Matsumoto, Kazutoshi Sakakibara |
| 2023 | SEKE | Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). | Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura |
| 2022 | ICMLC | An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking. | Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara |
| 2022 | ICMLC | Toward Prediction of Traffic Accidents Using Formal Concept Analysis of Actual Accidents and Related Data. | Shogo Kotani, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuo Motoyoshi, Keisuke Hoshikawa |
| 2022 | ICMLC | The MIP-Based Large Neighborhood Local Search Method for Large-Scale Optimization Problems with Many Constraints: Application to the Machining Scheduling. | Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura |
| 2022 | ICMLC | Machine Learning for Protein Solubility Prediction. | Kodai Suzuki, Kazutoshi Sakakibara, Masaki Nakamura, Suguru Shinoda, Yasuhisa Asano |
| 2022 | SEKE | Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method. | Tatsuya Igarashi, Masaki Nakamura, Kazutoshi Sakakibara |
| 2021 | SEKE | Formal verification of multitask hybrid systems by the OTS/CafeOBJ method. | Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata |
| 2019 | MODELS | Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers. | Masaki Nakamura, Kazutoshi Sakakibara |
| 2016 | ETFA | Optimal power distribution for decentralized electric energy network with electric vehicles. | Katsuhiro Sakato, Ittetsu Taniguchi, Kazutoshi Sakakibara, Takuya Matsumoto, Hisashi Tamaki, Masahiro Fukui |
| 2015 | CEC | A proposal on a decomposition-based evolutionary multiobjective optimization for large scale vehicle routing problems. | Shinya Watanabe, Masashi Ito, Kazutoshi Sakakibara |
| 2008 | ICONIP | Prediction of the | Hirotaka Sakamoto, Yukiko Nakajima, Kazutoshi Sakakibara, Masahiro Ito, Ikuko Nishikawa |
| 2008 | ISDA | Effective Integration of Imitation Learning and Reinforcement Learning by Generating Internal Reward. | Keita Hamahata, Tadahiro Taniguchi, Kazutoshi Sakakibara, Ikuko Nishikawa, Kazuma Tabuchi, Tetsuo Sawaragi |
| 2008 | ISDA | Genetics-Based Machine Learning Approach for Rule Acquisition in an AGV Transportation System. | Kazutoshi Sakakibara, Yoshiro Fukui, Ikuko Nishikawa |
| 2007 | EMO | A Multiobjectivization Approach for Vehicle Routing Problems. | Shinya Watanabe, Kazutoshi Sakakibara |
| 2007 | IJCNN | Complex-valued Neuron to describe the Dynamics after Hopf Bifurcation: an Example of CPG Model for a Biped Locomotion. | Ikuko Nishikawa, Kohei Hayashi, Kazutoshi Sakakibara |
| 2007 | KES | Prediction of the | Ikuko Nishikawa, Hirotaka Sakamoto, Ikue Nouno, Kazutoshi Sakakibara, Masahiro Ito |
| 2006 | IJCNN | Improvements of the Traffic Signal Control by Complex-Valued Hopfield Networks. | Ikuko Nishikawa, Takeshi Iritani, Kazutoshi Sakakibara |
| 2006 | KES | Prediction of the | Ikuko Nishikawa, Hirotaka Sakamoto, Ikue Nouno, Takeshi Iritani, Kazutoshi Sakakibara, Masahiro Ito |
| 2005 | CEC | Multi-objective approaches in a single-objective optimization environment. | Shinya Watanabe, Kazutoshi Sakakibara |
| 2005 | GECCO | The effectiveness of multiobjective optimizer in single-objective optimization enviroment. | Shinya Watanabe, Kazutoshi Sakakibara |
| 2005 | IJCNN | 2 types of complex-valued Hopfield networks and the application to a traffic signal control. | Ikuko Nishikawa, Kazutoshi Sakakibara, Takeshi Iritani, Yasuaki Kuroe |