研究者
J-GLOBAL ID:201701002698545317   更新日: 2023年07月01日

小島 英春

コジマ ヒデハル | Kojima Hideharu
所属機関・部署:
職名: 特任准教授
研究分野 (1件): 計算機システム
競争的資金等の研究課題 (2件):
  • 2018 - 2021 経路保証プロトコルのモデル検査手法の開発
  • 2012 - 2015 アシュアランスネットワーク設計原理とその応用
論文 (38件):
  • Keitaro Watanabe, Hideharu Kojima, Yuichi Sudo, Naoto Yanai, Tatsuhiro Tsuchiya. Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment. 2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech). 2022
  • Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya. Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption. IEEE 19th International Conference on Software Architecture Companion. 2022. 193-196
  • Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. Using simulated annealing for locating array construction. Information and Software Technology. 2020. 126. 106346-106346
  • Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. Finding Minimum Locating Arrays Using a CSP Solver. Fundamenta Informaticae. 2020. 174. 1. 27-42
  • Hideharu Kojima, Naoto Yanai. A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction. Proc. of 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). 2020. 627-635
もっと見る
MISC (34件):
もっと見る
特許 (2件):
書籍 (1件):
  • ネットワークソフトウェア
    共立出版 2013 ISBN:9784320123168
学位 (1件):
  • 情報工学 (広島市立大学)
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る