共 50 条
- [21] Probabilistic reconstruction of the tumor progression process in gene regulatory networks in the presence of uncertainty BMC BIOINFORMATICS, 2011, 12
- [23] Model Checking Optimal Infinite-horizon Control for Probabilistic Gene Regulatory Networks IEEE ACCESS, 2018, 6 : 77299 - 77307
- [24] Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking 2015 IEEE/ACM 3RD FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING, 2015, : 26 - 32
- [25] Model checking optimal finite-horizon control for probabilistic gene regulatory networks BMC SYSTEMS BIOLOGY, 2017, 11
- [27] Probabilistic control of gene networks 2005 27TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-7, 2005, : 2966 - 2970