1. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6, 512–535 (1994)

   Article MATH  Google Scholar 

2. Baier, C., Katoen, J.: Principles of model checking. The MIT Press (2008)

   Google Scholar 

3. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011)

   Chapter  Google Scholar 

4. Koller, D., Friedman, N.: Probabilistic Graphical Models - Principles and Techniques. MIT Press (2009)

   Google Scholar 

5. Boyen, X., Koller, D.: Tractable Inference for Complex Stochastic Processes. In: Proc. 14th Int. Conf. Uncertainty in Artificial Intelligence (UAI 1998), pp. 33–42 (1998)

   Google Scholar 

6. Murphy, K.P., Weiss, Y.: The Factored Frontier Algorithm for Approximate Inference in DBNs. In: Proc. 17th Int. Conf. Uncertainty in Artificial Intelligence (UAI 2001), pp. 378–385 (2001)

   Google Scholar 

7. Palaniappan, S.K., Akshay, S., Genest, B., Thiagarajan, P.S.: A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Network Models of Biopathways. In: Proc. 9th Int. Conf. on Computational Methods in Systems Biology (CMSB 2011), pp. 35–44 (2011)

   Google Scholar 

8. Liu, B., Hagiescu, A., Palaniappan, S.K., Chattopadhyay, B., Cui, Z., Wong, W., Thiagarajan, P.S.: Approximate probabilistic analysis of biopathway dynamics. Bioinformatics 28(11), 1508–1516 (2012)

   Article  Google Scholar 

9. Langmead, C., Jha, S., Clarke, E.: Temporal Logics as Query Languages for Dynamic Bayesian Networks: Application to D. Melanogaster Embryo Development. Technical report, Carnegie Mellon University (2006)

   Google Scholar 

10. Langmead, C.J.: Generalized queries and bayesian statistical model checking in dynamic bayesian networks: Application to personalized medicine. In: Proc. 8th Ann. Intnl Conf. on Comput. Sys. Bioinf (CSB), pp. 201–212 (2009)

    Google Scholar 

11. Liu, B., Hsu, D., Thiagarajan, P.S.: Probabilistic Approximations of ODEs based Bio-Pathway Dynamics. Theor. Comput. Sci. 412, 2188–2206 (2011)

    Article MathSciNet MATH  Google Scholar 

12. Liu, B., Zhang, J., Tan, P.Y., Hsu, D., Blom, A.M., Leong, B., Sethi, S., Ho, B., Ding, J.L., Thiagarajan, P.S.: A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System. PLoS Comput. Biol. 7(1), e1001059 (2011)

    Google Scholar 

13. Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-Based Modelling of Cellular Signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17–41. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

14. Faeder, J.R., Blinov, M.L., Goldstein, B., William, H.S.: Rule-based modeling of biochemical networks. Complexity 10, 22–41 (2005)

    Article  Google Scholar 

15. Henzinger, T.A., Mikeev, L., Mateescu, M., Wolf, V.: Hybrid numerical solution of the chemical master equation. In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology, CMSB 2010, pp. 55–65. ACM, New York (2010)

    Google Scholar 

16. Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian Approach to Model Checking Biological Systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218–234. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

Download references