ホーム > 長谷部 浩二/ Hasebe, Koji
長谷部 浩二
Hasebe, Koji
システム情報系 情報工学域 , 准教授 Faculty of Engineering, Information and Systems , Associate Professor
- 分散制約最適化問題における代表的なアルゴリズムの完全性への反例を発見
2024-02-14
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
- 1. Multi-tier Power-Saving Method in Cloud Storage Systems for Content Sharing Services Horleang Choeng; Koji Hasebe; Hirotake Abe; Kazuhiko Kato Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12441: 142 - 154 (2020) Semantic Scholar
- 2. 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
- 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. 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)
- 5. 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
- 6. 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
- 7. 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
- 8. 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
- 9. 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
- 10. Computational Soundress of cryptographic communication protocols,CCS 2013,ACM Proceedings,Des 2013 Gergery Bana; Koji Hasebe; Mitsuhiro Okada Association for Computing Machinery (2013)
- 11. 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
- 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. 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
- 14. 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)
- 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. Belief Revision for Inductive Game Theory Koji Hasebe; Ryuichiro Ishikawa 9th European Workshop on Multi-agent Systems (EUMAS 2011) 15 pages (2011)
- 17. Iterative information update and stability of strategies Takuya Masuzawa; Koji Hasebe SYNTHESE 179: 87 - 102 (2011) Semantic Scholar
- 18. 段階的な臨床試験プロセスによる人支援型ロボット開発の提案 長谷部 浩二; 河本 浩明; 上林 清孝; 松下 明山海 嘉之 Journal of the Robotics Society of Japan 29: 236 - 240 (2011)
- 19. 耐障害性向上のための自己安定性に基づくインターネットサービス基盤の構築 大和崎 啓; 長谷部 浩二; 杉木 章義; 加藤 和彦 28: 248 - 257 (2011)
- 20. 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
- 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. 数理的技法による情報セキュリティ 長谷部 浩二; 岡田 光弘; バナ ゲルゲイ (担当:共著, 範囲:セキュリティプロトコルの論理的検証法) 共立出版 2010年
講演・口頭発表情報はまだありません。
知財情報はまだありません。
376 total views