{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:46:29Z","timestamp":1725749189255},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407079"},{"type":"electronic","value":"9783642407086"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40708-6_4","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T09:37:00Z","timestamp":1379497020000},"page":"33-49","source":"Crossref","is-referenced-by-count":5,"title":["Computing Cumulative Rewards Using Fast Adaptive Uniformisation"],"prefix":"10.1007","author":[{"given":"Frits","family":"Dannenberg","sequence":"first","affiliation":[]},{"given":"Ernst Moritz","family":"Hahn","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Model-checking continuous-time Markov chains. ACM TCS\u00a01(1), 162\u2013170 (2000)","journal-title":"ACM TCS"},{"issue":"9","key":"4_CR2","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/1810891.1810912","volume":"53","author":"C. Baier","year":"2010","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Performance evaluation and model checking join forces. Commun. ACM\u00a053(9), 76\u201385 (2010)","journal-title":"Commun. ACM"},{"issue":"6","key":"4_CR3","first-page":"524","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE TSE\u00a029(6), 524\u2013541 (2003)","journal-title":"IEEE TSE"},{"key":"4_CR4","unstructured":"Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.: The M\u00d6BIUS modeling tool. In: PNPM, pp. 241\u2013250 (2001)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-319-01928-4_3","volume-title":"DNA19","author":"F. Dannenberg","year":"2013","unstructured":"Dannenberg, F., Kwiatkowska, M., Thachuk, C., Turberfield, A.J.: DNA walker circuits: Computational potential, design, and verification. In: Soloveichik, D., Yurke, B. (eds.) DNA 2013. LNCS, vol.\u00a08141, pp. 31\u201345. Springer, Heidelberg (2013)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V.: SABRE: A tool for stochastic analysis of biochemical reaction networks. In: QEST, pp. 193\u2013194 (2010)","DOI":"10.1109\/QEST.2010.33"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1093\/bioinformatics\/btm566","volume":"24","author":"T.W. Evans","year":"2008","unstructured":"Evans, T.W., Gillespie, C.S., Wilkinson, D.J.: The SBML discrete stochastic models test suite. Bioinformatics\u00a024(2), 285\u2013286 (2008)","journal-title":"Bioinformatics"},{"issue":"4","key":"4_CR8","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. Comm. ACM\u00a031(4), 440\u2013445 (1988)","journal-title":"Comm. ACM"},{"issue":"3","key":"4_CR9","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"319","author":"J. Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoretical Computer Science\u00a0319(3), 239\u2013257 (2008)","journal-title":"Theoretical Computer Science"},{"key":"4_CR10","first-page":"87","volume":"36","author":"A. Jensen","year":"1953","unstructured":"Jensen, A.: Markoff chains as an aid in the study of Markoff processes. Skand. Aktuarietidskr.\u00a036, 87\u201391 (1953)","journal-title":"Skand. Aktuarietidskr."},{"issue":"2","key":"4_CR11","first-page":"90","volume":"68","author":"J.P. Katoen","year":"2011","unstructured":"Katoen, J.P., Zapreev, I.S., Hahn, E.M., Hermanns, H., Jansen, D.N.: The ins and outs of the probabilistic model checker MRMC. PEVA\u00a068(2), 90\u2013104 (2011)","journal-title":"PEVA"},{"key":"4_CR12","first-page":"305","volume":"51","author":"M. Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Pacheco, A.: Model checking expected time and expected reward formulae with random time bounds. CMA\u00a051, 305\u2013316 (2006)","journal-title":"CMA"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M. Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"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.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"issue":"72","key":"4_CR15","doi-asserted-by":"publisher","first-page":"1470","DOI":"10.1098\/rsif.2011.0800","volume":"9","author":"M. Lakin","year":"2012","unstructured":"Lakin, M., Parker, D., Cardelli, L., Kwiatkowska, M., Phillips, A.: Design and analysis of DNA strand displacement devices using probabilistic model checking. Journal of the Royal Society Interface\u00a09(72), 1470\u20131485 (2012)","journal-title":"Journal of the Royal Society Interface"},{"issue":"6","key":"4_CR16","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1049\/iet-syb.2010.0005","volume":"4","author":"M. Mateescu","year":"2010","unstructured":"Mateescu, M., Wolf, V., Didier, F., Henzinger, T.A.: Fast adaptive uniformisation of the chemical master equation. IET Syst. Biol.\u00a04(6), 441\u2013452 (2010)","journal-title":"IET Syst. Biol."},{"key":"4_CR17","unstructured":"Mateescu, M.: Propagation Models for Biochemical Reaction Networks. Ph.D. thesis, EPFL (2011)"},{"issue":"3","key":"4_CR18","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1080\/15326349408807313","volume":"10","author":"A.P.A. Moorsel van","year":"1994","unstructured":"van Moorsel, A.P.A., Sanders, W.H.: Adaptive uniformization. ORSA Communications in Statistics: Stochastic Models\u00a010(3), 619\u2013648 (1994)","journal-title":"ORSA Communications in Statistics: Stochastic Models"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Schwarick, M., Heiner, M., Rohr, C.: MARCIE - model checking and reachability analysis done efficiently. In: QEST, pp. 91\u2013100 (2011)","DOI":"10.1109\/QEST.2011.19"},{"issue":"5805","key":"4_CR20","doi-asserted-by":"publisher","first-page":"1585","DOI":"10.1126\/science.1132493","volume":"314","author":"G. Seelig","year":"2006","unstructured":"Seelig, G., Soloveichik, D., Zhang, D.Y., Winfree, E.: Enzyme-free nucleic acid logic circuits. Science\u00a0314(5805), 1585\u20131588 (2006)","journal-title":"Science"},{"issue":"3","key":"4_CR21","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1038\/nnano.2011.253","volume":"7","author":"S.F.J. Wickham","year":"2012","unstructured":"Wickham, S.F.J., Bath, J., Katsuda, Y., Endo, M., Hidaka, K., Sugiyama, H., Turberfield, A.J.: A DNA-based molecular motor that can navigate a network of tracks. Nature Nanotechnology\u00a07(3), 169\u2013173 (2012)","journal-title":"Nature Nanotechnology"},{"issue":"3","key":"4_CR22","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1038\/nnano.2010.284","volume":"6","author":"S.F.J. Wickham","year":"2011","unstructured":"Wickham, S.F.J., Endo, M., Katsuda, Y., Hidaka, K., Bath, J., Sugiyama, H., Turberfield, A.J.: Direct observation of stepwise movement of a synthetic molecular transporter. Nature Nanotechnology\u00a06(3), 166\u2013169 (2011)","journal-title":"Nature Nanotechnology"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40708-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T10:56:30Z","timestamp":1558090590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40708-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407079","9783642407086"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40708-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}