School personnel information

写真b

KOJIMA Hideharu


Organization 【 display / non-display

  • 2012.04.01 - , Department of Information Systems Engineering, Graduate School of Information Science and Technology, Assistant Professor

 

Academic Papers 【 display / non-display

  • Finding minimum locating arrays using a CSP solver, Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, arXiv,arXiv:1904.07480, pp. 1-16, 2019.09, Other

  • Using simulated annealing for locating array construction, Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, arXiv,arXiv:1909.13090, pp. 1-23, 2019.09, Other

  • On generating locating arrays using simulated annealing , Tatsuya Konishi, HIdeharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,電子情報通信学会 ディペンダビリティコンピューティング研究会,DC2017-82, pp.31-35, 2018.02, Conference Report / Oral Presentation (In Japanese)

  • Finding Minimum Locating Arrays Using a SAT Solver, Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, 10th IEEE International Conference on Software Testing, Verification and Validation Workshops,276-277, 2017.03, Papers

  • A State Vector Reduction Method for Model Checking MANET Protocols, Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya, 13-14, 2017.01, Conference Report / Oral Presentation (In Japanese)

display all >>