Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nathalie Bertrand
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2021 profile
POPL 2024 profile
Registered user since Tue 20 Jun 2023
Name:
Nathalie Bertrand
Affiliation:
INRIA Rennes
Contributions
2024
VMCAI
Committee Member in Program Committee within the VMCAI 2024-track
2021
VMCAI
Author of A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries within the VMCAI-track
2019
MeTRiD
Author of Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries within the MeTRiD-track
QAPL
Steering Committee Member in Steering Committee within the QAPL-track
Share
x
Tue 3 Dec 18:09
