2 papers
q-bio.QM2020
A Model Checking-based Analysis Framework for Systems Biology Models
Bing Liu
Biological systems are often modeled as a system of ordinary differential equations (ODEs) with time-invariant parameters. However, cell signaling events or pharmacological interve…
q-bio.QM2016
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment
Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu +3
The focus of pancreatic cancer research has been shifted from pancreatic cancer cells towards their microenvironment, involving pancreatic stellate cells that interact with cancer…