| 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 |
| 2017 | ICST | Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation. | Ryusei Mori, Masaki Nakamura |
| 2010 | ICFEM | Specification Translation of State Machines from Equational Theories into Rewrite Theories. | Min Zhang, Kazuhiro Ogata, Masaki Nakamura |
| 2010 | SIGGRAPH | Computational holography: the real 3-D by fast wave-field rendering in ultra high resolution. | Kyoji Matsushima, Masaki Nakamura, Sumio Nakahara, Ichiroh Kanaya |
| 2007 | ICTAC | On Equality Predicates in Algebraic Specification Languages. | Masaki Nakamura, Kokichi Futatsugi |
| 2005 | PDCAT | Chocolat/SMV: A Translator from CafeOBJ into SMV. | Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi |
| 1999 | PPDP | Argument Filtering Transformation. | Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama |
| 1991 | DASFAA | INTERVISION: A New Hypermedia System Focusing on Dynamic Media. | Hideto Ikeda, Fumio Kitagawa, Masaki Nakamura, Kenzo Uchiyama |