Bing Liu

According to our database1, Bing Liu authored at least 17 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Statistical Model Checking-Based Analysis of Biological Networks.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

2016
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

2015
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

2014
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis.
CoRR, 2014

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

Approximate probabilistic verification of hybrid systems.
CoRR, 2014

Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions.
Proceedings of the Computational Methods in Systems Biology, 2014

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

Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models.
Proceedings of the Computational Methods in Systems Biology, 2013

2012
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.
Bioinformatics, 2012

2011
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

2009
Probabilistic Approximations of Signaling Pathway Dynamics.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009


  Loading...