ホーム > 長谷部 浩二/ 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 (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 (2018) Semantic Scholar
-
3.
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 (2018)
-
4.
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 (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 (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 (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 (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 (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 (2013) Semantic Scholar
-
12.
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
-
13.
Computationally complete symbolic attacker and key exchange
Gergei Bana; Koji Hasebe; Mitsuhiro Okada
Proceedings of the ACM Conference on Computer and Communications Security 1231 (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 (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.
段階的な臨床試験プロセスによる人支援型ロボット開発の提案
長谷部 浩二; 河本 浩明; 上林 清孝; 松下 明山海 嘉之
Journal of the Robotics Society of Japan 29: 236 (2011)
-
18.
Iterative information update and stability of strategies
Takuya Masuzawa; Koji Hasebe
SYNTHESE 179: 87 (2011) Semantic Scholar
-
19.
耐障害性向上のための自己安定性に基づくインターネットサービス基盤の構築
大和崎 啓; 長谷部 浩二; 杉木 章義; 加藤 和彦
コンピュータソフトウェア 28: 248 (2011)
-
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.
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年
講演・口頭発表情報はまだありません。
知財情報はまだありません。
543 total views