Koji Hasebe

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 19

Top Topics

Deadlock Detection

Storage Systems

Cellular Automata

Top Venues

Publications

Koji Noshiro, Koji Hasebe
Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms. Artif. Intell. 329 (2024)
Koji Noshiro, Koji Hasebe
Flaws of Termination and Optimality in ADOPT-based Algorithms. IJCAI (2023)
Keisuke Tomoda, Koji Hasebe
Playstyle Generation for Geister With Genetic Algorithm and Clustering. ICAART (3) (2023)
Takuma Oishi, Koji Hasebe
Strategy Analysis for Competitive Bilateral Multi-Issue Negotiation. ICAART (1) (2023)
Eiji Sakurai, Koji Hasebe
Decision-Making in Hearthstone Based on Evolutionary Algorithm. ICAART (3) (2023)
Fumio Machida, Koji Hasebe, Hirotake Abe, Kazuhiko Kato
Analysis of Optimal File Placement for Energy-Efficient File-Sharing Cloud Storage System. IEEE Trans. Sustain. Comput. 7 (1) (2022)
Yu Iwasaki, Koji Hasebe
A Framework for Generating Playstyles of Game AI with Clustering of Play Logs. ICAART (3) (2022)
Yu Iwasaki, Koji Hasebe
Ant Colony Optimization for K-Independent Average Traveling Salesman Problem. ICSI (1) (2021)
Yu Iwasaki, Koji Hasebe
Identifying Playstyles in Games with NEAT and Clustering. CoG (2021)
Keisuke Tomoda, Koji Hasebe
Playing Geister by Estimating Hidden Information with Deep Reinforcement Learning. CoG (2021)
Haruki Nishimura, Koji Hasebe
Compositional Object Synthesis in Game of Life Cellular Automata Using SAT Solver. ICSI (2) (2021)
Mitsuhiro Mabuchi, Koji Hasebe
C2RBAC: An Extended Capability-Role-Based Access Control with Context Awareness for Dynamic Environments. SECRYPT (2021)
Horleang Choeng, Koji Hasebe, Hirotake Abe, Kazuhiko Kato
Multi-tier Power-Saving Method in Cloud Storage Systems for Content Sharing Services. GECON (2020)
Kosei Fujishiro, Koji Hasebe
Robustness and Failure Detection in Epistemic Gossip Protocols. ICFEM (2020)
Koji Hasebe, Shohei Sasaki, Kazuhiko Kato
Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service. VEHITS (2018)
Koji Hasebe, Sho Takai, Kazuhiko Kato
A Flexible Data Migration Strategy for Power Savings in Distributed Storage Systems. SMARTGREENS (2018)
Koji Hasebe, Mitsuaki Tsuji, Kazuhiko Kato
Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking. DASC/PiCom/DataCom/CyberSciTech (2017)
Juan Carlos Polanco Aguilar, Koji Hasebe, Manuel Mazzara, Kazuhiko Kato
Model Checking of BPMN Models for Reconfigurable Workflows. CoRR (2016)
Koji Hasebe, Takumi Sawada, Kazuhiko Kato
A Game Theoretic Approach to Power Reduction in Distributed Storage Systems. J. Inf. Process. 24 (1) (2016)
Koji Hasebe, Jumpei Okoshi, Kazuhiko Kato
Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction. IEICE Trans. Inf. Syst. (10) (2015)
Koji Hasebe, Naofumi Nishita, Kazuhiko Kato
Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus. IC2E (2014)
Koji Hasebe, Takumi Sawada, Kazuhiko Kato
Using a Potential Game for Power Reduction in Distributed Storage Systems. IC2E (2014)
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
Computationally complete symbolic attacker and key exchange. CCS (2013)
Jumpei Okoshi, Koji Hasebe, Kazuhiko Kato
Power-saving in storage systems for Internet hosting services with data access prediction. IGCC (2013)
Jumpei Okoshi, Koji Hasebe, Kazuhiko Kato
Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms. CloudComp (2012)
Koji Hasebe, Hiroaki Kawamoto, Akira Matsushita, Kiyotaka Kamibayashi, Yoshiyuki Sankai
Stepwise process of clinical trials in safety-conscious development of human assistive robots. ROBIO (2011)
Takuya Masuzawa, Koji Hasebe
Iterative information update and stability of strategies. Synth. 179 (Supplement-1) (2011)
Koji Hasebe, Kei Yamatozaki, Akiyoshi Sugiki, Kazuhiko Kato
Self-Stabilizing Passive Replication for Internet Service Platforms. NTMS (2011)
Takuya Masuzawa, Koji Hasebe
Erratum to: Iterative information update and stability of strategies. Synth. 183 (2) (2011)
Koji Hasebe, Tatsuya Niwa, Akiyoshi Sugiki, Kazuhiko Kato
Power-Saving in Large-Scale Storage Systems with Data Migration. CloudCom (2010)
Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki, Kazuhiko Kato
Dynamic grid quorum: a reconfigurable grid quorum and its power optimization algorithm. Serv. Oriented Comput. Appl. 4 (4) (2010)
Koji Hasebe, Hiroaki Kawamoto, Akira Matsushita, Kiyotaka Kamibayashi, Yoshiyuki Sankai
Towards a guideline for clinical trials in the development of human assistive robots. ROBIO (2010)
Koji Hasebe, Mitsuhiro Mabuchi, Akira Matsushita
Capability-based delegation model in RBAC. SACMAT (2010)
Koji Hasebe, Mitsuhiro Mabuchi
Capability-Role-Based Delegation in Workflow Systems. EUC (2010)
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols. IACR Cryptol. ePrint Arch. 2010 (2010)
Mitsuhiro Mabuchi, Yasushi Shinjo, Koji Hasebe, Akira Sato, Kazuhiko Kato
CapaCon: access control mechanism for inter-device communications through TCP connections. SAC (2010)
Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki, Kazuhiko Kato
Dynamic grid quorum: A novel approach for minimizing power consumption without data migration in grid quorums. SOCA (2009)
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols. Formal to Practical Security (2009)
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
Computational Semantics for Basic Protocol Logic - A Stochastic Approach. IACR Cryptol. ePrint Arch. 2007 (2007)
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
Computational Semantics for Basic Protocol Logic - A Stochastic Approach. ASIAN (2007)
Koji Hasebe, Mitsuhiro Okada
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Koji Hasebe, Mitsuhiro Okada
Inferences on Honesty in Compositional Logic for Protocol Analysis. ISSS (2003)
Koji Hasebe, Mitsuhiro Okada
A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. ISSS (2002)