Koji Hasebe's Selected Publications
[dblp]
Refereed Journal Papers
- 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]
- 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]
- 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]
- 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]
- Takuya Masuzawa and Koji Hasebe.
Iterative Information Update and Stability of Strategies.
Synthese, Springer-Verlag, vol.179 (1), pp.87-102, 2011.
- 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
- Yoshikatsu Kobayashi and Koji Hasebe.
Robustness of Epistemic Gossip Protocols Against Data Loss,
24th International Conference on Autonomous Agents and
Multiagent Systems (AAMAS), 9 pages, May 2025. (to appear)
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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.)
- 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]
- 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]
- 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.
- 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.
- 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.
- 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]
- 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]
- 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)]
- 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]
- 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)]
- 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]
- 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]
- Koji Hasebe and Ryuichiro Ishikawa.
Belief Revision for Inductive Game Theory.
European Workshop on Multi-agent Systems (EUMAS'11),
15 pages, 2011.
[pdf]
- 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.
- 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]
- 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.
- 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]
- 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]
- 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]
- 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.
- 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]
- 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]
- 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]
- 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.
- 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]
- 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]
- 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
- 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]
- 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.