Sara Safa

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Biochemical Networks

Epistemic Logic

Formal Verification

Statistical Analysis

Top Venues

Publications

Daniella Vo, Shayal Charisma Singh, Sara Safa, Debashis Sahoo
Boolean implication analysis unveils candidate universal relationships in microbiome data. BMC Bioinform. 22 (1) (2021)
Bing Liu, Sara Safa
A Model Checking-based Analysis Framework for Systems Biology Models. DAC (2020)