A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. - Koji Hasebe; Mitsuhiro Okada (ISSS, 2002)

Inferences on Honesty in Compositional Logic for Protocol Analysis. - Koji Hasebe; Mitsuhiro Okada (ISSS, 2003)

Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract). - Koji Hasebe; Mitsuhiro Okada (RULE@RDP, 2005)

Computational Semantics for Basic Protocol Logic - A Stochastic Approach. - Gergei Bana; Koji Hasebe; Mitsuhiro Okada (IACR Cryptol. ePrint Arch., 2007)

Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols. - Gergei Bana; Koji Hasebe; Mitsuhiro Okada (Formal to Practical Security, 2009)

Dynamic grid quorum: A novel approach for minimizing power consumption without data migration in grid quorums. - Munetoshi Ishikawa; Koji Hasebe; Akiyoshi Sugiki; Kazuhiko Kato (SOCA, 2009)

Power-Saving in Large-Scale Storage Systems with Data Migration. - Koji Hasebe; Tatsuya Niwa; Akiyoshi Sugiki; Kazuhiko Kato (CloudCom, 2010)

Capability-Role-Based Delegation in Workflow Systems. - Koji Hasebe; Mitsuhiro Mabuchi (EUC, 2010)

Towards a guideline for clinical trials in the development of human assistive robots. - Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka Kamibayashi; Yoshiyuki Sankai (ROBIO, 2010)

CapaCon: access control mechanism for inter-device communications through TCP connections. - Mitsuhiro Mabuchi; Yasushi Shinjo; Koji Hasebe; Akira Sato; Kazuhiko Kato (SAC, 2010)

Capability-based delegation model in RBAC. - Koji Hasebe; Mitsuhiro Mabuchi; Akira Matsushita (SACMAT, 2010)

Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols. - Gergei Bana; Koji Hasebe; Mitsuhiro Okada (IACR Cryptol. ePrint Arch., 2010)

Dynamic grid quorum: a reconfigurable grid quorum and its power optimization algorithm. - Munetoshi Ishikawa; Koji Hasebe; Akiyoshi Sugiki; Kazuhiko Kato (Serv. Oriented Comput. Appl., 2010)

Self-Stabilizing Passive Replication for Internet Service Platforms. - Koji Hasebe; Kei Yamatozaki; Akiyoshi Sugiki; Kazuhiko Kato (NTMS, 2011)

Stepwise process of clinical trials in safety-conscious development of human assistive robots. - Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka Kamibayashi; Yoshiyuki Sankai (ROBIO, 2011)

Iterative information update and stability of strategies. - Takuya Masuzawa; Koji Hasebe (Synth., 2011)

Erratum to: Iterative information update and stability of strategies. - Takuya Masuzawa; Koji Hasebe (Synth., 2011)

Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms. - Jumpei Okoshi; Koji Hasebe; Kazuhiko Kato (CloudComp, 2012)

Computationally complete symbolic attacker and key exchange. - Gergei Bana; Koji Hasebe; Mitsuhiro Okada (CCS, 2013)

Power-saving in storage systems for Internet hosting services with data access prediction. - Jumpei Okoshi; Koji Hasebe; Kazuhiko Kato (IGCC, 2013)

Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus. - Koji Hasebe; Naofumi Nishita; Kazuhiko Kato (IC2E, 2014)

Using a Potential Game for Power Reduction in Distributed Storage Systems. - Koji Hasebe; Takumi Sawada; Kazuhiko Kato (IC2E, 2014)

Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction. - Koji Hasebe; Jumpei Okoshi; Kazuhiko Kato (IEICE Trans. Inf. Syst., 2015)

Model Checking of BPMN Models for Reconfigurable Workflows. - Juan Carlos Polanco Aguilar; Koji Hasebe; Manuel Mazzara; Kazuhiko Kato (CoRR, 2016)

A Game Theoretic Approach to Power Reduction in Distributed Storage Systems. - Koji Hasebe; Takumi Sawada; Kazuhiko Kato (J. Inf. Process., 2016)

Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking. - Koji Hasebe; Mitsuaki Tsuji; Kazuhiko Kato (DASC/PiCom/DataCom/CyberSciTech, 2017)

A Flexible Data Migration Strategy for Power Savings in Distributed Storage Systems. - Koji Hasebe; Sho Takai; Kazuhiko Kato (SMARTGREENS, 2018)

Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service. - Koji Hasebe; Shohei Sasaki; Kazuhiko Kato (VEHITS, 2018)

Multi-tier Power-Saving Method in Cloud Storage Systems for Content Sharing Services. - Horleang Choeng; Koji Hasebe; Hirotake Abe; Kazuhiko Kato (GECON, 2020)

Robustness and Failure Detection in Epistemic Gossip Protocols. - Kosei Fujishiro; Koji Hasebe (ICFEM, 2020)

Identifying Playstyles in Games with NEAT and Clustering. - Yu Iwasaki; Koji Hasebe (CoG, 2021)

Playing Geister by Estimating Hidden Information with Deep Reinforcement Learning. - Keisuke Tomoda; Koji Hasebe (CoG, 2021)

C2RBAC: An Extended Capability-Role-Based Access Control with Context Awareness for Dynamic Environments. - Mitsuhiro Mabuchi; Koji Hasebe (SECRYPT, 2021)

Ant Colony Optimization for K-Independent Average Traveling Salesman Problem. - Yu Iwasaki; Koji Hasebe (ICSI (1), 2021)

Compositional Object Synthesis in Game of Life Cellular Automata Using SAT Solver. - Haruki Nishimura; Koji Hasebe (ICSI (2), 2021)

A Framework for Generating Playstyles of Game AI with Clustering of Play Logs. - Yu Iwasaki; Koji Hasebe (ICAART (3), 2022)

Analysis of Optimal File Placement for Energy-Efficient File-Sharing Cloud Storage System. - Fumio Machida; Koji Hasebe; Hirotake Abe; Kazuhiko Kato (IEEE Trans. Sustain. Comput., 2022)

Strategy Analysis for Competitive Bilateral Multi-Issue Negotiation. - Takuma Oishi; Koji Hasebe (ICAART (1), 2023)

Decision-Making in Hearthstone Based on Evolutionary Algorithm. - Eiji Sakurai; Koji Hasebe (ICAART (3), 2023)

Playstyle Generation for Geister With Genetic Algorithm and Clustering. - Keisuke Tomoda; Koji Hasebe (ICAART (3), 2023)

Flaws of Termination and Optimality in ADOPT-based Algorithms. - Koji Noshiro; Koji Hasebe (IJCAI, 2023)

Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms. - Koji Noshiro; Koji Hasebe (Artif. Intell., 2024)

Robustness of Epistemic Gossip Protocols Against Data Loss. - Yoshikatsu Kobayashi; Koji Hasebe (AAMAS, 2025)