Computational Methods in Systems Biology

Methods to Expand Cell Signaling Models Using Automated Reading 159

References

1. UniProt Consortium: UniProt: a hub for protein information. Nucl. Acids Res. 43 ,
   D204–D212 (2014). doi:10.1093/nar/gku989


2. Epstein, J.M.: Why model? J. Artif. Soc. Soc. Simul. 11 (4), 12 (2008)


3. 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).
   doi:10.1007/978-3-642-03845-7 15


4. 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). doi:10.1007/978-3-642-22110-1 47


5. Miskov-Zivanov, N., Turner, M.S., Kane, L.P., Morel, P.A., Faeder, J.R.: Dura-
   tion of T cell stimulation as a critical determinant of cell fate and plasticity. Sci.
   Signaling 6 (300), ra97 (2013)


6. Miskov-Zivanov, N., Wei, P., Loh, C.S.C.: THiMED: time in hierarchical model
   extraction and design. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB
   2014. LNCS, vol. 8859, pp. 260–263. Springer, Cham (2014). doi:10.1007/
   978-3-319-12982-2 22


7. Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foun-
   dations of Computer Science, pp. 46–57. IEEE (1977)


8. Sayed, K., Kuo, Y.H., Kulkarni, A., Miskov-Zivanov, N.: Dish simulator: captur-
   ing dynamics of cellular signaling with heterogeneous knowledge. arXiv (2016).
   https://github.com/Yu-Hsin/simulatorjava


9. Sprites & Palette. https://www.dropbox.com/s/mmks9xs0w4rjkcx/16K-fries
   160331.tgz?dl=0


10. Valenzuela-Esc ́arcega, M.A., Hahn-Powell, G., Hicks, T., Surdeanu, M.: A domain-
    independent rule-based framework for event extraction. In: Proceedings of the 53rd
    Annual Meeting of the Association for Computational Linguistics and the 7th Inter-
    national Joint Conference on Natural Language Processing of the Asian Federa-
    tion of Natural Language Processing: Software Demonstrations (ACL-IJCNLP),
    pp. 127–132 (2015).http://www.aclweb.org/anthology/P/P15/P15-4022.pdf


11. Vardi, M.Y.: Automatic verification of probabilistic concurrent finite state pro-
    grams. In: 26th Annual Symposium on Foundations of Computer Science, pp.
    327–338. IEEE (1985)


12. Wang, Q.: Model checking for biological systems: languages, algorithms, and appli-
    cations. Ph.D. thesis, Carnegie Mellon University (2016)


13. Wang, Q., Miskov-Zivanov, N., Liu, B., Faeder, J.R., Lotze, M., Clarke, E.M.:
    Formal modeling and analysis of pancreatic cancer microenvironment. In: Bartocci,
    E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 289–305. Springer,
    Cham (2016). doi:10.1007/978-3-319-45177-0 18


14. Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems
    using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS,
    vol. 2404, pp. 223–235. Springer, Heidelberg (2002). doi:10.1007/3-540-45657-0 17