Probabilistic Approximations of Signaling Pathway Dynamics. - Bing Liu 013; P. S. Thiagarajan; David Hsu (CMSB, 2009)

A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System. - Bing Liu 013; Jing Zhang 020; Pei Yi Tan; David Hsu; Anna M. Blom; Benjamin Leong; Sunil Sethi; Bow Ho; Jeak Ling Ding; P. S. Thiagarajan (PLoS Comput. Biol., 2011)

Probabilistic approximations of ODEs based bio-pathway dynamics. - Bing Liu 013; David Hsu; P. S. Thiagarajan (Theor. Comput. Sci., 2011)

Approximate probabilistic analysis of biopathway dynamics. - Bing Liu 013; Andrei Hagiescu; Sucheendra K. Palaniappan; Bipasa Chattopadhyay; Zheng Cui; Weng-Fai Wong; P. S. Thiagarajan (Bioinform., 2012)

Modeling and Analysis of biopathways Dynamics. - Bing Liu 013; P. S. Thiagarajan (J. Bioinform. Comput. Biol., 2012)

A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application. - Sucheendra K. Palaniappan; S. Akshay 001; Bing Liu 013; Blaise Genest; P. S. Thiagarajan (IEEE ACM Trans. Comput. Biol. Bioinform., 2012)

Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models. - Sucheendra K. Palaniappan; Benjamin M. Gyori; Bing Liu 013; David Hsu; P. S. Thiagarajan (CMSB, 2013)

GPU code generation for ODE-based applications with phased shared-data access patterns. - Andrei Hagiescu; Bing Liu 013; R. Ramanathan 002; Sucheendra K. Palaniappan; Zheng Cui; Bipasa Chattopadhyay; P. S. Thiagarajan; Weng-Fai Wong (ACM Trans. Archit. Code Optim., 2013)

Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (CMSB, 2014)

Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (CoRR, 2014)

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (CoRR, 2014)

Approximate Probabilistic Verification of Hybrid Systems. - Benjamin M. Gyori; Bing Liu 013; Soumya Paul; R. Ramanathan 002; P. S. Thiagarajan (HSB, 2015)

Towards personalized prostate cancer therapy using delta-reachability analysis. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (HSCC, 2015)

Parameter estimation of rule-based models using statistical model checking. - Bing Liu 013; James R. Faeder (BIBM, 2016)

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. - Qinsi Wang; Natasa Miskov-Zivanov; Bing Liu 013; James R. Faeder; Michael Lotze; Edmund M. Clarke (CMSB, 2016)

Statistical Model Checking-Based Analysis of Biological Networks. - Bing Liu 013; Benjamin M. Gyori; P. S. Thiagarajan (Automated Reasoning for Systems Biology and Medicine, 2019)