• Sign in
  • Sign up
conf.researchr.org / Nathalie Bertrand
  • ETAPS 2019 profile
  • POPL 2021 profile
  • POPL 2024 profile
Nathalie Bertrand

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
xSat 14 Jun 07:03
using conf.researchr.org (v1.69.0)
Support page
Sign Up