| 2025 | KES | Fuzzy Optimization with Resilience Metrics for Sustainable Supply Chain Planning under Uncertain and Disruption Environments. | Noppasorn Sutthibutr, Kunihiko Hiraishi, Navee Chiadamrong, Suttipong Thajchayapong |
| 2025 | SMC | Trajectory Alignment: A Method for Extracting Main Routes from Large Trajectory Data. | Kunihiko Hiraishi |
| 2022 | SMC | A Framework for Extracting Abstracted Route Graphs Toward Air Traffic Flow Modeling. | Kenji Uehara, Kunihiko Hiraishi |
| 2021 | CIBCB | An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks. | Trinh Van Giang, Kunihiko Hiraishi |
| 2019 | SMC | Spatio-Temporal Situation Recognition in Service Fields - Validation by Discrete-event Simulation. | Kunihiko Hiraishi |
| 2018 | SMC | Information Supervisory Control of Human Behavior - A Formal Model and Simulation. | Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi |
| 2016 | CogSIMA | Spatio-temporal situation recognition for groups in caregiving services. | Kaoru Sato, Kunihiko Hiraishi, Koichi Kobayashi |
| 2014 | CogSIMA | Behavior modeling in physical and adaptive intelligent services. | Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira |
| 2014 | IECON | A probabilistic approach to design of real-time pricing systems over communication networks. | Koichi Kobayashi, Kunihiko Hiraishi |
| 2014 | NOMS | Improving reliability in management of cloud computing infrastructure by formal methods. | Shinji Kikuchi, Kunihiko Hiraishi |
| 2013 | ICCSA | Modeling and Verification of Change Processes in Collaborative Software Engineering. | Thi Thanh Huyen Phan, Kunihiko Hiraishi, Koichiro Ochimizu |
| 2013 | IM | Diagnosis of stochastic discrete event systems based on N-gram models with wildcard characters. | Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi |
| 2013 | IECON | Controller design of networked control systems with multiple delays using interval methods. | Koichi Kobayashi, Kunihiko Hiraishi |
| 2013 | IECON | Modeling and optimal control of multi-hop control networks based on the MLD framework. | Koichi Kobayashi, Kunihiko Hiraishi |
| 2013 | KES | Dual Decomposition for Vietnamese Part-of-Speech Tagging. | Ngo Xuan Bach, Kunihiko Hiraishi, Minh Le Nguyen, Akira Shimazu |
| 2012 | IECON | Design of networked control systems using a stochastic switching systems approach. | Koichi Kobayashi, Kunihiko Hiraishi |
| 2012 | IECON | Self-triggered model predictive control with delay compensation for networked control systems. | Koichi Kobayashi, Kunihiko Hiraishi |
| 2012 | SMC | Modeling of complex processes in nursing and caregiving services. | Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka |
| 2011 | SMC | Formal verification of business processes with temporal and resource constraints. | Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi |
| 2002 | Coordination | PN | Kunihiko Hiraishi |
| 2000 | DLT | A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples. | Takeshi Koshiba, Kunihiko Hiraishi |
| 2000 | SMC | A Petri-net-based model for the mathematical analysis of multi-agent systems. | Kunihiko Hiraishi |
| 1990 | ALT | Exact Learning of Semilinear Sets. | Yuji Takada, Kunihiko Hiraishi, Yasubumi Sakakibara |