Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bing Liu 0013
@incollection{DBLP:series/cb/0013GT19,
author = {Bing Liu and
Benjamin M. Gyori and
P. S. Thiagarajan},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Statistical Model Checking-Based Analysis of Biological Networks},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {63--92},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_3},
doi = {10.1007/978-3-030-17297-8\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/cb/0013GT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/LiuF16,
author = {Bing Liu and
James R. Faeder},
editor = {Tianhai Tian and
Qinghua Jiang and
Yunlong Liu and
Kevin Burrage and
Jiangning Song and
Yadong Wang and
Xiaohua Hu and
Shinichi Morishita and
Qian Zhu and
Guohua Wang},
title = {Parameter estimation of rule-based models using statistical model
checking},
booktitle = {{IEEE} International Conference on Bioinformatics and Biomedicine,
{BIBM} 2016, Shenzhen, China, December 15-18, 2016},
pages = {1453--1459},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BIBM.2016.7822738},
doi = {10.1109/BIBM.2016.7822738},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibm/LiuF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/WangMLFLC16,
author = {Qinsi Wang and
Natasa Miskov{-}Zivanov and
Bing Liu and
James R. Faeder and
Michael Lotze and
Edmund M. Clarke},
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {Formal Modeling and Analysis of Pancreatic Cancer Microenvironment},
booktitle = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
pages = {289--305},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45177-0\_18},
doi = {10.1007/978-3-319-45177-0\_18},
timestamp = {Sun, 02 Jun 2019 21:13:15 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/WangMLFLC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/Gyori0PRT15,
author = {Benjamin M. Gyori and
Bing Liu and
Soumya Paul and
R. Ramanathan and
P. S. Thiagarajan},
editor = {Alessandro Abate and
David Safr{\'{a}}nek},
title = {Approximate Probabilistic Verification of Hybrid Systems},
booktitle = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9271},
pages = {96--116},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26916-0\_6},
doi = {10.1007/978-3-319-26916-0\_6},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/Gyori0PRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LiuKGZC15,
author = {Bing Liu and
Soonho Kong and
Sicun Gao and
Paolo Zuliani and
Edmund M. Clarke},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Towards personalized prostate cancer therapy using delta-reachability
analysis},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {227--232},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728634},
doi = {10.1145/2728606.2728634},
timestamp = {Fri, 06 Sep 2019 10:57:13 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LiuKGZC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/LiuKGZC14,
author = {Bing Liu and
Soonho Kong and
Sicun Gao and
Paolo Zuliani and
Edmund M. Clarke},
editor = {Pedro Mendes and
Joseph O. Dada and
Kieran Smallbone},
title = {Parameter Synthesis for Cardiac Cell Hybrid Models Using {\(\delta\)}-Decisions},
booktitle = {Computational Methods in Systems Biology - 12th International Conference,
{CMSB} 2014, Manchester, UK, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8859},
pages = {99--113},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12982-2\_8},
doi = {10.1007/978-3-319-12982-2\_8},
timestamp = {Sat, 09 Apr 2022 12:36:34 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/LiuKGZC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuKGZC14,
author = {Bing Liu and
Soonho Kong and
Sicun Gao and
Paolo Zuliani and
Edmund M. Clarke},
title = {Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions},
journal = {CoRR},
volume = {abs/1407.1524},
year = {2014},
url = {http://arxiv.org/abs/1407.1524},
eprinttype = {arXiv},
eprint = {1407.1524},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiuKGZC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuKGZC14a,
author = {Bing Liu and
Soonho Kong and
Sicun Gao and
Paolo Zuliani and
Edmund M. Clarke},
title = {Towards Personalized Cancer Therapy Using Delta-Reachability Analysis},
journal = {CoRR},
volume = {abs/1410.7346},
year = {2014},
url = {http://arxiv.org/abs/1410.7346},
eprinttype = {arXiv},
eprint = {1410.7346},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiuKGZC14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Gyori0PRT14,
author = {Benjamin M. Gyori and
Bing Liu and
Soumya Paul and
R. Ramanathan and
P. S. Thiagarajan},
title = {Approximate probabilistic verification of hybrid systems},
journal = {CoRR},
volume = {abs/1412.6953},
year = {2014},
url = {http://arxiv.org/abs/1412.6953},
eprinttype = {arXiv},
eprint = {1412.6953},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Gyori0PRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/Hagiescu0RPCCTW13,
author = {Andrei Hagiescu and
Bing Liu and
R. Ramanathan and
Sucheendra K. Palaniappan and
Zheng Cui and
Bipasa Chattopadhyay and
P. S. Thiagarajan and
Weng{-}Fai Wong},
title = {{GPU} code generation for ODE-based applications with phased shared-data
access patterns},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {10},
number = {4},
pages = {55:1--55:19},
year = {2013},
url = {https://doi.org/10.1145/2541228.2555311},
doi = {10.1145/2541228.2555311},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taco/Hagiescu0RPCCTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/PalaniappanG0HT13,
author = {Sucheendra K. Palaniappan and
Benjamin M. Gyori and
Bing Liu and
David Hsu and
P. S. Thiagarajan},
editor = {Ashutosh Gupta and
Thomas A. Henzinger},
title = {Statistical Model Checking Based Calibration and Analysis of Bio-pathway
Models},
booktitle = {Computational Methods in Systems Biology - 11th International Conference,
{CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8130},
pages = {120--134},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40708-6\_10},
doi = {10.1007/978-3-642-40708-6\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/PalaniappanG0HT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/LiuHPCCWT12,
author = {Bing Liu and
Andrei Hagiescu and
Sucheendra K. Palaniappan and
Bipasa Chattopadhyay and
Zheng Cui and
Weng{-}Fai Wong and
P. S. Thiagarajan},
title = {Approximate probabilistic analysis of biopathway dynamics},
journal = {Bioinform.},
volume = {28},
number = {11},
pages = {1508--1516},
year = {2012},
url = {https://doi.org/10.1093/bioinformatics/bts166},
doi = {10.1093/BIOINFORMATICS/BTS166},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/LiuHPCCWT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcb/0013T12,
author = {Bing Liu and
P. S. Thiagarajan},
title = {Modeling and Analysis of biopathways Dynamics},
journal = {J. Bioinform. Comput. Biol.},
volume = {10},
number = {4},
year = {2012},
url = {https://doi.org/10.1142/S0219720012310014},
doi = {10.1142/S0219720012310014},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcb/0013T12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/PalaniappanA0GT12,
author = {Sucheendra K. Palaniappan and
S. Akshay and
Bing Liu and
Blaise Genest and
P. S. Thiagarajan},
title = {A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks
with a Biopathways Application},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {9},
number = {5},
pages = {1352--1365},
year = {2012},
url = {https://doi.org/10.1109/TCBB.2012.60},
doi = {10.1109/TCBB.2012.60},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/PalaniappanA0GT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/LiuZTHBLSHDT11,
author = {Bing Liu and
Jing Zhang and
Pei Yi Tan and
David Hsu and
Anna M. Blom and
Benjamin Leong and
Sunil Sethi and
Bow Ho and
Jeak Ling Ding and
P. S. Thiagarajan},
title = {A Computational and Experimental Study of the Regulatory Mechanisms
of the Complement System},
journal = {PLoS Comput. Biol.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.1371/journal.pcbi.1001059},
doi = {10.1371/JOURNAL.PCBI.1001059},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/LiuZTHBLSHDT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiuHT11,
author = {Bing Liu and
David Hsu and
P. S. Thiagarajan},
title = {Probabilistic approximations of ODEs based bio-pathway dynamics},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {21},
pages = {2188--2206},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.01.021},
doi = {10.1016/J.TCS.2011.01.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiuHT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/LiuTH09,
author = {Bing Liu and
P. S. Thiagarajan and
David Hsu},
editor = {Pierpaolo Degano and
Roberto Gorrieri},
title = {Probabilistic Approximations of Signaling Pathway Dynamics},
booktitle = {Computational Methods in Systems Biology, 7th International Conference,
{CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5688},
pages = {251--265},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03845-7\_17},
doi = {10.1007/978-3-642-03845-7\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/LiuTH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
