Hasebe Koji

Researcher's full information

Articles
  • Using a Potential Game for Power Reduction in Distributed Storage Systems
    Koji Hasebe; Takumi Sawada; Kato Kazuhiko
    IEEE International Workshop on Software Defined Systems (SDS 2014)/pp.550-555, 2014-03
  • Computationally Complete Symbolic Attacker and Key Exchange
    Gergei Bana; Koji Hasebe; Mitsuhiro Okada
    20th ACM Conference on Computer and Communications Security (CCS 2013)/pp.1231-1246, 2013-11
  • Power-Saving in Storage Systems for Internet Hosting Services with Data Access Prediction
    Jumpei Okoshi; Hasebe Koji; Kazuhiko Kato
    Proceedings of the 4th International Green Computing Conference (IGCC 2013), 2013-06
  • Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms
    Junpei Okoshi; Koji Hasebe; Kato Kazuhiko
    Proceedings of 3rd International Conference on Cloud Computing (CloudComp 2012)/LNICST 112/pp.52-61, 2012-09
  • Stepwise process of clinical trials in safety-conscious development of human assistive robots
    Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka Ka...
    IEEE International Conference on Robotics and Biomimetics (ROBIO 2011)/pp.50-55, 2012-04
  • Belief Revision for Inductive Game Theory
    Koji Hasebe; Ryuichiro Ishikawa
    Proceedings of the 9th European Workshop on Multi-agent Systems/p.15ページ, 2011-11
  • Iterative information update and stability of strategies
    Takuya Masuzawa; Koji Hasebe
    Synthese/179(1)/pp.87-102, 2011-04
  • Stepwise Process of Clinical Trials in Development of Human Assistive Robots
    長谷部 浩二; 河本 浩明; 上林 清孝; 松下 明; 山海 嘉之
    Journal of the Robotics Society of Japan/29(3)/pp.236-240, 2011-04
    CiNii
  • A Platform Based on Self-stabilization for Dependable Internet Services
    大和崎 啓; 長谷部 浩二; 杉木 章義; 加藤和彦
    Computer Software/28(1)/pp.248-257, 2011-02
  • Self-Stabilizing Passive Replication for Internet Service Platforms
    Koji Hasebe; Kei Yamatozaki; Akiyoshi Sugiki; Kazuhiko Kato
    4th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2010)/p.6ページ, 2011-02
  • Dynamic Grid Quorum: A Reconfigurable Grid Quorum and Its Power Optimization Algorithm
    Munetoshi Ishikawa; Koji Hasebe; Akiyoshi Sugiki; Kazuhik...
    Service Oriented Computing and Applications/4(4)/p.245-260, 2010-12
  • Towards a Guideline for Clinical Trials in the Development of Human Assistive Robots
    K. Hasebe; H. Kawamoto; A. Matsushita; K.Kamibayashi; and ...
    IEEE International Conference on Robotics and Biomimetics (ROBIO 2010), 2010-12
  • Capability-Role-based Delegation in Workflow Systems
    Koji Hasebe; Mitsuhiro Mabuchi
    6th IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom 2010)/p.711-717, 2010-12
  • Power-Saving in Large-Scale Storage Systems with Data Migration
    Koji Hasebe; Tatsuya Niwa; Akiyoshi Sugiki; Kazuhiko Kato
    2nd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2010)/p.226-273, 2010-11
  • Capability-Based Delegation Model in RBAC
    Hasebe Koji; Mitsuhiro Mabuchi; Akira Matsushita
    15th ACM Symposium on Access Control Models and Technologies (SACMAT 2010)/pp.109-118, 2010-06
  • CapaCon: An Access Control Mechanism for Inter-Device Communications through TCP Connections
    M. Mabuchi; Y. Shinjo; K. Hasebe; A. Sato; K. Kato
    25th Symposium on Applied Computing/p.706-712, 2010-03
  • Iterative Information Update and Stability of Strategies
    Takuya Masuzawa; Koji Hasebe
    Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS'09)/p.15ページ, 2009-12
  • Dynamic Grid Quorum: A Novel Approach for Minimizing Power Consumption without Data Migration in Grid Quorums
    Munetoshi Ishikawa; Koji Hasebe; Akiyoshi Sugiki; and Ka...
    IEEE International Conference on Service-Oriented Computing and Applications (SOCA’09)/p.142-149, 2009-12
  • Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols
    Gergei Bana; Koji Hasebe; and Mitsuhiro Okada
    Formal to Practical Security/LNCS 5458/p.33-58, 2009-06
  • Introduction to Logical Verification Methods for Security Protocols
    長谷部浩二; 岡田光弘
    Bulletin of the Japan Society for Industrial and Applied Mathematics/17(4)/p.47-58, 2007-12
  • Computational Semantics for Basic Protocol Logic - A Stochastic Approach
    Gergei Bana; Koji Hasebe; and Mitsuhiro Okada
    Proceedings fo the 12th Annual Asian Computing Science Conference/LNCS 4846/p.86-94, 2007-12
  • Completeness and Counter-Example Generations of a Basic Protocol Logic
    Koji Hasebe; Mitsuhiro Okada
    Electronic Notes in Theoretical Computer Science/147/p.73-92, 2005-04
  • Inferences on Honesty in Compositional Logic for Security Analysis
    Koji Hasebe; Mitsuhiro Okada
    Proceedings of the International Symposium on Software Security 2003/LNCS 3233/p.65-86, 2004-10
  • Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
    Koji Hasebe; Mitsuhiro Okada
    Proceedings of the Workshop on Foundations of Computer Security/31/p.97-113, 2004-07
  • FATALIS: Real Time Processes as Linear Logic Specifications
    Vincent Cremet; Koji Hasebe; Jean-Pierre Jouannaud; Antoine ...
    2nd International Workshop on Automated Verification of Inifinite-State Systems, 2003
  • more...