Hasebe Koji 長谷部浩二

… Alternative Names

HASEBE Koji 長谷部浩二

Less

Researcher Number	80470045
Other IDs
Affiliation (Current)	2025: 筑波大学, システム情報系, 准教授
Affiliation (based on the past Project Information) *help	2017 – 2024: 筑波大学, システム情報系, 准教授 2010 – 2016: 筑波大学, システム情報系, 助教 2009: University of Tsukuba, 大学院・システム情報工学研究科, 研究員
Review Section/Research Field	Principal Investigator Software / Basic Section 60050:Software-related / Software Except Principal Investigator Basic Section 60050:Software-related / Software / Software / Basic Section 60020:Mathematical informatics-related
Keywords	Principal Investigator 数理的技法 / 安全性検証 / 論理推論体系 / 論理推論 / 暗号プロトコル / ゲーム理論 / 意思決定 / 知識論理 / 帰納的ゲーム理論 / 論理推論体型 … More / 仕様記述・検証 / 秘密分散プロトコル / 計算論的安全性証明 / 計算論的安全性 / 形式手法 / 仕様検証 / 仕様記述 … More Except Principal Investigator ソーシャルネットワーク / アクセスパターン / 省電力 / クラウドコンピューティング / マルチエージェントシステム / システム分析 / ログ生成 / Adversarial Learning / Mobility / Multi-Agent / Simulation / city generation / evacuation / natural disasters / urban planning / machine learning / multi agent systems / unity / user interface / decision making model / agent based models / simulator / 生成的ロギング / データセンター / 機械学習 / データセンタ / SNS / アクセスパターン予測 / ストレージシステム / 代数的構造 / マルチスレッド / B+木 / B木 / 並列処理 / メニーコア / ビッグデータ / 耐障害 / ゲーム理論 / 自律分散システム / クラウド・コンピューティング / 仮想マシン / 分散システム / オペレーティングシステム Less

Development of system behavior analysis method based on automatic log generation and processing
- Principal Investigator
  
  加藤和彦
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  University of Tsukuba
A novel Multi-Agent Model with Adversarial Mobility Learning for Epidemic Simulation at the Community Level
- Principal Investigator
  
  Aranha Claus
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60020:Mathematical informatics-related
- Research Institution
  University of Tsukuba
Establishment of Cloud System Design and Implementation Method Based on Generative Logging
- Principal Investigator
  
  Kato Kazuhiko
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  University of Tsukuba
A Study on Logical Analysis Methods of Decision Making Processes in Inductive Game Theory and Its ApplicationsPrincipal Investigator
- Principal Investigator
  
  Hasebe Koji
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  University of Tsukuba
Research on Power-Aware Large-Scale Storage Systems Based on Highly Accurate Access Pattern Prediction
- Principal Investigator
  
  Kato Kazuhiko
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
A Parallel Processing Scheme for big data targeting a computer with many CPU cores and a large capacity main memory.
- Principal Investigator
  
  KATO kazuhiko
- Project Period (FY)
  2015 – 2016
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
A Study on Security Verification Method of Cryptographic Protocols by Analysis of Knowledge Formation ProcessPrincipal Investigator
- Principal Investigator
  
  Hasebe Koji
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
Game theoretic approach to autonomous mechanism in distributed systems
- Principal Investigator
  
  KATO Kazuhiko
- Project Period (FY)
  2012 – 2013
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
Logical verification method for rational secret sharing protocolsPrincipal Investigator
- Principal Investigator
  
  HASEBE Koji
- Project Period (FY)
  2012 – 2013
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
A Study on a Programming Framework for Virtual Computing Environments
- Principal Investigator
  
  KATO Kazuhiko
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
Computational Logical Verification Method for Cryptographic ProtocolsPrincipal Investigator
- Principal Investigator
  
  HASEBE Koji
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba

All 2022 2021 2020 2019 2017 2016 2015 2014 2013 2012 2010 2009 Other

All Journal Article Presentation Book

