-
1مؤتمر
المؤلفون: Decouchant, Jeremie, Kozhaya, David, Rahli, Vincent, Yu, Jiangshan
المصدر: 2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS) IPDPS Parallel and Distributed Processing Symposium (IPDPS), 2024 IEEE International. :1022-1033 May, 2024
Relation: 2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS)
-
2تقرير
-
3مؤتمر
المصدر: 2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring) Vehicular Technology Conference (VTC2023-Spring), 2023 IEEE 97th. :1-7 Jun, 2023
Relation: 2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring)
-
4تقرير
المؤلفون: Cohen, Liron, Rahli, Vincent
المصدر: Logical Methods in Computer Science, Volume 20, Issue 2 (June 26, 2024) lmcs:11666
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2307.14168
-
5مؤتمر
المصدر: 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS) ICDCS Distributed Computing Systems (ICDCS), 2021 IEEE 41st International Conference on. :506-516 Jul, 2021
Relation: 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS)
-
6
-
7
-
8مؤتمر
المؤلفون: Rahli, Vincent, Bickford, Mark, Constable, Robert L.
المصدر: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on. :1-12 Jun, 2017
Relation: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
-
9مؤتمر
المؤلفون: Esteves-Verissimo, Paulo, Volp, Marcus, Decouchant, Jeremie, Rahli, Vincent, Rocha, Francisco
المصدر: 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) PRDC Dependable Computing (PRDC), 2017 IEEE 22nd Pacific Rim International Symposium on. :92-97 Jan, 2017
Relation: 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)
-
10مؤتمر
المؤلفون: Rahli, Vincent, Schiper, Nicolas, Van Renesse, Robbert, Bickford, Mark, Constable, Robert L.
المصدر: 2012 20th IEEE International Conference on Network Protocols (ICNP) Network Protocols (ICNP), 2012 20th IEEE International Conference on. :1-6 Oct, 2012
Relation: 2012 20th IEEE International Conference on Network Protocols (ICNP)