研究キーワード
研究分野
研究室概要
誰もが信頼して利用できるディペンダブルなシステムのために、分散システム・アルゴリズムに関す
る理論的研究からVLSIのテスト・信頼性・安全性に関する実用的研究まで多角的にディペンダビリ
ティの研究・教育を行う。
学術論文
"Fast gathering despite a linear number of weakly Byzantine agents," Concurrency and Computation: Practice and Experience, vol.First published, 3 Apr. 2024
Jion Hirose, Junya Nakamura, Fukuhito Ooshita, Michiko Inoue
[ doi:10.1002/cpe.8055 ]
"Eventually consistent distributed ledger despite degraded atomic broadcast," Concurrency and Computation: Practice and Experience, vol.35, no.11, ppe6199, 15 May. 2023
Grégory Bénassy, Fukuhito Ooshita, Michiko Inoue
[ NAISTレポジトリ ] [ doi:10.1002/cpe.6199 ]
"Weakly Byzantine Gathering with a Strong Team," IEICE Transactions on Information and Systems, vol.E105-D, no.3, pp541-555, Mar. 2022
Jion Hirose, Junya Nakamura, Fukuhito Ooshita, Michiko Inoue
[ NAISTレポジトリ ] [ doi:10.1587/transinf.2021FCP0011 ]
"Terminating grid exploration with myopic luminous robots," International Journal of Networking and Computing, vol.12, no.1, pp73-102, Jan. 2022
Shota Nagahama, Fukuhito Ooshita, Michiko Inoue
[ doi:10.15803/ijnc.12.1_73 ]
"Uniform Bipartition in the Population Protocol Model with Arbitrary Graphs," Theoretical Computer Science, Sep. 2021
Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sebastien Tixeuil
"Exploration of dynamic tori by multiple agents," Theoretical Computer Science, vol.850, no.5, pp202-220, Jan. 2021
Tsuyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
"Ring exploration with myopic luminous robots," Information and Computation, Jan. 2021
Fukuhito Ooshita, Sebastien Tixeuil
"Time-optimal leader election in population protocols," IEEE Transactions on Parallel and Distributed Systems, vol.31, no.11, pp2620-2632, Nov. 2020
Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa
"Forgive & Forget: Self-stabilizing swarms in spite of Byzantine robots," Concurrency and Computation: Practice and Experience, Nov. 2020
Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita, Koichi Wada
"Byzantine-tolerant gathering of mobile agents in asynchronous arbitrary networks with authenticated whiteboards," IEICE Transactions on Information and Systems, vol.E103-D, no.7, Jul. 2020
Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue
[ NAISTレポジトリ ]
"Move-optimal partial gathering of mobile agents without identifiers or global knowledge in asynchronous unidirectional rings," Theoretical Computer Science, vol.822, no.24, pp92-109, Jun. 2020
Masahiro Shibata, Norikazu Kawata, Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
"Dynamic ring exploration with (H, S) view," Algorithms, vol.13, no.6, Jun. 2020
Tsuyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita, Toshimitsu Masuzawa
[ doi:10.3390/a13060141 ]
"Loosely-stabilizing leader election on arbitrary graphs in population protocols without identifiers nor random numbers," IEICE Transactions on Information and Systems, vol.E103-D, no.3, pp489-499, Mar. 2020
Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
"Loosely-stabilizing leader election with polylogarithmic convergence time," Theoretical Computer Science, vol.806, pp617-631, Feb. 2020
Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta, Lawrence L. Larmore
"Loosely-stabilizing leader election for arbitrary graphs in population protocol model," IEEE Transactions on Parallel and Distributed Systems, vol.30, no.1, pp1359-1373, Jun. 2019
Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta, Lawrence L. Larmore
[ doi:10.1109/TPDS.2018.2881125 ]
"Partial gathering of mobile agents in arbitrary networks," IEICE Transactions on Information and Systems, Mar. 2019
Masahiro Shibata, Daisuke Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
"Space-optimal population protocols for uniform bipartition under global fairness," IEICE Transactions on Information and Systems, vol.E102-D, no.3, Mar. 2019
Hiroto Yasumi, Fukuhito Ooshita, Ken'ichi Yamaguchi, Michiko Inoue
"A population protocol for uniform k-partition under global fairness ," IJNC Special Issue on APDCM 2018, Jan. 2019
Hiroto Yasumi, Naoki Kitamura, Fukuhito Ooshita, Taisuke Izumi, Michiko Inoue
"Uniform deployment of mobile agents in asynchronous rings," Journal of Parallel and Distributed Computing, vol.119, pp92-106, Sep. 2018
Masahiro Shibata, Toshiya Mega, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
"Byzantine-tolerant Gathering of Mobile Agents in Arbitrary Networks with Authenticated Whiteboards," IEICE Transactions on Information and Systems, vol.E101-D, no.3, pp602-610, Mar. 2018
Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue
[ NAISTレポジトリ ]
"Move-optimal partial gathering of mobile agents in asynchronous trees ," Theoretical Computer Science , vol.705, pp9-30, Jan. 2018
Masahiro Shibata, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
"Partial gathering of mobile agents in asynchronous unidirectional rings,," Theoretical Computer Science, vol.617, pp1-11, Feb. 2016
Masahiro Shibata, Fukuhito Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
[ NAISTレポジトリ ]
"An efficient silent self-stabilizing 1-maximal matching algorithm in anonymous networks," Journal of Graph Algorithms and Applications, vol.20, no.1, pp59-78, Jan. 2016
Yuma Asada, Fukuhito Ooshita, Michiko Inoue
[ NAISTレポジトリ ]
"A single agent exploration in unknown undirected graphs with whiteboards," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol.E98-A, no.10, Oct. 2015
Yuichi Sudo, Daisuke Baba, Junya Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
[ NAISTレポジトリ ]
"フィジカル・インタラクションを使ったプログラミング学習のための教材開発と実践," 情報処理学会論文誌「教育とコンピュータ」トランザクション, 2015.9
有賀妙子, 森公一, 大下 福仁, 角川裕次, 増澤利光
[ NAISTレポジトリ ]
"On the self-stabilization of mobile oblivious robots in uniform rings," Theoretical Computer Science, vol.568, pp84-96, Feb. 2015
Fukuhito Ooshita, Sebastien Tixeuil
[ NAISTレポジトリ ]
受賞
"Best Paper Award," 14th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), 2022.11.21
廣瀬慈恩, 中村純哉, 大下 福仁, 井上 美智子
"優秀研究賞," 第17回情報科学ワークショップ, 2021.9.13
廣瀬慈恩, 中村純哉, 大下 福仁, 井上 美智子
"優秀研究賞," 第16回情報科学ワークショップ, 2020.9.30
安見 嘉人, 大下 福仁, 井上 美智子
"Best Student Paper Award," 21th International Symposium ion Stabilization, Safety, and Security of Distributed Systems, Oct. 2019
Shota Nagahama, Fukuhito Ooshita, Michiko Inoue
"優秀研究賞," 第12回情報科学ワークショップ, 2016.9.16
土田将司, 大下 福仁, 井上 美智子
所属学協会
資料

