5 citations · 10 across the 3 of their papers we have counts for
3 papers
q-bio.MN2017★ 3 cited
Methods to Expand Cell Signaling Models using Automated Reading and Model Checking
Kai-Wen Liang, Qinsi Wang, Cheryl Telmer +3
Biomedical research results are being published at a high rate, and with existing search engines, the vast amount of published work is usually easily accessible. However, reproduci…
q-bio.QM2016★ 2 cited
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…
cs.FL2014★ 5 cited
SReach: A Bounded Model Checker for Stochastic Hybrid Systems
Qinsi Wang, Paolo Zuliani, Soonho Kong +2
In this paper we describe a new tool, SReach, which solves probabilistic bounded reachability problems for two classes of stochastic hybrid systems. The first one is (nonlinear) hy…