Optimization model and simulation-based solution for a class of crane scheduling problems. - Hisashi Tamaki; Kazutoshi Sakakibara; Hajime Murao; S. Kitamura (CCA, 2004)

Multi-objective approaches in a single-objective optimization environment. - Shinya Watanabe; Kazutoshi Sakakibara (Congress on Evolutionary Computation, 2005)

The effectiveness of multiobjective optimizer in single-objective optimization enviroment. - Shinya Watanabe; Kazutoshi Sakakibara (GECCO, 2005)

2 types of complex-valued Hopfield networks and the application to a traffic signal control. - Ikuko Nishikawa; Kazutoshi Sakakibara; Takeshi Iritani; Yasuaki Kuroe (IJCNN, 2005)

Phase dynamics of complex-valued neural networks and its application to traffic signal control. - Ikuko Nishikawa; Takeshi Iritani; Kazutoshi Sakakibara; Yasuaki Kuroe (Int. J. Neural Syst., 2005)

Improvements of the Traffic Signal Control by Complex-Valued Hopfield Networks. - Ikuko Nishikawa; Takeshi Iritani; Kazutoshi Sakakibara (IJCNN, 2006)

Prediction of the O-glycosylation Sites in Protein by Layered Neural Networks and Support Vector Machines. - Ikuko Nishikawa; Hirotaka Sakamoto; Ikue Nouno; Takeshi Iritani; Kazutoshi Sakakibara; Masahiro Ito (KES (2), 2006)

A Multiobjectivization Approach for Vehicle Routing Problems. - Shinya Watanabe; Kazutoshi Sakakibara (EMO, 2007)

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 (IJCNN, 2007)

Prediction of the O -Glycosylation with Secondary Structure Information by Support Vector Machines. - Ikuko Nishikawa; Hirotaka Sakamoto; Ikue Nouno; Kazutoshi Sakakibara; Masahiro Ito (KES (2), 2007)

Prediction of the O-Glycosylation by Support Vector Machines and Semi-supervised Learning. - Hirotaka Sakamoto; Yukiko Nakajima; Kazutoshi Sakakibara; Masahiro Ito; Ikuko Nishikawa (ICONIP (1), 2008)

Effective Integration of Imitation Learning and Reinforcement Learning by Generating Internal Reward. - Keita Hamahata; Tadahiro Taniguchi; Kazutoshi Sakakibara; Ikuko Nishikawa; Kazuma Tabuchi; Tetsuo Sawaragi (ISDA (3), 2008)

Genetics-Based Machine Learning Approach for Rule Acquisition in an AGV Transportation System. - Kazutoshi Sakakibara; Yoshiro Fukui; Ikuko Nishikawa (ISDA (3), 2008)

Prediction of the O-glycosylation by Support Vector Machines and Characteristics of the Crowded and Isolated O-glycosylation Sites. - Yukiko Nakajima; Kazutoshi Sakakibara; Masahiro Ito; Ikuko Nishikawa (IIH-MSP, 2009)

A battery degradation aware optimal power distribution on decentralized energy network. - Shinya Kato; Ittetsu Taniguchi; Masahiro Fukui; Kazutoshi Sakakibara (NEWCAS, 2012)

Analysis on battery storage utilization in decentralized solar energy networks based on a mathematical programming model. - Shinya Kato; Hide Nishihara; Ittetsu Taniguchi; Masahiro Fukui; Kazutoshi Sakakibara (SCIS&ISIS, 2012)

Adaptive optimization by dynamic programming heuristics for logistics planning in dynamic environments. - Kazutoshi Sakakibara (SII, 2013)

