Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carolyn Talcott
conf.researchr.org general profile
ETAPS 2019 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2022 profile
Registered user since Fri 11 Sep 2020
Name:
Carolyn Talcott
Affiliation:
SRI International
Contributions
FTSCS 2022
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
AGERE 2020
Committee Member in Program Committee within the AGERE 2020-track
AGERE 2019
Committee Member in Program Committee within the AGERE 2019-track
HSB 2019
Author of Fuzzy Matching in Symbolic Systems Biology within the HSB-track
AGERE 2018
Committee Member in Program Committee within the AGERE-track
Share
x
Sat 25 Jun 12:37