Bing Liu

According to our database, Bing Liu authored at least 16 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Statistical Model Checking-Based Analysis of Biological Networks.

Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

2016

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment.

Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke

Proceedings of the Computational Methods in Systems Biology, 2016

Parameter estimation of rule-based models using statistical model checking.

Bing Liu, James R. Faeder

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

Towards personalized prostate cancer therapy using delta-reachability analysis.

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Approximate Probabilistic Verification of Hybrid Systems.

Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2014

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis.

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke

CoRR, 2014

Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions.

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke

CoRR, 2014

Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions.

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke

Proceedings of the Computational Methods in Systems Biology, 2014

2013

GPU code generation for ODE-based applications with phased shared-data access patterns.

Andrei Hagiescu, Bing Liu, R. Ramanathan, Sucheendra K. Palaniappan, Zheng Cui, Bipasa Chattopadhyay, P. S. Thiagarajan, Weng-Fai Wong

ACM Trans. Archit. Code Optim., 2013

Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models.

Sucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu, David Hsu, P. S. Thiagarajan

Proceedings of the Computational Methods in Systems Biology, 2013

2012

A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application.

Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan

IEEE ACM Trans. Comput. Biol. Bioinform., 2012

Modeling and Analysis of biopathways Dynamics.

Bing Liu, P. S. Thiagarajan

J. Bioinform. Comput. Biol., 2012

Approximate probabilistic analysis of biopathway dynamics.

Bing Liu, Andrei Hagiescu, Sucheendra K. Palaniappan, Bipasa Chattopadhyay, Zheng Cui, Weng-Fai Wong, P. S. Thiagarajan

Bioinform., 2012

2011

Probabilistic approximations of ODEs based bio-pathway dynamics.

Bing Liu, David Hsu, P. S. Thiagarajan

Theor. Comput. Sci., 2011

A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System.

Bing Liu, Jing Zhang, Pei Yi Tan, David Hsu, Anna M. Blom, Benjamin Leong, Sunil Sethi, Bow Ho, Jeak Ling Ding, P. S. Thiagarajan

PLoS Comput. Biol., 2011

2009

Probabilistic Approximations of Signaling Pathway Dynamics.

Bing Liu, P. S. Thiagarajan, David Hsu

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009