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
POPL 2026 profile
Registered user since Tue 20 Jun 2023
Name:
Nathalie Bertrand
Affiliation:
INRIA Rennes
Contributions
2026
VMCAI
Author of Reachability in multi-agent transfer systems within the VMCAI 2026-track
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 15 Sep 17:27