A Model Checking-based Analysis Framework for Systems Biology Models. - Bing Liu; Sara Safa (DAC, 2020)

Boolean implication analysis unveils candidate universal relationships in microbiome data. - Daniella Vo; Shayal Charisma Singh; Sara Safa; Debashis Sahoo (BMC Bioinform., 2021)