{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:37:28Z","timestamp":1742402248176},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540461661"},{"type":"electronic","value":"9783540461678"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11885191_3","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T14:53:49Z","timestamp":1160405629000},"page":"32-47","source":"Crossref","is-referenced-by-count":48,"title":["Probabilistic Model Checking of Complex Biological Pathways"],"prefix":"10.1007","author":[{"given":"J.","family":"Heath","sequence":"first","affiliation":[]},{"given":"M.","family":"Kwiatkowska","sequence":"additional","affiliation":[]},{"given":"G.","family":"Norman","sequence":"additional","affiliation":[]},{"given":"D.","family":"Parker","sequence":"additional","affiliation":[]},{"given":"O.","family":"Tymchyshyn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C. Baier","year":"2000","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model checking continuous-time Markov chains by transient analysis. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 358\u2013372. Springer, Heidelberg (2000)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology (to appear, 2006)","DOI":"10.1007\/11905455_1"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of signalling pathways using continuous time Markov chains. Transactions on Computational Systems Biology (to appear, 2006)","DOI":"10.1007\/11880646_3"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/S0955-0674(03)00004-8","volume":"15","author":"I. Dikic","year":"2003","unstructured":"Dikic, I., Giordano, S.: Negative receptor signalling. Curr. Opin. Cell Biol.\u00a015, 128\u2013135 (2003)","journal-title":"Curr. Opin. Cell Biol."},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.cytogfr.2005.01.001","volume":"16","author":"V. Eswarakumar","year":"2005","unstructured":"Eswarakumar, V., Lax, I., Schlessinger, J.: Cellular signaling by fibroblast growth factor receptors. Cytokine Growth Factor Rev.\u00a016(2), 139\u2013149 (2005)","journal-title":"Cytokine Growth Factor Rev."},{"issue":"25","key":"3_CR7","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D. Gillespie","year":"1977","unstructured":"Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"3_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"issue":"2","key":"3_CR10","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. International Journal on Software Tools for Technology Transfer (STTT)\u00a06(2), 128\u2013142 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"4","key":"3_CR11","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/1059816.1059820","volume":"32","author":"M. Kwiatkowska","year":"2005","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking in practice: Case studies with PRISM. ACM SIGMETRICS Performance Evaluation Review\u00a032(4), 16\u201321 (2005)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"3_CR12","series-title":"ENTCS","volume-title":"Proc. BioCONCUR 2004","author":"A. Phillips","year":"2004","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Proc. BioCONCUR 2004. ENTCS. Elsevier, Amsterdam (2004)"},{"key":"3_CR13","unstructured":"www.cs.bham.ac.uk\/~oxt\/fgfmap.html"},{"key":"3_CR14","unstructured":"PRISM, web site, \n                  \n                    www.cs.bham.ac.uk\/~dxp\/prism"},{"issue":"7","key":"3_CR15","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. The Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"issue":"6905","key":"3_CR17","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature\u00a0419(6905), 343 (2002)","journal-title":"Nature"},{"key":"3_CR18","first-page":"459","volume-title":"Pacific Symposium on Biocomputing","author":"A. Regev","year":"2001","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi- calculus process algebra. In: Altman, R., Dunker, A., Hunter, L., Klein, T. (eds.) Pacific Symposium on Biocomputing, 2001, vol.\u00a06, pp. 459\u2013470. World Scientific Press, Singapore (2001)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. CRM Monograph Series, vol.\u00a023. AMS (2004)","DOI":"10.1090\/crmm\/023"},{"key":"3_CR20","unstructured":"Schlessinger, J.: Epidermal growth factor receptor pathway. Sci. STKE (Connections Map), \n                  \n                    http:\/\/stke.sciencemag.org\/cgi\/cm\/stkecm;CMP_14987"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Tsang, M., Dawid, I.: Promotion and attenuation of FGF signaling through the Ras-MAPK pathway. Science STKE, 17 (2004)","DOI":"10.1126\/stke.2282004pe17"},{"key":"3_CR22","unstructured":"Tymchyshyn, O., Norman, G., Heath, J., Kwiatkowska, M.: Computer assisted biological reasoning: The simulation and analysis of FGF signalling pathway dynamics (submitted for publication)"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11885191_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:34:50Z","timestamp":1558290890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11885191_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540461661","9783540461678"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11885191_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}