[Book] 「セキュリティ・プロトコルの論理的検証法」(萩谷・塚田共編『数理的技法による情報セキュリティ』第9章2010
- Author(s)
  長谷部浩二, 岡田光弘, バナ・ゲルゲイ
- Publisher
  共立出版
- Data Source
  KAKENHI-PROJECT-21700023
[Book] 数理的技法による情報セキュリティ2010
- Author(s)
  長谷部浩二, 岡田光弘, バナ・ゲルゲイ
- Data Source
  KAKENHI-PROJECT-21700023
[Journal Article] Analysis of optimal file placement for energy-efficient file-sharing cloud storage system2020
- Author(s)
  Fumio Machida, Koji Hasebe, Hirotake Abe, Kazuhiko Kato
- Journal Title
  
  IEEE Transactions on Sustainable Computing
  
  Volume: accepted Issue: 1 Pages: 75-86
- DOI
  10.1109/tsusc.2020.3037260
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H04163
[Journal Article] A Game Theoretic Approach to Power Reduction in Distributed Storage Systems2016
- Author(s)
  Koji Hasebe, Takumi Sawada, and Kazuhiko Kato
- Journal Title
  
  Journal of Information Processing
  
  Volume: 24 Issue: 1 Pages: 173-181
- DOI
  10.2197/ipsjjip.24.173
- NAID
  130005119985
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K12006
[Journal Article] Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction2015
- Author(s)
  Koji Hasebe, unpei. Okoshi, and Kazuhiko Kato
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E98.D Issue: 10 Pages: 1744-1754
- DOI
  10.1587/transinf.2014EDP7421
- NAID
  130005101299
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K12006
[Journal Article] Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus2014
- Author(s)
  Koji Hasebe, Naofumi Nishita, and Kazuhiko Kato
- Journal Title
  
  Proceedings of the IEEE Third International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability (Intercloud 2014)
  
  Pages: 410-416
- URL
  http://intercloud.cloudcom.org
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24650010
[Journal Article] Using a Potential Game for Power Reduction in Distributed Storage Systems2014
- Author(s)
  Koji Hasebe, Takumi Sawada, and Kazuhiko Kato
- Journal Title
  
  IEEE International Workshop on Software Defined Systems
  
  Volume: - Pages: 550-555
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24650010
[Journal Article] Using a Potential Game for Power Reduction in Distributed Storage Systems2014
- Author(s)
  Koji Hasebe, Takumi Sawada, and Kazuhiko Kato
- Journal Title
  
  Proceedings of the IEEE International Workshop on Software Defined Systems (SDS 2014)
  
  Pages: 550-555
- URL
  http://www.staffs.ac.uk/personal/engineering_and_technology/eb26/SDS-2014/default.php
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24650010
[Journal Article] Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus2014
- Author(s)
  Koji Hasebe, Naofumi Nishita, and Kazuhiko Kato
- Journal Title
  
  IEEE Third International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability
  
  Volume: - Pages: 410-416
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24650010
[Journal Article] Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms2013
- Author(s)
  Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato
- Journal Title
  
  Proceedings of the 3rd International Conference on Cloud Computing
  
  Volume: －
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24650010
[Journal Article] Computationally Complete Symbolic Attacker and Key Exchange2013
- Author(s)
  Gergely Bana, Koji Hasebe, and Mitsuhiro Okada
- Journal Title
  
  Proceedings of the 20th ACM Conference on Computer and Communications Security (ACM CCS 2013)
  
  Pages: 1231-1246
- DOI
  10.1145/2508859.2516710
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24700022
[Journal Article] Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms2012
- Author(s)
  Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato
- Journal Title
  
  Proceedings of the 3rd International Conference on Cloud Computing (CloudComp 2012)
  
  Volume: vol.112 Pages: 55-61
- DOI
  10.1007/978-3-319-03874-2_6
- ISBN
  9783319038735, 9783319038742
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] A Framework for Generating Playstyles of Game AI with Clustering of Play Logs2022
- Author(s)
  Yu Iwasaki and Koji Hasebe
- Organizer
  14th International Conference on Agents and Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11894
