[Go Back to Home]

Koji Hasebe's Selected Publications

[dblp]

Refereed Journal Papers

  1. Koji Noshiro and Koji Hasebe. Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms. Artificial Intelligence, vol.329, 104083 (21 pages), Elsevier, 2024. [open access webpage] [press release]
  2. Fumio Machida, Koji Hasebe, Hirotake Abe, Kazuhiko Kato. Analysis of optimal file placement for energy-efficient file-sharing cloud storage system. IEEE Transactions on Sustainable Computing, vol.7(1), pp.75-86, 2022. [download]
  3. Koji Hasebe, Takumi Sawada, and Kazuhiko Kato. A Game Theoretic Approach to Power Reduction in Distributed Storage Systems. Journal of Information Processing, vol.24, no.1, pp.173-181, 2016. [download]
  4. Koji Hasebe, Jumpei Okoshi, and Kazuhiko Kato. Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction. IEICE Transactions, vol.E98-D, no.10, pp.1744-1754, Oct 2015. [download]
  5. Takuya Masuzawa and Koji Hasebe. Iterative Information Update and Stability of Strategies. Synthese, Springer-Verlag, vol.179 (1), pp.87-102, 2011.
  6. Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki, and Kazuhiko Kato. Dynamic Grid Quorum: A Reconfigurable Grid Quorum and Its Power Optimization Algorithm. Service Oriented Computing and Applications, Springer-Verlag, vol.4 (4), pp.245-260, 2010. [pdf]

