ホーム > 長谷部 浩二/ Hasebe, Koji

長谷部 浩二

Hasebe, Koji

システム情報系 情報工学域 , 准教授
Faculty of Engineering, Information and Systems , Associate Professor

http://www.cs.tsukuba.ac.jp/~hasebe

オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
  1. 1. Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking Koji Hasebe; Mitsuaki Tsuji; Kazuhiko Kato
      Proceedings - 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd Inte 2018-: 423 - 430 (2018) Semantic Scholar
  2. 2. Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service Koji Hasebe; Shohei Sasaki; Kazuhiko Kato
      4th International Conference on Vehicle Technology and Intelligent Transportation Systems (VEHITS 2018) 552 - 557 (2018)
  3. 3. A Flexible Data Migration Strategy for Power Savings in Distributed Storage Systems Koji Hasebe; Sho Takai; Kazuhiko Kato
      7th International Conference on Smart Cities and Green ICT Systems (SmartGreens 2018) 352 - 357 (2018)
  4. 4. Traffic management for last-mile public transportation systems using autonomous vehicles Koji Hasebe; Kazuhiko Kato; Hirotake Abe; Ryutaro AkiyaMasayuki Kawamoto
      2017 International Smart Cities Conference, ISC2 2017 6 pages (2017) Semantic Scholar
  5. 5. A game theoretic approach to power reduction in distributed storage systems Koji Hasebe; Takumi Sawada; Kazuhiko Kato
      Journal of Information Processing 24: 173 - 181 (2016) Semantic Scholar
  6. 6. Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction Koji Hasebe; Jumpei Okoshi; Kazuhiko Kato
      IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E98D: 1744 - 1754 (2015) Semantic Scholar
  7. 7. Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus Koji Hasebe; Naofumi Nishita; Kazuhiko Kato
      2014 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING (IC2E) 410 - 416 (2014) Semantic Scholar
  8. 8. Using a Potential Game for Power Reduction in Distributed Storage Systems Koji Hasebe; Takumi Sawada; Kazuhiko Kato
      2014 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING (IC2E) 550 - 555 (2014) Semantic Scholar
  9. 9. Computational Soundress of cryptographic communication protocols,CCS 2013,ACM Proceedings,Des 2013 Gergery Bana; Koji Hasebe; Mitsuhiro Okada
      Association for Computing Machinery (2013)
  10. 10. Safety and ethical issues in the development of human assistive robots Koji Hasebe; Hiroaki Kawamoto; Kiyotaka Kamibayashi; Akira Matsushita
      Cybernics: Fusion of human, machine and information systems 9784431541592: 299 - 313 (2013) Semantic Scholar
  11. 11. Power-Saving in Storage Systems for Internet Hosting Services with Data Access Prediction Jumpei Okoshi; Koji Hasebe; Kazuhiko Kato
      2013 INTERNATIONAL GREEN COMPUTING CONFERENCE (IGCC) (2013) Semantic Scholar
  12. 12. Computationally complete symbolic attacker and key exchange Gergei Bana; Koji Hasebe; Mitsuhiro Okada
      Proceedings of the ACM Conference on Computer and Communications Security 1231 - 1246 (2013) Semantic Scholar
  13. 13. Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms Jumpei Okoshi; Koji Hasebe; Kazuhiko Kato
      3rd International Conference on Cloud Computing (CloudComp 2012) Springer LNICST vol.112: 52 - 61 (2012)
  14. 14. Belief Revision for Inductive Game Theory Koji Hasebe; Ryuichiro Ishikawa
      9th European Workshop on Multi-agent Systems (EUMAS 2011) 15 pages (2011)
  15. 15. Erratum to: Iterative information update and stability of strategies (Synthese, 10.1007/s11229-010-9835-y Takuya Masuzawa; Koji Hasebe
      Synthese 183: 281 (2011) Semantic Scholar
  16. 16. Iterative information update and stability of strategies Takuya Masuzawa; Koji Hasebe
      SYNTHESE 179: 87 - 102 (2011) Semantic Scholar
  17. 17. 段階的な臨床試験プロセスによる人支援型ロボット開発の提案 長谷部 浩二; 河本 浩明; 上林 清孝; 松下 明山海 嘉之
      Journal of the Robotics Society of Japan 29: 236 - 240 (2011)
  18. 18. 耐障害性向上のための自己安定性に基づくインターネットサービス基盤の構築 大和崎 啓; 長谷部 浩二; 杉木 章義; 加藤 和彦
      28: 248 - 257 (2011)
  19. 19. Stepwise process of clinical trials in safety-conscious development of human assistive robots Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka KamibayashiYoshiyuki Sankai
      2011 IEEE International Conference on Robotics and Biomimetics, ROBIO 2011 50 - 55 (2011) Semantic Scholar
  20. 20. Self-stabilizing passive replication for Internet service platforms Koji Hasebe; Kei Yamatozaki; Akiyoshi Sugiki; Kazuhiko Kato
      2011 4th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2011 - Proceedings 6 pages (2011) Semantic Scholar
1 2
  1. 1. Cybernics Koji Hasebe; Hiroaki Kawamoto; Kiyotaka Kamibayashi; Akira Matsushita (担当:共著, 範囲:Chapter 14. Safety and Ethical Issues in the Development of Human Assistive Robots)
    Springer-Verlag 2014年2月
  2. 2. 数理的技法による情報セキュリティ 長谷部 浩二; 岡田 光弘; バナ ゲルゲイ (担当:共著, 範囲:セキュリティプロトコルの論理的検証法)
    共立出版 2010年

講演・口頭発表情報はまだありません。

 284 total views