According to our database1, Bing Liu authored at least 17 papers between 2009 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Statistical Model Checking-Based Analysis of Biological Networks.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment.
Proceedings of the Computational Methods in Systems Biology, 2016
Parameter estimation of rule-based models using statistical model checking.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016
Towards personalized prostate cancer therapy using delta-reachability analysis.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Approximate Probabilistic Verification of Hybrid Systems.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis.
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions.
Approximate probabilistic verification of hybrid systems.
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions.
Proceedings of the Computational Methods in Systems Biology, 2014
GPU code generation for ODE-based applications with phased shared-data access patterns.
Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models.
Proceedings of the Computational Methods in Systems Biology, 2013
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application.
IEEE/ACM Trans. Comput. Biology Bioinform., 2012
Modeling and Analysis of biopathways Dynamics.
J. Bioinformatics and Computational Biology, 2012
Approximate probabilistic analysis of biopathway dynamics.
Probabilistic approximations of ODEs based bio-pathway dynamics.
Theor. Comput. Sci., 2011
A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System.
PLoS Computational Biology, 2011
Probabilistic Approximations of Signaling Pathway Dynamics.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009