|
DefagoXavier 2019年 研究業績一覧 (6件 / 64件)
著書
国際会議発表 (査読有り)
-
Satoshi Konno,
Xavier Défago.
Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing,
24th IEEE Pacific Rim International Symposium on Dependable Computing,
IEEE,
pp. 33-42,
Dec. 2019.
-
Xavier Défago,
Adam Heriban,
Sébastien Tixeuil,
Koichi Wada.
Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space,
33rd International Symposium on Distributed Computing (DISC 2019),
33rd International Symposium on Distributed Computing (DISC 2019),
Leibniz International Proceedings in Informatics,
Vol. 146,
pp. 1-3,
Oct. 2019.
公式リンク
-
Keisuke Okumura,
Manao Machida,
Xavier Défago,
Yasumasa Tamura.
Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding,
The 28th International Joint Conference on Artificial Intelligence,
Proceedings of the 28th International Joint Conference on Artificial Intelligence (Main Track),
pp. 535--542,
Aug. 2019.
国際会議発表 (査読なし・不明)
特許など
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|