| 2022 | DASC | Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment. | Keitaro Watanabe, Hideharu Kojima, Yuichi Sudo, Naoto Yanai, Tatsuhiro Tsuchiya |
| 2022 | ICSA | Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption. | Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya |
| 2019 | ISSRE | A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN. | Hideharu Kojima, Naoto Yanai |
| 2019 | WCNC | Implementation and Evaluation of ISDSR in Emulation Environments. | Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya |
| 2017 | ICST | Finding Minimum Locating Arrays Using a SAT Solver. | Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2014 | ISSRE | Applying Parameter Value Weighting to a Practical Application. | Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2014 | PRDC | Locating a Faulty Interaction in Pair-wise Testing. | Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2014 | SEKE | Applying Random Testing to Constrained Interaction Testing. | Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya |
| 2013 | APSEC | A Value Weighting Method for Pair-wise Testing. | Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya |
| 2012 | ICPADS | Maximizing Availability of Consistent Data in Unreliable Networks. | Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya |
| 2012 | UIC | A New Generation Children Tracking System Using Bluetooth MANET Composed of Android Mobile Terminals. | Koki Morii, Koji Taketa, Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda |
| 2011 | ISADS | A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist. | Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda |
| 2011 | ISADS | A Self-Configurable New Generation Children Tracking System Based on Mobile Ad Hoc Networks Consisting of Android Mobile Terminals. | Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda, Atsushi Ito |
| 2009 | ISADS | A model for concurrent states and its coverage criteria. | Hideharu Kojima, Yoshiaki Kakuda, Juichi Takahashi, Tomoyuki Ohta |