{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T05:16:51Z","timestamp":1738300611822,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540684107"},{"type":"electronic","value":"9783540684138"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68413-8_3","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T08:03:46Z","timestamp":1212566626000},"page":"33-47","source":"Crossref","is-referenced-by-count":6,"title":["Computational Probability for Systems Biology"],"prefix":"10.1007","author":[{"given":"Werner","family":"Sandmann","sequence":"first","affiliation":[]},{"given":"Verena","family":"Wolf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"1633","DOI":"10.1093\/genetics\/149.4.1633","volume":"149","author":"A. Arkin","year":"1998","unstructured":"Arkin, A., Ross, J., McAdams, H.H.: Stochastic kinetic analysis of developmental pathway bifurcation in phage \u03bb-infected escherichia coli cells. Genetics\u00a0149, 1633\u20131648 (1998)","journal-title":"Genetics"},{"key":"3_CR2","unstructured":"Bartholomay, A.F.: A Stochastic Approach to Chemical Reaction Kinetics. Phd thesis, Harvard University (1957)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-3-540-45232-4_7","volume-title":"Computer Performance Evaluations. Modelling Techniques and Tools","author":"A. Benoit","year":"2003","unstructured":"Benoit, A., Fernandes, P., Plateau, B., Stewart, W.J.: The PEPS software tool. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol.\u00a02794, pp. 98\u2013115. Springer, Heidelberg (2003)"},{"key":"3_CR4","volume-title":"Elements of the Theory of Markov Processes and Their Applications","author":"A.T. Bharucha-Reid","year":"1960","unstructured":"Bharucha-Reid, A.T.: Elements of the Theory of Markov Processes and Their Applications. McGraw-Hill, New York (1960)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1038\/nature01546","volume":"422","author":"W.J. Blake","year":"2003","unstructured":"Blake, W.J., Kaern, M., Cantor, C.R., Collins, J.J.: Noise in eukaryotic gene expression. Nature\u00a0422, 633\u2013637 (2003)","journal-title":"Nature"},{"issue":"9","key":"3_CR6","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1109\/TC.1986.1676840","volume":"C-35","author":"A. Bobbio","year":"1986","unstructured":"Bobbio, A., Trivedi, K.S.: An aggregation technique for the transient analysis of stiff Markov chains. IEEE Transactions on Computers\u00a0C-35(9), 803\u2013814 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR7","volume-title":"Markov Chains","author":"P. Bremaud","year":"1998","unstructured":"Bremaud, P.: Markov Chains. Springer, Heidelberg (1998)"},{"issue":"3","key":"3_CR8","first-page":"203","volume":"12","author":"P. Buchholz","year":"2000","unstructured":"Buchholz, P., Ciardo, G., Donatelli, S., Kemper, P.: Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models. Journal on Computing\u00a012(3), 203\u2013222 (2000)","journal-title":"Journal on Computing"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-48683-6_41","volume-title":"Computer Aided Verification","author":"P. Buchholz","year":"1999","unstructured":"Buchholz, P., Kemper, P.: A toolbox for the analysis of discrete event dynamic systems. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 483\u2013486. Springer, Heidelberg (1999)"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1015669415634","volume":"12","author":"P. Buchholz","year":"2002","unstructured":"Buchholz, P., Kemper, P.: Efficient computation and representation of large reachability sets for composed automata. Discrete Event Dynamic Systems\u00a012(3), 265\u2013286 (2002)","journal-title":"Discrete Event Dynamic Systems"},{"key":"3_CR11","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/11885191_21","volume-title":"Computational Methods in Systems Biology","author":"H. Busch","year":"2006","unstructured":"Busch, H., Sandmann, W., Wolf, V.: A numerical aggregation algorithm for the enzyme-catalyzed substrate conversion. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 298\u2013311. Springer, Heidelberg (2006)"},{"issue":"14","key":"3_CR12","doi-asserted-by":"publisher","first-page":"144917","DOI":"10.1063\/1.2052596","volume":"123","author":"Y. Cao","year":"2005","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: Accelerated stochastic simulation of the stiff enzyme-substrate reaction. Journal of Chemical Physics\u00a0123(14), 144917 (2005)","journal-title":"Journal of Chemical Physics"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"14116","DOI":"10.1063\/1.1824902","volume":"122","author":"Y. Cao","year":"2005","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: The slow-scale stochastic simulation algorithm. Journal of Chemical Physics\u00a0122, 14116 (2005)","journal-title":"Journal of Chemical Physics"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Ciardo, G., Miner, A.: SMART: The stochastic model checking analyzer for reliability and timing. In: Proceedings of the 1st International Conference on Quantitative Evaluation of Systems, pp. 338\u2013339 (2004)","DOI":"10.1109\/QEST.2004.1348056"},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-1-4757-4828-4_3","volume-title":"Computational Probability, ch. 3","author":"E. Silva de Souza e","year":"2000","unstructured":"de Souza e Silva, E., Gail, R.: Transient solutions for Markov chains. In: Grassmann, W.K. (ed.) Computational Probability, ch. 3, pp. 43\u201379. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1063\/1.1750549","volume":"8","author":"M. Delbr\u00fcck","year":"1940","unstructured":"Delbr\u00fcck, M.: Statistical fluctuations in autocatalytic reactions. Journal of Chemical Physics\u00a08, 120\u2013124 (1940)","journal-title":"Journal of Chemical Physics"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1126\/science.1070919","volume":"297","author":"M.B. Elowitz","year":"2002","unstructured":"Elowitz, M.B., Levine, M.J., Siggia, E.D., Swain, P.S.: Stochastic gene expression in a single cell. Science\u00a0297, 1183\u20131186 (2002)","journal-title":"Science"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"1129","DOI":"10.1126\/science.1075988","volume":"297","author":"N. Fedoroff","year":"2002","unstructured":"Fedoroff, N., Fontana, W.: Small numbers of big molecules. Science\u00a0297, 1129\u20131131 (2002)","journal-title":"Science"},{"issue":"3","key":"3_CR19","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/278298.278303","volume":"45","author":"P. Fernandes","year":"1998","unstructured":"Fernandes, P., Plateau, B., Stewart, W.J.: Efficient descriptor-vector multiplications in stochastic automata networks. Journal of the ACM\u00a045(3), 381\u2013414 (1998)","journal-title":"Journal of the ACM"},{"issue":"4","key":"3_CR20","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/42404.42409","volume":"31","author":"B.L. Fox","year":"1988","unstructured":"Fox, B.L., Glynn, P.W.: Computing Poisson probabilities. Communications of the ACM\u00a031(4), 440\u2013445 (1988)","journal-title":"Communications of the ACM"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: A general method for numerically simulating the time evolution of coupled chemical reactions. Journal of Computational Physics\u00a022, 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"issue":"25","key":"3_CR22","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1016\/0378-4371(92)90283-V","volume":"188","author":"D.T. Gillespie","year":"1992","unstructured":"Gillespie, D.T.: A rigorous derivation of the chemical master equation. Physica\u00a0A\u00a0188, 404\u2013425 (1992)","journal-title":"Physica\u00a0A"},{"key":"3_CR24","first-page":"199","volume-title":"Stochastic Models. Handbooks in Operations Research and Management Science, vol. 2","author":"W.K. Grassmann","year":"1990","unstructured":"Grassmann, W.K.: Computational methods in probability theory. In: Heyman, D.P., Sobel, M.J. (eds.) Stochastic Models. Handbooks in Operations Research and Management Science, vol. 2, ch.\u00a05, pp. 199\u2013254. Elsevier, Amsterdam (1990)"},{"volume-title":"Computational Probability","year":"2000","key":"3_CR25","unstructured":"Grassmann, W.K. (ed.): Computational Probability. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"2","key":"3_CR26","doi-asserted-by":"publisher","first-page":"926","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D. Gross","year":"1984","unstructured":"Gross, D., Miller, D.: The randomization technique as a modeling tool and solution procedure for transient Markov processes. Operations Research\u00a032(2), 926\u2013944 (1984)","journal-title":"Operations Research"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"772","DOI":"10.2307\/1425933","volume":"8","author":"A. Hordijk","year":"1976","unstructured":"Hordijk, A., Iglehart, D.L., Schassberger, R.: Discrete time methods for simulating continuous time Markov chains. Advances in Applied Probability\u00a08, 772\u2013788 (1976)","journal-title":"Advances in Applied Probability"},{"key":"3_CR28","first-page":"87","volume":"36","author":"A. Jensen","year":"1953","unstructured":"Jensen, A.: Markoff chains as an aid in the study of Markoff processes. Skandinavisk Aktuarietidskrift\u00a036, 87\u201391 (1953)","journal-title":"Skandinavisk Aktuarietidskrift"},{"key":"3_CR29","volume-title":"Stochastic Processes in Physics and Chemistry","author":"N.G. Kampen van","year":"2007","unstructured":"van Kampen, N.G.: Stochastic Processes in Physics and Chemistry, 3rd edn. Elsevier, Amsterdam (2007)","edition":"3"},{"issue":"11","key":"3_CR30","doi-asserted-by":"publisher","first-page":"8165","DOI":"10.1074\/jbc.M006264200","volume":"276","author":"A. Kierzek","year":"2001","unstructured":"Kierzek, A., Zaim, J., Zielenkiewicz, P.: The effect of transcription and translation initiation frequencies on the stochastic fluctuations in prokaryotic gene expression. Journal of Biological Chemistry\u00a0276(11), 8165\u20138172 (2001)","journal-title":"Journal of Biological Chemistry"},{"issue":"7","key":"3_CR31","doi-asserted-by":"publisher","first-page":"2976","DOI":"10.1063\/1.1678692","volume":"57","author":"T.G. Kurtz","year":"1972","unstructured":"Kurtz, T.G.: The relationship between stochastic and deterministic models for chemical reactions. Journal of Chemical Physics\u00a057(7), 2976\u20132978 (1972)","journal-title":"Journal of Chemical Physics"},{"issue":"2","key":"3_CR32","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1016\/j.cam.2003.10.010","volume":"167","author":"A.N. Langville","year":"2004","unstructured":"Langville, A.N., Stewart, W.J.: The Kronecker product and stochastic automata networks. Journal of Computational and Applied Mathematics\u00a0167(2), 429\u2013447 (2004)","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"3_CR33","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1073\/pnas.94.3.814","volume":"94","author":"H.H. McAdams","year":"1997","unstructured":"McAdams, H.H., Arkin, A.: Stochastic mechanisms in gene expression. Proceedings of the National Academy of Science (PNAS) USA\u00a094, 814\u2013819 (1997)","journal-title":"Proceedings of the National Academy of Science (PNAS) USA"},{"issue":"2","key":"3_CR34","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0168-9525(98)01659-X","volume":"15","author":"H.H. McAdams","year":"1999","unstructured":"McAdams, H.H., Arkin, A.: It\u2019s a noisy business? Trends in Genetics\u00a015(2), 65\u201369 (1999)","journal-title":"Trends in Genetics"},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"413","DOI":"10.2307\/3212214","volume":"4","author":"D.A. McQuarrie","year":"1967","unstructured":"McQuarrie, D.A.: Stochastic approach to chemical kinetics. Journal of Applied Probability\u00a04, 413\u2013478 (1967)","journal-title":"Journal of Applied Probability"},{"issue":"4","key":"3_CR36","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1137\/1020098","volume":"20","author":"C.B. Moler","year":"1978","unstructured":"Moler, C.B., Van Loan, C.F.: Nineteen dubious ways to compute the exponential of a matrix. SIAM Review\u00a020(4), 801\u2013836 (1978)","journal-title":"SIAM Review"},{"issue":"1","key":"3_CR37","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1063\/1.1670820","volume":"50","author":"I. Oppenheim","year":"1969","unstructured":"Oppenheim, I., Shuler, K.E., Weiss, G.H.: Stochastic and deterministic formulation of chemical rate equations. Journal of Chemical Physics\u00a050(1), 460\u2013466 (1969)","journal-title":"Journal of Chemical Physics"},{"issue":"6973","key":"3_CR38","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1038\/nature02257","volume":"427","author":"J. Paulsson","year":"2004","unstructured":"Paulsson, J.: Summing up the noise in gene networks. Nature\u00a0427(6973), 415\u2013418 (2004)","journal-title":"Nature"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Plateau, B.: On the stochastic structure of parallelism and synchronization models for distributed algorithms. In: Proceedings of the Sigmetrics Conference on Measurement and Modeling of Computer Systems, pp. 147\u2013154 (1985)","DOI":"10.1145\/317795.317819"},{"key":"3_CR40","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-1-4757-4828-4_5","volume-title":"Computational Probability, ch. 5","author":"B. Plateau","year":"2000","unstructured":"Plateau, B., Stewart, W.J.: Stochastic automata networks. In: Grassmann, W.K. (ed.) Computational Probability, ch. 5, pp. 113\u2013152. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"3_CR41","unstructured":"Sandmann, W.: Stochastic simulation of biochemical systems via discrete-time conversion. In: Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering, pp. 267\u2013272. Fraunhofer IRB Verlag (2007)"},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"Sandmann, W.: Discrete-time stochastic modeling and simulation of biochemical networks. Computational Biology and Chemistry (to appear, 2008)","DOI":"10.1016\/j.compbiolchem.2008.03.018"},{"issue":"1","key":"3_CR43","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1111\/j.2517-6161.1953.tb00129.x","volume":"15","author":"K. Singer","year":"1953","unstructured":"Singer, K.: Application of the theory of stochastic processes to the study of irreproducible chemical reactions and nucleation processes. Journal of the Royal Statistical Society, Series B\u00a015(1), 92\u2013106 (1953)","journal-title":"Journal of the Royal Statistical Society, Series B"},{"key":"3_CR44","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1006\/jtbi.2002.3078","volume":"218","author":"R. Srivastava","year":"2002","unstructured":"Srivastava, R., You, L., Summers, J., Yin, J.: Stochastic vs. deterministic modeling of intracellular viral kinetics. Journal of Theoretical Biology\u00a0218, 309\u2013321 (2002)","journal-title":"Journal of Theoretical Biology"},{"key":"3_CR45","doi-asserted-by":"crossref","DOI":"10.1515\/9780691223384","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1995","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1995)"},{"issue":"20","key":"3_CR46","doi-asserted-by":"publisher","first-page":"12795","DOI":"10.1073\/pnas.162041399","volume":"99","author":"P.S. Swain","year":"2002","unstructured":"Swain, P.S., Elowitz, M.B., Siggia, E.D.: Intrinsic and extrinsic contributions to stochasticity in gene expression. Proceedings of the National Academy of Science (PNAS) USA\u00a099(20), 12795\u201312800 (2002)","journal-title":"Proceedings of the National Academy of Science (PNAS) USA"},{"key":"3_CR47","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.compbiolchem.2004.05.001","volume":"28","author":"T.E. Turner","year":"2004","unstructured":"Turner, T.E., Schnell, S., Burrage, K.: Stochastic approaches for modelling in vivo reactions. Computational Biology and Chemistry\u00a028, 165\u2013178 (2004)","journal-title":"Computational Biology and Chemistry"},{"key":"3_CR48","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0377-0427(00)00393-9","volume":"123","author":"C.F. Van Loan","year":"2000","unstructured":"Van Loan, C.F.: The ubiquitous Kronecker product. Journal of Computational and Applied Mathematics\u00a0123, 85\u2013100 (2000)","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"3_CR49","doi-asserted-by":"crossref","DOI":"10.1201\/9781420010664","volume-title":"Stochastic Modelling for Systems Biology","author":"D.J. Wilkinson","year":"2006","unstructured":"Wilkinson, D.J.: Stochastic Modelling for Systems Biology. Chapman & Hall, Boca Raton (2006)"},{"issue":"2","key":"3_CR50","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.entcs.2007.05.017","volume":"171","author":"V. Wolf","year":"2007","unstructured":"Wolf, V.: Modelling of biochemical reactions by stochastic automata networks. Electronic Notes in Theoretical Computer Science\u00a0171(2), 197\u2013208 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68413-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T15:16:52Z","timestamp":1738250212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68413-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540684107","9783540684138"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68413-8_3","relation":{},"subject":[]}}