Network Topology and Battery Size Exploration for Decentralized Energy Network with MIP Base Power Flow Optimization. - Ittetsu Taniguchi; Kazutoshi Sakakibara; Shinya Kato; Masahiro Fukui (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Multi-agent simulation model of urban traffic behavior of inhabitants applying optimization techniques. - Takuya Matsumoto; Kazutoshi Sakakibara; Hisashi Tamaki (SCIS&ISIS, 2014)

Optimization of design of decentralized energy networks by mathematical programming techniques. - Kazutoshi Sakakibara; Takuya Matsumoto; Ittetsu Taniguchi; Hisashi Tamaki (SCIS&ISIS, 2014)

Interactive optimization techniques based on a column generation model for timetabling problems of university makeup courses. - Hiroto Komaki; Shunsuke Shimazaki; Kazutoshi Sakakibara; Takuya Matsumoto (IWCIA, 2015)

A proposal on a decomposition-based evolutionary multiobjective optimization for large scale vehicle routing problems. - Shinya Watanabe; Masashi Ito; Kazutoshi Sakakibara (CEC, 2015)

Optimal power distribution for decentralized electric energy network with electric vehicles. - Katsuhiro Sakato; Ittetsu Taniguchi; Kazutoshi Sakakibara; Takuya Matsumoto; Hisashi Tamaki; Masahiro Fukui (ETFA, 2016)

Multi-agent Simulation with Mathematical Optimization of Urban Traffic Using Open Geographic Data. - Takuya Matsumoto; Kazutoshi Sakakibara; Makoto Ohara; Hisashi Tamaki (IIAI-AAI, 2016)

Reinforcement Learning Approach for Adaptive Negotiation-Rules Acquisition in AGV Transportation Systems. - Masato Nagayoshi; Simon J. H. Elderton; Kazutoshi Sakakibara; Hisashi Tamaki (J. Adv. Comput. Intell. Intell. Informatics, 2017)

Control of Thermal Grid Systems by Machine Learning Techniques Incorporating Mathematical Programming. - Yuya Morinaga; Kazutoshi Sakakibara; Takuya Matsumoto; Makoto Ohara; Ittetsu Taniguchi; Hisashi Tamaki (IIAI-AAI, 2018)

Validation of Usability of Bridges in Urban Districts by Multi-Agent Simulation Techniques. - Kazutoshi Sakakibara (Intelligent Environments (Workshops), 2018)

Multi-Agent Simulation Using Scenarios for Bridges Assessment. - Takeshi Oyama; Kazutoshi Sakakibara; Junzo Tachibana; Takuya Matsumoto; Makoto Ohara; Hisashi Tamaki (SCIS&ISIS, 2018)

Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers. - Masaki Nakamura 001; Kazutoshi Sakakibara (MoDELS (Companion), 2019)

Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method. - Masaki Nakamura 001; Shuki Higashi; Kazutoshi Sakakibara; Kazuhiro Ogata 001 (SICE, 2020)

Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method. - Masaki Nakamura 001; Kazutoshi Sakakibara; Kazuhiro Ogata 001 (CoRR, 2020)

Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method. - Masaki Nakamura 001; Kazutoshi Sakakibara; Yuki Okura; Kazuhiro Ogata 001 (Int. J. Softw. Eng. Knowl. Eng., 2021)

An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking. - Yuki Kitahara; Masaki Nakamura 001; Kazutoshi Sakakibara (ICMLC, 2022)

Toward Prediction of Traffic Accidents Using Formal Concept Analysis of Actual Accidents and Related Data. - Shogo Kotani; Masaki Nakamura 001; Kazutoshi Sakakibara; Tatsuo Motoyoshi; Keisuke Hoshikawa (ICMLC, 2022)

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 001 (ICMLC, 2022)

Machine Learning for Protein Solubility Prediction. - Kodai Suzuki; Kazutoshi Sakakibara; Masaki Nakamura 001; Suguru Shinoda; Yasuhisa Asano (ICMLC, 2022)

Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method. - Tatsuya Igarashi; Masaki Nakamura 001; Kazutoshi Sakakibara (SEKE, 2022)

Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. - Masaki Nakamura 001; Shuki Higashi; Kazutoshi Sakakibara; Kazuhiro Ogata 001 (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)

Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). - Yifan Wang; Masaki Nakamura 001; Kazutoshi Sakakibara; Yuki Okura (SEKE, 2023)

Modeling and Verification of Variable Multi-Lane Intersection Controls for Autonomous Vehicles Using Uppaal SMC. - Akihito Hachiro; Masaki Nakamura 001; Kazutoshi Sakakibara; Takuya Matsumoto; Ryo Takano (ICMLC, 2024)

Formal Concept Analysis for Traffic Accident Summaries and Construction of Traffic Accident Prediction Model. - Haruto Murakami; Kazutoshi Sakakibara; Masaki Nakamura 001; Tatsuo Motoyoshi; Keisuke Hoshikawa; Takuya Matsumoto; Ryo Takano (ICMLC, 2024)

Investigation of Formal Verification of Autonomous Vehicle Control Systems Through Specification Translation from Cafeobj to Real-Time Maude. - Yifan Wang; Masaki Nakamura 001; Ryo Takano; Takuya Matsumoto; Kazutoshi Sakakibara (ICMLC, 2024)

Multiobjective Branch-and-Cut Method with Shared Cutting Plane Information: A Case Study on Optimizing Garbage Collection. - Tomoki Kaho; Kazutoshi Sakakibara; Mikiharu Arimura; Shinya Watanabe (SCIS/ISIS, 2024)

Large neighborhood local search method with MIP techniques for large-scale machining scheduling with many constraints. - Jin Matsuzaki; Kazutoshi Sakakibara; Masaki Nakamura 001; Shinya Watanabe (J. Supercomput., 2024)

Optimization of garbage collection routes for evidence-based policy-making. - Tomoki Kaho; Kazutoshi Sakakibara; Mikiharu Arimura; Shinya Watanabe (Artif. Life Robotics, 2025)