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)