{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T02:44:54Z","timestamp":1750387494323},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026577"},{"type":"electronic","value":"9783642026584"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02658-4_27","type":"book-chapter","created":{"date-parts":[[2009,6,22]],"date-time":"2009-06-22T11:00:16Z","timestamp":1245668416000},"page":"337-352","source":"Crossref","is-referenced-by-count":41,"title":["Sliding Window Abstraction for Infinite Markov Chains"],"prefix":"10.1007","author":[{"given":"Thomas A.","family":"Henzinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Mateescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Verena","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-44618-4_24","volume-title":"CONCUR 2000 - Concurrency Theory","author":"P. Abdulla","year":"2000","unstructured":"Abdulla, P., Baier, C., Iyer, S., Jonsson, B.: Reasoning about probabilistic lossy channel systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 320\u2013333. Springer, Heidelberg (2000)"},{"issue":"2","key":"27_CR2","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.ic.2005.05.008","volume":"202","author":"P. Abdulla","year":"2005","unstructured":"Abdulla, P., Bertrand, N., Rabinovich, A., Schnoebelen, P.: Verification of probabilistic systems with faulty communication. Inf. Comput.\u00a0202(2), 141\u2013165 (2005)","journal-title":"Inf. Comput."},{"key":"27_CR3","first-page":"127","volume-title":"Proc. LICS 2005","author":"P. Abdulla","year":"2005","unstructured":"Abdulla, P., Henda, N.B., Mayr, R.: Verifying infinite Markov chains with a finite attractor or the global coarseness property. In: Proc. LICS 2005, pp. 127\u2013136. IEEE Computer Society, Los Alamitos (2005)"},{"key":"27_CR4","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":"27_CR5","volume-title":"The essentials of Pad\u00e9 approximants","author":"G.A. Baker","year":"1975","unstructured":"Baker, G.A.: The essentials of Pad\u00e9 approximants. Academic Press, New York (1975)"},{"key":"27_CR6","unstructured":"De Boer, R.: Theoretical Fysiology. Online Lecture Notes (2006)"},{"key":"27_CR7","unstructured":"Burrage, K., Hegland, M., Macnamara, F., Sidje, B.: A Krylov-based finite state projection algorithm for solving the chemical master equation arising in the discrete modelling of biological systems. In: Proc. of the Markov 150th Anniversary Conference, pp. 21\u201338. Boson Books (2006)"},{"key":"27_CR8","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)"},{"key":"27_CR9","volume-title":"Introduction to Stochastic Processes","author":"E. \u00c7inlar","year":"1975","unstructured":"\u00c7inlar, E.: Introduction to Stochastic Processes. Prentice-Hall, Englewood Cliffs (1975)"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-44804-7_3","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"P. D\u2019Argenio","year":"2001","unstructured":"D\u2019Argenio, P., Jeannet, B., Jensen, H., Larsen, K.: Reachability analysis of probabilistic systems by successive refinements. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 39\u201356. Springer, Heidelberg (2001)"},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-540-73368-3_38","volume-title":"Computer Aided Verification","author":"L. Alfaro de","year":"2007","unstructured":"de Alfaro, L., Pritam, R.: Magnifying-lens abstraction for Markov decision processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 325\u2013338. Springer, Heidelberg (2007)"},{"key":"27_CR12","unstructured":"Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V.: Approximation of event probabilities in noisy cellular processes. Technical Report MTC-REPORT-2009-002, EPF Lausanne, Switzerland (2009), http:\/\/infoscience.epfl.ch\/record\/135535"},{"key":"27_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-30538-5_2","volume-title":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science","author":"J. Esparza","year":"2004","unstructured":"Esparza, J., Etessami, K.: Verifying probabilistic procedural programs. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol.\u00a03328, pp. 16\u201331. Springer, Heidelberg (2004)"},{"key":"27_CR14","first-page":"12","volume-title":"Proc. LICS 2004","author":"J. Esparza","year":"2004","unstructured":"Esparza, J., Kucera, A., Mayr, R.: Model checking probabilistic pushdown automata. In: Proc. LICS 2004, pp. 12\u201321. IEEE Computer Society, Los Alamitos (2004)"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-31980-1_17","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Etessami","year":"2005","unstructured":"Etessami, K., Yannakakis, M.: Algorithmic verification of recursive probabilistic state machines. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 253\u2013270. Springer, Heidelberg (2005)"},{"key":"27_CR16","volume-title":"Markov Processes","author":"D.T. Gillespie","year":"1992","unstructured":"Gillespie, D.T.: Markov Processes. Academic Press, New York (1992)"},{"issue":"2","key":"27_CR17","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":"27_CR18","volume-title":"Solving Ordinary Differential Equations I: Nonstiff Problems","author":"E. Hairer","year":"2008","unstructured":"Hairer, E., Norsett, S., Wanner, G.: Solving Ordinary Differential Equations I: Nonstiff Problems. Springer, Heidelberg (2008)"},{"key":"27_CR19","volume-title":"Solving Ordinary Differential Equations II. Stiff and Differential-Algebraic Problems","author":"E. Hairer","year":"2004","unstructured":"Hairer, E., Wanner, G.: Solving Ordinary Differential Equations II. Stiff and Differential-Algebraic Problems. Springer, Heidelberg (2004)"},{"issue":"15","key":"27_CR20","doi-asserted-by":"publisher","first-page":"6959","DOI":"10.1063\/1.1505860","volume":"117","author":"E. Haseltine","year":"2002","unstructured":"Haseltine, E., Rawlings, J.: Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics. The Journal of Chemical Physics\u00a0117(15), 6959\u20136969 (2002)","journal-title":"The Journal of Chemical Physics"},{"key":"27_CR21","doi-asserted-by":"publisher","first-page":"2075","DOI":"10.1073\/pnas.040411297","volume":"97","author":"J. Hasty","year":"2000","unstructured":"Hasty, J., Pradines, J., Dolnik, M., Collins, J.J.: Noise-based switches and amplifiers for gene expression. PNAS\u00a097, 2075 (2000)","journal-title":"PNAS"},{"key":"27_CR22","volume-title":"Handbook of Applied Bayesian Analysis","author":"D.A. Henderson","year":"2009","unstructured":"Henderson, D.A., Boys, R.J., Proctor, C.J., Wilkinson, D.J.: Linking systems biology models to data: a stochastic kinetic model of p53 oscillations. In: O\u2019Hagan, A., West, M. (eds.) Handbook of Applied Bayesian Analysis, Oxford University Press, Oxford (2009)"},{"key":"27_CR23","unstructured":"Henzinger, T.A., Mateescu, M., Wolf, V.: Sliding window abstraction for infinite Markov chains. Technical Report MTC-REPORT-2009-003, EPF Lausanne, Switzerland (2009), http:\/\/infoscience.epfl.ch\/record\/135537"},{"key":"27_CR24","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":"27_CR25","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"},{"key":"27_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-73368-3_37","volume-title":"Computer Aided Verification","author":"J.-P. Katoen","year":"2007","unstructured":"Katoen, J.-P., Klink, D., Leucker, M., Wolf, V.: Three-valued abstraction for continuous-time Markov chains. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 316\u2013329. Springer, Heidelberg (2007)"},{"issue":"1","key":"27_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2005.11.013","volume":"149","author":"A. Kucera","year":"2006","unstructured":"Kucera, A.: Methods for quantitative analysis of probabilistic pushdown automata. Electr. Notes Theor. Comput. Sci.\u00a0149(1), 3\u201315 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"27_CR28","first-page":"157","volume-title":"QEST","author":"M. Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Game-based abstraction for Markov decision processes. In: QEST, pp. 157\u2013166. IEEE CS Press, Los Alamitos (2006)"},{"issue":"3","key":"27_CR29","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0166-5316(87)90039-3","volume":"7","author":"R.A. Marie","year":"1987","unstructured":"Marie, R.A., Reibman, A.L., Trivedi, K.S.: Transient analysis of acyclic Markov chains. Perform. Eval.\u00a07(3), 175\u2013194 (1987)","journal-title":"Perform. Eval."},{"key":"27_CR30","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\u00a094, 814\u2013819 (1997)","journal-title":"Proceedings of the National Academy of Science"},{"issue":"1","key":"27_CR31","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1137\/S00361445024180","volume":"45","author":"C. Moler","year":"2003","unstructured":"Moler, C., Van Loan, C.: Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later. SIAM Review\u00a045(1), 3\u201349 (2003)","journal-title":"SIAM Review"},{"key":"27_CR32","doi-asserted-by":"publisher","first-page":"44144","DOI":"10.1063\/1.2145882","volume":"124","author":"B. Munsky","year":"2006","unstructured":"Munsky, B., Khammash, M.: The finite state projection algorithm for the solution of the chemical master equation. J. Chem. Phys.\u00a0124, 44144 (2006)","journal-title":"J. Chem. Phys."},{"key":"27_CR33","volume-title":"Markov Chains","author":"J. Norris","year":"1999","unstructured":"Norris, J.: Markov Chains, 1st edn. Cambridge University Press, Cambridge (1999)","edition":"1"},{"key":"27_CR34","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1091\/mbc.E05-07-0657","volume":"17","author":"P. Patel","year":"2006","unstructured":"Patel, P., Arcangioli, B., Baker, S., Bensimon, A., Rhind, N.: DNA replication origins fire stochastically in fission yeast. Mol. Biol. Cell\u00a017, 308\u2013316 (2006)","journal-title":"Mol. Biol. Cell"},{"issue":"6973","key":"27_CR35","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":"27_CR36","doi-asserted-by":"publisher","first-page":"204104","DOI":"10.1063\/1.2397685","volume":"125","author":"S. Peles","year":"2006","unstructured":"Peles, S., Munsky, B., Khammash, M.: Reduction and solution of the chemical master equation using time scale separation and finite state projection. J. Chem. Phys.\u00a0125, 204104 (2006)","journal-title":"J. Chem. Phys."},{"key":"27_CR37","first-page":"95","volume-title":"Proc. International Workshop on the Numerical Solution of Markov Chains","author":"B. Philippe","year":"1995","unstructured":"Philippe, B., Sidje, R.: Transient solutions of Markov processes by Krylov subspaces. In: Proc. International Workshop on the Numerical Solution of Markov Chains, pp. 95\u2013119. Kluwer Academic Publishers, Dordrecht (1995)"},{"issue":"5","key":"27_CR38","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1016\/j.ic.2005.11.004","volume":"204","author":"A. Rabinovich","year":"2006","unstructured":"Rabinovich, A.: Quantitative analysis of probabilistic lossy channel systems. Inf. Comput.\u00a0204(5), 713\u2013740 (2006)","journal-title":"Inf. Comput."},{"issue":"6912","key":"27_CR39","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1038\/nature01258","volume":"420","author":"C. Rao","year":"2002","unstructured":"Rao, C., Wolf, D., Arkin, A.: Control, exploitation and tolerance of intracellular noise. Nature\u00a0420(6912), 231\u2013237 (2002)","journal-title":"Nature"},{"key":"27_CR40","unstructured":"Remke, A.: Model Checking Structured Infinite Markov Chains. PhD thesis (2008)"},{"key":"27_CR41","unstructured":"Sandmann, W., Wolf, V.: A computational stochastic modeling formalism for biological networks. Enformatika Transactions on Engineering, Computing and Technology\u00a014, 132\u2013137 (2006)"},{"key":"27_CR42","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)"},{"key":"27_CR43","unstructured":"Strelen, C.: Approximate disaggregation-aggregation solutions for general queueing networks. In: Society for Computer Simulation, pp. 773\u2013778 (1997)"},{"issue":"20","key":"27_CR44","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, USA\u00a099(20), 12795\u201312800 (2002)","journal-title":"Proceedings of the National Academy of Science, USA"},{"issue":"15","key":"27_CR45","doi-asserted-by":"publisher","first-page":"8614","DOI":"10.1073\/pnas.151588598","volume":"98","author":"M. Thattai","year":"2001","unstructured":"Thattai, M., van Oudenaarden, A.: Intrinsic noise in gene regulatory networks. PNAS\u00a098(15), 8614\u20138619 (2001)","journal-title":"PNAS"},{"issue":"45","key":"27_CR46","doi-asserted-by":"publisher","first-page":"17262","DOI":"10.1073\/pnas.0809314105","volume":"105","author":"A. Warmflash","year":"2008","unstructured":"Warmflash, A., Dinner, A.: Signatures of combinatorial regulation in intrinsic biological noise. PNAS\u00a0105(45), 17262\u201317267 (2008)","journal-title":"PNAS"},{"key":"27_CR47","doi-asserted-by":"crossref","unstructured":"Zhang, L., Hermanns, H., Moritz Hahn, E., Wachter, B.: Time-bounded model checking of infinite-state continuous-time Markov chains. In: ACSD, China (2008)","DOI":"10.3233\/FI-2009-145"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02658-4_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T20:05:04Z","timestamp":1710446704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02658-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026577","9783642026584"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02658-4_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}