Bing Liu

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 4

Top Topics

Bayesian Networks

Reachability Analysis

Top Venues

Publications

Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. CMSB (2016)
Bing Liu, James R. Faeder
Parameter estimation of rule-based models using statistical model checking. BIBM (2016)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Towards personalized prostate cancer therapy using delta-reachability analysis. HSCC (2015)
Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan
Approximate Probabilistic Verification of Hybrid Systems. HSB (2015)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. CoRR (2014)
Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan
Approximate probabilistic verification of hybrid systems. CoRR (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. CMSB (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. CoRR (2014)
Sucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu, David Hsu, P. S. Thiagarajan
Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models. CMSB (2013)
Andrei Hagiescu, Bing Liu, R. Ramanathan, Sucheendra K. Palaniappan, Zheng Cui, Bipasa Chattopadhyay, P. S. Thiagarajan, Weng-Fai Wong
GPU code generation for ODE-based applications with phased shared-data access patterns. ACM Trans. Archit. Code Optim. 10 (4) (2013)
Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (5) (2012)
Bing Liu, Andrei Hagiescu, Sucheendra K. Palaniappan, Bipasa Chattopadhyay, Zheng Cui, Weng-Fai Wong, P. S. Thiagarajan
Approximate probabilistic analysis of biopathway dynamics. Bioinform. 28 (11) (2012)
Bing Liu, P. S. Thiagarajan
Modeling and Analysis of biopathways Dynamics. J. Bioinform. Comput. Biol. 10 (4) (2012)
Bing Liu, Jing Zhang, Pei Yi Tan, David Hsu, Anna M. Blom, Benjamin Leong, Sunil Sethi, Bow Ho, Jeak Ling Ding, P. S. Thiagarajan
A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System. PLoS Comput. Biol. 7 (1) (2011)
Bing Liu, David Hsu, P. S. Thiagarajan
Probabilistic approximations of ODEs based bio-pathway dynamics. Theor. Comput. Sci. 412 (21) (2011)
Bing Liu, P. S. Thiagarajan, David Hsu
Probabilistic Approximations of Signaling Pathway Dynamics. CMSB (2009)