Koji Hasebe

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