conf.researchr.org / Nathalie Bertrand
Nathalie Bertrand

Not registered as user yet

Name: Nathalie Bertrand

Affiliation: INRIA Rennes

Contributions

VMCAI 2021 Author of A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries within the VMCAI-track
QAPL 2019 Steering Committee Member in Steering Committee within the QAPL-track
MeTRiD 2019 Author of Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries within the MeTRiD-track