|
DefagoXavier 2020年 研究業績一覧 (8件 / 64件)
論文
国際会議発表 (査読有り)
-
Xavier Défago,
Yuval Emek,
Shay Kutten,
Toshimitsu Masuzawa,
Yasumasa Tamura.
Communication Efficient Self-Stabilizing LeaderElection,
34th International Symposium on Distributed Computing (DISC 2020),
34th International Symposium on Distributed Computing (DISC 2020),
Vol. LIPICS 179,
pp. 1-19,
Oct. 2020.
公式リンク
-
Xavier Défago,
Adam Heriban,
Sébastien Tixeuil,
Koichi Wada.
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space,
IEEE Symp. on Reliable Distributed Systems (SRDS),
Proc. 39th IEEE Symp. on Reliable Distributed Systems (SRDS),
pp. 113-122,
Sept. 2020.
-
Francois Bonnet,
Quentin Bramas,
Xavier Défago.
Stateless Distributed Ledgers,
Proc. 7th Intl. Conf. on Networked Systems (NETYS),
Networked Systems,
pp. 349-354,
June 2020.
公式リンク
国際会議発表 (査読なし・不明)
国内会議発表 (査読なし・不明)
-
片平遥香,
田村康将,
DefagoXavier.
耐タンパ性マルチホップ通信のための自己安定なグラフ構築アルゴリズム,
第19回 複雑系マイクロシンポジウム,
第19回 複雑系マイクロシンポジウム 講演論文集,
pp. 81--86,
Mar. 2020.
-
木野田渉,
田村康将,
DefagoXavier.
Tangleにおけるチップ選択アルゴリズムの比較,
第19回 複雑系マイクロシンポジウム,
第19回 複雑系マイクロシンポジウム 講演論文集,
pp. 77--80,
Mar. 2020.
特許など
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|