Bing Liu

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