Refereed Conference Papers

  1. Koji Noshiro and Koji Hasebe. Flaws of Termination and Optimality in ADOPT-based Algorithms, 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), pp.1996-2003, August 2023. [download]
  2. Eiji Sakurai and Koji Hasebe. Decision-Making in Hearthstone Based on Evolutionary Algorithm, 15th International Conference on Agents and Artificial Intelligence (ICAART 2023), pp.845-852, February 2023. [pdf]
  3. Takuma Oishi and Koji Hasebe. Strategy Analysis for Competitive Bilateral Multi-Issue Negotiation, 15th International Conference on Agents and Artificial Intelligence (ICAART 2023), pp.404-411, February 2023. [pdf]
  4. Keisuke Tomoda and Koji Hasebe. Playstyle Generation for Geister with Genetic Algorithm and Clustering, 15th International Conference on Agents and Artificial Intelligence (ICAART 2023), 916-922, February 2023. [pdf]
  5. Yu Iwasaki and Koji Hasebe. A Framework for Generating Playstyles of Game AI with Clustering of Play Logs. 14th International Conference on Agents and Artificial Intelligence (ICAART 2022), pp.605-621, February 2022. [pdf]
  6. Yu Iwasaki and Koji Hasebe. Identifying Playstyles in Games with NEAT and Clustering. 3rd IEEE Conference on Games (CoG 2021), 4 pages, August 2021. [pdf]
  7. Keisuke Tomoda and Koji Hasebe. Playing Geister by Estimating Hidden Information with Deep Reinforcement Learning. 3rd IEEE Conference on Games (CoG 2021), 4 pages, August 2021. [pdf]
  8. Mitsuhiro Mabuchi and Koji Hasebe. C2RBAC: An Extended CRBAC with Context-Awareness for Dynamic Environments. 18th International Conference on Security and Cryptography (SECRYPT 2021), pp.819-826, July 2021. [pdf]
  9. Yu Iwasaki and Koji Hasebe. Ant Colony Optimization for K-Independent Average Traveling Salesman Problem. 12th International Conference on Swarm Intelligence (ICSI 2021), Springer LNCS vol.12689, pp.333-344, July 2021. [pdf]
    (Early version was presented in the 12th International Conference on Swarm Intelligence (ANTS 2020), Springer LNCS vol.12421, pp.345-346, October 2020.)
  10. Haruki Nishimura and Koji Hasebe. Compositional Object Synthesis in Game of Life Cellular Automata Using SAT Solver. 12th International Conference on Swarm Intelligence (ICSI 2021), Springer LNCS vol.12690, pp.543-552, July 2021. [pdf]
  11. Kosei Fujishiro and Koji Hasebe. Robustness and Failure Detection in Epistemic Gossip Protocols. 22nd International Conference on Formal Engineering Methods (ICFEM 2020), Springer LNCS vol.12531, pp.20-35, March 2021. [pdf]
  12. Horleang Choeng, Koji Hasebe, Hirotake Abe, and Kazuhiko Kato. Multi-Tier Power-Saving Method in Cloud Storage Systems for Content Sharing Services. 17th Inernational Conference on the Economics of Grids, Clouds, Systems and Services (GECON 2020), Springer LNCS vol.12441, pp.142-154, September 2020.
  13. Koji Hasebe, Shohei Sasaki, and Kazuhiko Kato. Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service (poster presentation). 4th International Conference on Vehicle Technology and Intelligent Transportation Systems (VEHITS 2018), pp.552-557, March 2018.
  14. Koji Hasebe, Sho Takai, and Kazuhiko Kato. A Flexible Data Migration Strategy for Power Savings in Distributed Storage Systems. 7th International Conference on Smart Cities and Green ICT Systems (SmartGreens 2018), pp.352-357, March 2018.
  15. Koji Hasebe, Mitsuaki Tsuji, and Kazuhiko Kato. Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking. 15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2017), pp.423-430, November 2017. [pdf]
  16. Koji Hasebe, Kazuhiko Kato, Hirotake Abe, Ryutaro Akiya, and Masayuki Kawamoto. Traffic Management for Last-Mile Public Transportation Systems Using Autonomous Vehicles. IEEE 3rd International Smart Cities Conference (ISC2 2017), 8 pages, September 2017. [pdf]
  17. Koji Hasebe, Naofumi Nishita, and Kazuhiko Kato. Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus. IEEE Third International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability (Intercloud 2014), pp.410-416, March 2014. [pdf (corrected version)]
  18. Koji Hasebe, Takumi Sawada, and Kazuhiko Kato. Using a Potential Game for Power Reduction in Distributed Storage Systems. IEEE International Workshop on Software Defined Systems (SDS 2014), pp.550-555, March 2014. [pdf]
  19. Gergei Bana, Koji Hasebe, and Mitsuhiro Okada. Computationally Complete Symbolic Attacker and Key Exchange. 20th ACM Conference on Computer and Communications Security (CCS 2013), pp.1231-1246, November 2013. [pdf (long version)]
  20. Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato. Power-Saving in Storage Systems for Internet Hosting Services with Data Access Prediction. 4th International Green Computing Conference (IGCC 2013), 10 pages, 2013. [pdf]
  21. Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato. Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms. 3rd International Conference on Cloud Computing (CloudComp 2012), Springer LNICST vol.112, pp.52-61, 2012. [pdf]
  22. Koji Hasebe and Ryuichiro Ishikawa. Belief Revision for Inductive Game Theory. European Workshop on Multi-agent Systems (EUMAS'11), 15 pages, 2011. [pdf]
  23. Koji Hasebe, Hiroaki Kawamoto, Kiyotaka Kamibayashi, Akira Matsushita, and Yoshiyuki Sankai. Stepwise Process of Clinical Trials in Safety-Conscious Development of Human Assistive Robots. IEEE International Conference on Robotics and Biomimetics (ROBIO 2011), pp.50-55, 2011.
  24. Koji Hasebe, Kei Yamatozaki, Akiyoshi Sugiki, and Kazuhiko Kato. Self-Stabilizing Passive Replication for Internet Service Platforms. 4th IFIP International Conference on New Technologies, Mobility and Security, 6 pages, 2011. [pdf]
  25. Koji Hasebe, Hiroaki Kawamoto, Akira Matsushita, Kiyotaka Kamibayashi, and Yoshiyuki Sankai. Towards a Guideline for Clinical Trials in the Development of Human Assistive Robots. IEEE International Conference on Robotics and Biomimetics (ROBIO 2010), pp. 751-756, 2010.
  26. Koji Hasebe, Tatsuya Niwa, Akiyoshi Sugiki, and Kazuhiko Kato. Power-Saving in Large-Scale Storage Systems with Data Migration. 2nd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2010), pp. 266-273, 2010. [pdf]
  27. Koji Hasebe and Mitsuhiro Mabuchi. Capability-Role-based Delegation in Workflow Systems. 6th IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom-10), pp.711-717, 2010. [pdf]
  28. Koji Hasebe, Mitsuhiro Mabuchi, and Akira Matsushita. Capability-Based Delegation Model in RBAC. 15th ACM Symposium on Access Control Models and Technologies (SACMAT 2010), pp. 109-118, 2010. [pdf]
  29. Mitsuhiro Mabuchi, Yasushi Shinjo, Koji Hasebe, Akira Sato, and Kazuhiko Kato. CapaCon: An Access Control Mechanism for Inter-Device Communications through TCP Connections. 25th Symposium on Applied Computing (ACM SAC 2010), pp.706-712, 2010.
  30. Takuya Masuzawa and Koji Hasebe. Iterative Information Update and Stability of Strategies. 7th European Workshop on Multi-Agent Systems (EUMAS'09), 15 pages, 2009. [pdf]
  31. Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki, and Kazuhiko Kato. Dynamic Grid Quorum: A Novel Approach for Minimizing Power Consumption without Data Migration in Grid Quorums. IEEE International Conference on Service-Oriented Computing and Applications (SOCA'09), pp.142-149, 2009. [pdf]
  32. Gergei Bana, Koji Hasebe, and Mitsuhiro Okada. Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols. Formal to Practical Security, Springer LNCS vol. 5458, pp.33-58, 2009. [pdf]
  33. Gergei Bana, Koji Hasebe, and Mitsuhiro Okada. Computational Semantics for Basic Protocol Logic --- A Stochastic Approach. 12th Annual Asian Computing Science Conference (ASIAN'07), LNCS vol.4846, pp.86-94, Springer-Verlag, 2007.
  34. Koji Hasebe and Mitsuhiro Okada. Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic. Workshop on Foundations of Computer Security (FCS'04), pp.97-113, Turku, Finland, 2004. [pdf]
  35. Koji Hasebe and Mitsuhiro Okada. Inferences on Honesty in Compositional Logic for Security Analysis. International Symposium on Software Security 2003 (ISSS2003), Lecture Notes in Computer Science, vol. 3233, pp.65-86, Springer-Verlag, 2004. [pdf]
  36. Koji Hasebe and Mitsuhiro Okada. A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. Software Security - Theories and Systems, LNCS vol.2609, pp.417-440, Springer-Verlag, 2003.

Invited Talks

  1. Koji Hasebe and Mitsuhiro Okada. Completeness and Counter-Example Generations of a Basic Protocol Logic. 6th International Workshop on Rule-Based Programming (RULE'05), Electronic Notes in Theoretical Computer Science, vol.147 (1), pp.73-92, Elsevier Science, 2005. [pdf]
  2. Vincent Cremet, Koji Hasebe, Jean-Pierre Jouannaud, Antoine Kremer, and Mitsuhiro Okada. FATALIS: Real Time Processes as Linear Logic Specifications. International Workshop on Automated Verification of Infinite-State Systems (AVIS'03), April 2003.