Kazutoshi Sakakibara

47 papers A 1B 6C 7Misc 7Journal 9Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Multitask Hybrid Observational Transition System and its Application. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Yifan Wang, Masaki Nakamura, Ryo Takano, Takuya Matsumoto, Kazutoshi Sakakibara
2025	J	`jnl`	Optimization of garbage collection routes for evidence-based policy-making. Artif. Life Robotics Tomoki Kaho, Kazutoshi Sakakibara, Mikiharu Arimura, Shinya Watanabe
2024	Misc	`conf`	Formal Concept Analysis for Traffic Accident Summaries and Construction of Traffic Accident Prediction Model. ICMLC Haruto Murakami, Kazutoshi Sakakibara, Masaki Nakamura, Tatsuo Motoyoshi, Keisuke Hoshikawa, Takuya Matsumoto, Ryo Takano
2024	Misc	`conf`	Investigation of Formal Verification of Autonomous Vehicle Control Systems Through Specification Translation from Cafeobj to Real-Time Maude. ICMLC Yifan Wang, Masaki Nakamura, Ryo Takano, Takuya Matsumoto, Kazutoshi Sakakibara
2024	J	`jnl`	Large neighborhood local search method with MIP techniques for large-scale machining scheduling with many constraints. J. Supercomput. Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura, Shinya Watanabe
2024	Misc	`conf`	Modeling and Verification of Variable Multi-Lane Intersection Controls for Autonomous Vehicles Using Uppaal SMC. ICMLC Akihito Hachiro, Masaki Nakamura, Kazutoshi Sakakibara, Takuya Matsumoto, Ryo Takano
2024	—	`conf`	Multiobjective Branch-and-Cut Method with Shared Cutting Plane Information: A Case Study on Optimizing Garbage Collection. SCIS/ISIS Tomoki Kaho, Kazutoshi Sakakibara, Mikiharu Arimura, Shinya Watanabe
2023	C	`conf`	Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). SEKE Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura
2022	Misc	`conf`	An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking. ICMLC Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara
2022	C	`conf`	Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method. SEKE Tatsuya Igarashi, Masaki Nakamura, Kazutoshi Sakakibara
2022	Misc	`conf`	Machine Learning for Protein Solubility Prediction. ICMLC Kodai Suzuki, Kazutoshi Sakakibara, Masaki Nakamura, Suguru Shinoda, Yasuhisa Asano
2022	J	`jnl`	Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata
2022	Misc	`conf`	The MIP-Based Large Neighborhood Local Search Method for Large-Scale Optimization Problems with Many Constraints: Application to the Machining Scheduling. ICMLC Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura
2022	Misc	`conf`	Toward Prediction of Traffic Accidents Using Formal Concept Analysis of Actual Accidents and Related Data. ICMLC Shogo Kotani, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuo Motoyoshi, Keisuke Hoshikawa
2021	J	`jnl`	Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method. Int. J. Softw. Eng. Knowl. Eng. Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata
2021	C	`conf`	Formal verification of multitask hybrid systems by the OTS/CafeOBJ method. SEKE Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata
2020	—	`conf`	Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method. SICE Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata
2020	J	`jnl`	Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method. CoRR Masaki Nakamura, Kazutoshi Sakakibara, Kazuhiro Ogata
2019	—	`conf`	Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers. MoDELS (Companion) Masaki Nakamura, Kazutoshi Sakakibara
2018	—	`conf`	Control of Thermal Grid Systems by Machine Learning Techniques Incorporating Mathematical Programming. IIAI-AAI Yuya Morinaga, Kazutoshi Sakakibara, Takuya Matsumoto, Makoto Ohara, Ittetsu Taniguchi, Hisashi Tamaki
2018	—	`conf`	Multi-Agent Simulation Using Scenarios for Bridges Assessment. SCIS&ISIS Takeshi Oyama, Kazutoshi Sakakibara, Junzo Tachibana, Takuya Matsumoto, Makoto Ohara, Hisashi Tamaki
2018	B	`conf`	Validation of Usability of Bridges in Urban Districts by Multi-Agent Simulation Techniques. Intelligent Environments (Workshops) Kazutoshi Sakakibara
2017	J	`jnl`	Reinforcement Learning Approach for Adaptive Negotiation-Rules Acquisition in AGV Transportation Systems. J. Adv. Comput. Intell. Intell. Informatics Masato Nagayoshi, Simon J. H. Elderton, Kazutoshi Sakakibara, Hisashi Tamaki
2016	—	`conf`	Multi-agent Simulation with Mathematical Optimization of Urban Traffic Using Open Geographic Data. IIAI-AAI Takuya Matsumoto, Kazutoshi Sakakibara, Makoto Ohara, Hisashi Tamaki
2016	C	`conf`	Optimal power distribution for decentralized electric energy network with electric vehicles. ETFA Katsuhiro Sakato, Ittetsu Taniguchi, Kazutoshi Sakakibara, Takuya Matsumoto, Hisashi Tamaki, Masahiro Fukui
2015	B	`conf`	A proposal on a decomposition-based evolutionary multiobjective optimization for large scale vehicle routing problems. CEC Shinya Watanabe, Masashi Ito, Kazutoshi Sakakibara
2015	C	`conf`	Interactive optimization techniques based on a column generation model for timetabling problems of university makeup courses. IWCIA Hiroto Komaki, Shunsuke Shimazaki, Kazutoshi Sakakibara, Takuya Matsumoto
2014	—	`conf`	Multi-agent simulation model of urban traffic behavior of inhabitants applying optimization techniques. SCIS&ISIS Takuya Matsumoto, Kazutoshi Sakakibara, Hisashi Tamaki
2014	—	`conf`	Optimization of design of decentralized energy networks by mathematical programming techniques. SCIS&ISIS Kazutoshi Sakakibara, Takuya Matsumoto, Ittetsu Taniguchi, Hisashi Tamaki
2013	—	`conf`	Adaptive optimization by dynamic programming heuristics for logistics planning in dynamic environments. SII Kazutoshi Sakakibara
2013	J	`jnl`	Network Topology and Battery Size Exploration for Decentralized Energy Network with MIP Base Power Flow Optimization. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Ittetsu Taniguchi, Kazutoshi Sakakibara, Shinya Kato, Masahiro Fukui
2012	—	`conf`	A battery degradation aware optimal power distribution on decentralized energy network. NEWCAS Shinya Kato, Ittetsu Taniguchi, Masahiro Fukui, Kazutoshi Sakakibara
2012	—	`conf`	Analysis on battery storage utilization in decentralized solar energy networks based on a mathematical programming model. SCIS&ISIS Shinya Kato, Hide Nishihara, Ittetsu Taniguchi, Masahiro Fukui, Kazutoshi Sakakibara
2009	—	`conf`	Prediction of the O-glycosylation by Support Vector Machines and Characteristics of the Crowded and Isolated O-glycosylation Sites. IIH-MSP Yukiko Nakajima, Kazutoshi Sakakibara, Masahiro Ito, Ikuko Nishikawa
2008	—	`conf`	Effective Integration of Imitation Learning and Reinforcement Learning by Generating Internal Reward. ISDA (3) Keita Hamahata, Tadahiro Taniguchi, Kazutoshi Sakakibara, Ikuko Nishikawa, Kazuma Tabuchi, Tetsuo Sawaragi
2008	—	`conf`	Genetics-Based Machine Learning Approach for Rule Acquisition in an AGV Transportation System. ISDA (3) Kazutoshi Sakakibara, Yoshiro Fukui, Ikuko Nishikawa
2008	—	`conf`	Prediction of the ICONIP (1) Hirotaka Sakamoto, Yukiko Nakajima, Kazutoshi Sakakibara, Masahiro Ito, Ikuko Nishikawa
2007	C	`conf`	A Multiobjectivization Approach for Vehicle Routing Problems. EMO Shinya Watanabe, Kazutoshi Sakakibara
2007	B	`conf`	Complex-valued Neuron to describe the Dynamics after Hopf Bifurcation: an Example of CPG Model for a Biped Locomotion. IJCNN Ikuko Nishikawa, Kohei Hayashi, Kazutoshi Sakakibara
2007	—	`conf`	Prediction of the KES (2) Ikuko Nishikawa, Hirotaka Sakamoto, Ikue Nouno, Kazutoshi Sakakibara, Masahiro Ito
2006	B	`conf`	Improvements of the Traffic Signal Control by Complex-Valued Hopfield Networks. IJCNN Ikuko Nishikawa, Takeshi Iritani, Kazutoshi Sakakibara
2006	—	`conf`	Prediction of the KES (2) Ikuko Nishikawa, Hirotaka Sakamoto, Ikue Nouno, Takeshi Iritani, Kazutoshi Sakakibara, Masahiro Ito
2005	B	`conf`	2 types of complex-valued Hopfield networks and the application to a traffic signal control. IJCNN Ikuko Nishikawa, Kazutoshi Sakakibara, Takeshi Iritani, Yasuaki Kuroe
2005	B	`conf`	Multi-objective approaches in a single-objective optimization environment. Congress on Evolutionary Computation Shinya Watanabe, Kazutoshi Sakakibara
2005	J	`jnl`	Phase dynamics of complex-valued neural networks and its application to traffic signal control. Int. J. Neural Syst. Ikuko Nishikawa, Takeshi Iritani, Kazutoshi Sakakibara, Yasuaki Kuroe
2005	A	`conf`	The effectiveness of multiobjective optimizer in single-objective optimization enviroment. GECCO Shinya Watanabe, Kazutoshi Sakakibara
2004	C	`conf`	Optimization model and simulation-based solution for a class of crane scheduling problems. CCA Hisashi Tamaki, Kazutoshi Sakakibara, Hajime Murao, S. Kitamura