[Presentation] Playing Geister by Estimating Hidden Information with Deep Reinforcement Learning2021
- Author(s)
  Keisuke Tomoda and Koji Hasebe
- Organizer
  3rd IEEE Conference on Games
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11894
[Presentation] Robustness and Failure Detection in Epistemic Gossip Protocols2021
- Author(s)
  Kosei Fujishiro and Koji Hasebe
- Organizer
  22nd International Conference on Formal Engineering Methods (ICFEM)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11894
[Presentation] ビザンチン将軍問題における知識の分析に基づく故障の特定2021
- Author(s)
  藤代康誠，長谷部浩二
- Organizer
  第23回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-19K11894
[Presentation] ulti-Tier Power-Saving Method in Cloud Storage Systems for Content Sharing Services2020
- Author(s)
  Horleang Choeng, Koji Hasebe, Hirotake Abe, and Kazuhiko Kato
- Organizer
  17th Inernational Conference on the Economics of Grids, Clouds, Systems and Services
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04163
[Presentation] メカニズムデザインにおける合理性の認識論理による分析2019
- Author(s)
  藤代康誠，長谷部浩二
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-19K11894
[Presentation] Power-Saving Method in Storage Systems for File Sharing Services2019
- Author(s)
  Horleang Choeng, Koji Hasebe, Hirotake Abe, Kazuhiko Kato
- Organizer
  情報処理学会システムソフトウェアとオペレーティング・システム（OS）研究会
- Data Source
  KAKENHI-PROJECT-17H01718
[Presentation] メカニズムデザインにおける合理性の認識論理による分析2019
- Author(s)
  藤代康誠，長谷部浩二
- Organizer
  ディペンダブルシステムワークショップ
- Data Source
  KAKENHI-PROJECT-19K11894
[Presentation] Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking2017
- Author(s)
  Koji Hasebe, Mitsuaki Tsuji, and Kazuhiko Kato
- Organizer
  15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330076
[Presentation] Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus2014
- Author(s)
  Koji Hasebe,Naofumi Nishita, and Kazuhiko Kato
- Organizer
  IEEE Third International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability (Intercloud 2014)
- Place of Presentation
  Boston, US
- Year and Date
  2014-03-11
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] Using a Potential Game for Power Reduction in Distributed Storage Systems2014
- Author(s)
  Koji Hasebe, Takumi Sawada, and Kazuhiko Kato
- Organizer
  IEEE International Workshop on Software Defined Systems (SDS 2014)
- Place of Presentation
  Boston, US
- Year and Date
  2014-03-11
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] Using a Potential Game for Power Reduction in Distributed Storage Systems2014
- Author(s)
  Koji Hasebe, Takumi Sawada, and Kazuhiko Kato
- Organizer
  IEEE International Workshop on Software Defined Systems
- Place of Presentation
  ボストン（アメリカ合衆国）
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus2014
- Author(s)
  Koji Hasebe, Naofumi Nishita, and Kazuhiko Kato
- Organizer
  IEEE Third International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability
- Place of Presentation
  ボストン（アメリカ合衆国)
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] 計算論的に完全な記号的攻撃者と鍵交換に関する分析手法2014
- Author(s)
  バナ・ゲルゲイ,長谷部浩二,岡田光弘
- Organizer
  暗号と情報セキュリティシンポジウム
- Place of Presentation
  鹿児島
- Data Source
  KAKENHI-PROJECT-24700022
[Presentation] Decentralized Management for Power Optimization in Cloud Data Centers Using VM Migration2013
- Author(s)
  Islam A.K.A.Md. Shariful, Koji Hasebe, and Kazuhiko Kato
- Organizer
  情報処理学会第75回全国大会
- Place of Presentation
  東北大学川内キャンパス
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] Computationally Complete Symbolic Attacker and Key Exchange2013
- Author(s)
  Gergely Bana, Koji Hasebe, and Mitsuhiro Okada
- Organizer
  20th ACM Conference on Computer and Communications Security (ACM CCS 2013)
- Place of Presentation
  Berlin, Germany
- Data Source
  KAKENHI-PROJECT-24700022