井上 美智子

職位 教授
領域 情報科学領域 コンピュータ科学分野
研究室 ディペンダブルシステム学

誰もが信頼して利用できるディペンダブルなシステムのために、分散システム・アルゴリズムに関す
る理論的研究からVLSIのテスト・信頼性・安全性に関する実用的研究まで多角的にディペンダビリ
ティの研究・教育を行う。

新谷 道広

職位 客員准教授
領域 情報科学領域 コンピュータ科学分野
研究室 ディペンダブルシステム学

誰もが信頼して利用できるディペンダブルなシステムのために、分散システム・アルゴリズムに関す
る理論的研究からVLSIのテスト・信頼性・安全性に関する実用的研究まで多角的にディペンダビリ
ティの研究・教育を行う。

江口 僚太

職位 助教
領域 情報科学領域 コンピュータ科学分野
研究室 ディペンダブルシステム学

誰もが信頼して利用できるディペンダブルなシステムのために、分散システム・アルゴリズムに関す
る理論的研究からVLSIのテスト・信頼性・安全性に関する実用的研究まで多角的にディペンダビリ
ティの研究・教育を行う。

笹田 大翔

職位 助教
領域 情報科学領域 コンピュータ科学分野
研究室 ディペンダブルシステム学

誰もが信頼して利用できるディペンダブルなシステムのために、分散システム・アルゴリズムに関す
る理論的研究からVLSIのテスト・信頼性・安全性に関する実用的研究まで多角的にディペンダビリ
ティの研究・教育を行う。