[Presentation] 大規模なノード故障やネットワーク分断に対する可用性を持つ受動的複製手法2013
- Author(s)
  西田尚史, 長谷部浩二, 加藤和彦
- Organizer
  第11回ディペンダブルシステムワークショップ(DSW 2013)
- Place of Presentation
  ホテルリゾーピア熱海
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] ゲーム理論を用いた大規模分散ストレージシステムの省電力化手法2013
- Author(s)
  澤田匠, 長谷部浩二, 加藤和彦
- Organizer
  ゲーム理論を用いた大規模分散ストレージシステムの省電力化手法
- Place of Presentation
  ホテルリゾーピア熱海
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] ホスティングサービスにおけるアクセス傾向予測を用いた分散ストレージシステムの省電力化手法2013
- Author(s)
  大越淳平, 長谷部浩二, 加藤和彦
- Organizer
  情報処理学会第75回全国大会
- Place of Presentation
  東北大学川内キャンパス
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] Computationally Complete Symbolic Attacker and Key Exchange2013
- Author(s)
  Gergely Bana, Koji Hasebe, and Mitsuhiro Okada
- Organizer
  20th ACM Conference on Computer and Communications Security
- Place of Presentation
  ドイツ・ベルリン
- Data Source
  KAKENHI-PROJECT-24700022
[Presentation] ファイル共有サービスにおけるアクセス傾向予測を用いた分散ストレージシステムの省電力化手法2013
- Author(s)
  大越淳平, 長谷部浩二, 加藤和彦
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学本郷キャンパス
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] ゲーム論的アプローチによる仮想計算機への動的な物理コアの効率的割当の手法2013
- Author(s)
  荒拓馬, 長谷部浩二, 加藤和彦
- Organizer
  情報処理学会第75回全国大会
- Place of Presentation
  東北大学川内キャンパス
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] ファイル共有サービスにおけるアクセス傾向予測を用いた分散ストレージシステムの省電力化手法2013
- Author(s)
  大越淳平, 長谷部浩二, 加藤和彦
- Organizer
  第11回ディペンダブルシステムワークショップ(DSW 2013)
- Place of Presentation
  ホテルリゾーピア熱海
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] 大規模なノード故障やネットワーク分断に対する可用性を持つ受動的複製手法2013
- Author(s)
  西田尚史, 長谷部浩二, 加藤和彦
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学本郷キャンパス
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] Network Traffic-Aware Power Optimization in Cloud Data Center2013
- Author(s)
  Islam A.K.A.Md. Shariful, Koji Hasebe, Kazuhiko Kato
- Organizer
  第11回ディペンダブルシステムワークショップ(DSW 2013)
- Place of Presentation
  ホテルリゾーピア熱海
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] ゲーム理論を用いた大規模分散ストレージシステムの省電力化手法2013
- Author(s)
  澤田匠, 長谷部浩二, 加藤和彦
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学本郷キャンパス
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] ゲーム論的アプローチによるクラウドコンピューティング上での動的な計算資源管理手法2013
- Author(s)
  荒拓馬, 長谷部浩二, 加藤和彦
- Organizer
  第11回ディペンダブルシステムワークショップ(DSW 2013)
- Place of Presentation
  ホテルリゾーピア熱海
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] 計算論的に健全な一階述語論理による暗号プロトコルの分析2012
- Author(s)
  Gergely Bana, 長谷部浩二, 岡田光弘
- Organizer
  推理的技法による情報セキュリティ
- Place of Presentation
  九州大学(福岡県)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21700023
[Presentation] 計算論的に健全な一階述語論理による暗号プロトコルの分析2012
- Author(s)
  Gergely Bana, 長谷部浩二, 岡田光弘
- Organizer
  数理的技法による情報セキュリティ
- Place of Presentation
  九州大学(福岡県)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21700023
[Presentation] Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms2012
- Author(s)
  Jumpei Okoshi,Koji Hasebe,and Kazuhiko Kato
- Organizer
  Proceedings of the 3rd International Conference on Cloud Computing (CloudComp 2012)
- Place of Presentation
  Wien, Austria (Springer LNICST)
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms2012
- Author(s)
  Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato
- Organizer
  3rd International Conference on Cloud Computing
- Place of Presentation
  ウィーン工科大学（オーストリア）
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] ホスティングサービスにおける自律制御を用いた分散ストレージシステムの省電力化手法2012
- Author(s)
  大越淳平, 長谷部浩二, 加藤和彦
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  法政大学小金井キャンパス
- Data Source
  KAKENHI-PROJECT-24650010
[Presentation] Secrecy-Oriented, Computationally Sound First-Order Logical Analysis of Cryptographic Protocols2010
- Author(s)
  Gergely Bana, Koji Hasebe, Mitsuhiro Okada
- Organizer
  6th Workshop on Formal and Computational Cryptography
- Place of Presentation
  Edinburgh, UK
- Year and Date
  2010-07-20
- Data Source
  KAKENHI-PROJECT-21700023
[Presentation] Secrecy-Oriented Computationally Sound First-Order Logical Aanlysis of Cryptographic Protocols2010
- Author(s)
  Gergely Bana, Koji Hasebe, Mitsuhiro Okada
- Organizer
  6th Workshop on Formal and Computational Cryptography
- Place of Presentation
  Edinburgh, UK
- Year and Date
  2010-07-20
- Data Source
  KAKENHI-PROJECT-21700023
[Presentation] Recent approaches to computational semantics for first-order logical analysis of cryptographic protocols2009
- Author(s)
  Gergely Bana, Koji Hasebe, Mitsuhiro Okada
- Organizer
  Computational and Symbolic Proofs of Security
- Place of Presentation
  熱川ハイツ(静岡県)
- Year and Date
  2009-04-09
- Data Source
  KAKENHI-PROJECT-21700023
[Presentation] ゲーム論的アプローチによる仮想計算機への動的な物理コアの効率的割当の手法
- Author(s)
  荒拓馬，長谷部浩二，加藤和彦
- Organizer
  情報処理学会第75回全国大会
- Place of Presentation
  東北大学
- Data Source
  KAKENHI-PROJECT-24650010

1. KATO Kazuhiko (90224493)

# of Collaborated Projects: 6 results

# of Collaborated Products: 28 results
2. 阿部洋丈 (00456716)

# of Collaborated Projects: 4 results

# of Collaborated Products: 3 results
3. SHINAGAWA Takahiro (40361745)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. 岡瑞起 (10512105)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. SUGIKI Akiyoshi (50536828)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 町田文雄 (50842209)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
7. Aranha Claus (80629858)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. BOGDANOVA ANNA (70924463)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Hasebe Koji 長谷部 浩二

HASEBE Koji 長谷部 浩二

Research Projects

Research Products

Co-Researchers

Development of system behavior analysis method based on automatic log generation and processing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A novel Multi-Agent Model with Adversarial Mobility Learning for Epidemic Simulation at the Community Level

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Establishment of Cloud System Design and Implementation Method Based on Generative Logging

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A Study on Logical Analysis Methods of Decision Making Processes in Inductive Game Theory and Its ApplicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on Power-Aware Large-Scale Storage Systems Based on Highly Accurate Access Pattern Prediction

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Parallel Processing Scheme for big data targeting a computer with many CPU cores and a large capacity main memory.

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Security Verification Method of Cryptographic Protocols by Analysis of Knowledge Formation ProcessPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Game theoretic approach to autonomous mechanism in distributed systems

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Logical verification method for rational secret sharing protocolsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on a Programming Framework for Virtual Computing Environments

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computational Logical Verification Method for Cryptographic ProtocolsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 「セキュリティ・プロトコルの論理的検証法」(萩谷・塚田共編『数理的技法による情報セキュリティ』第9章2010

Author(s)

Publisher

Data Source

[Book] 数理的技法による情報セキュリティ2010

Author(s)

Data Source

[Journal Article] Analysis of optimal file placement for energy-efficient file-sharing cloud storage system2020

Author(s)

Hasebe Koji 長谷部浩二

HASEBE Koji 長谷部浩二