{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:06:46Z","timestamp":1743124006098,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471501"},{"type":"electronic","value":"9783319471518"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47151-8_1","type":"book-chapter","created":{"date-parts":[[2016,9,25]],"date-time":"2016-09-25T16:30:46Z","timestamp":1474821046000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways"],"prefix":"10.1007","author":[{"given":"Sucheendra K.","family":"Palaniappan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Pichen\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gr\u00e9gory","family":"Batt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Fabre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Blaise","family":"Genest","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,25]]},"reference":[{"issue":"10","key":"1_CR1","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1371\/journal.pcbi.1003893","volume":"10","author":"F Bertaux","year":"2014","unstructured":"Bertaux, F., Stoma, S., Drasdo, D., Batt, G.: Modeling dynamics of cell-to-cell variability in TRAIL-induced apoptosis explains fractional killing and predicts reversible resistance. PLoS Comput. Biol. 10(10), 14 (2014)","journal-title":"PLoS Comput. Biol."},{"unstructured":"Boyen, X., Koller, D.: Tractable inference for complex stochastic processes. In: UAI-98, pp. 33\u201342 (1998)","key":"1_CR2"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1088\/1478-3967\/1\/3\/006","volume":"1","author":"KS Brown","year":"2004","unstructured":"Brown, K.S., Hill, C.C., Calero, G.A., Lee, K.H., Sethna, J.P., Cerione, R.A.: The statistical mechanics of complex signaling networks: nerve growth factor signaling. Phys. Biol. 1, 184\u2013195 (2004)","journal-title":"Phys. Biol."},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.J.: Analysis of signalling pathways using continuous time Markov chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS, vol. 4220, pp. 44\u201367. Springer, Heidelberg (2006). doi:\n                      10.1007\/11880646_3"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17\u201341. Springer, Heidelberg (2007)"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"2128","DOI":"10.1016\/j.tcs.2010.10.022","volume":"412","author":"F Didier","year":"2011","unstructured":"Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V.: Approximation of event probabilities in noisy cellular processes. Theor. Comput. Sci. 412, 2128\u20132141 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-88562-7_20","volume-title":"Computational Methods in Systems Biology","author":"R Donaldson","year":"2008","unstructured":"Donaldson, R., Gilbert, D.: A model checking approach to the parameter estimation of biochemical pathways. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 269\u2013287. Springer, Heidelberg (2008)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-75140-3_4","volume-title":"Computational Methods in Systems Biology","author":"F Fages","year":"2007","unstructured":"Fages, F., Rizk, A.: On the analysis of numerical data time series in temporal logic. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 48\u201363. Springer, Heidelberg (2007)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-31980-1_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Grosu","year":"2005","unstructured":"Grosu, R., Smolka, S.A.: Monte Carlo model checking. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 271\u2013286. Springer, Heidelberg (2005)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-02658-4_27","volume-title":"Computer Aided Verification","author":"TA Henzinger","year":"2009","unstructured":"Henzinger, T.A., Mateescu, M., Wolf, V.: Sliding window abstraction for infinite Markov chains. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 337\u2013352. Springer, Heidelberg (2009)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"SK Jha","year":"2009","unstructured":"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\u2013234. Springer, Heidelberg (2009)"},{"key":"1_CR12","volume-title":"Probabilistic Graphical Models - Principles and Techniques","author":"D Koller","year":"2009","unstructured":"Koller, D., Friedman, N.: Probabilistic Graphical Models - Principles and Techniques. MIT Press, Cambridge (2009)"},{"unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Probabilistic model checking for systems biology. Symbolic Systems Biology, Jones and Bartlett (2010)","key":"1_CR13"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200\u2013204. Springer, Heidelberg (2002). doi:\n                      10.1007\/3-540-46029-2_13"},{"issue":"11","key":"1_CR15","doi-asserted-by":"publisher","first-page":"1508","DOI":"10.1093\/bioinformatics\/bts166","volume":"28","author":"B Liu","year":"2012","unstructured":"Liu, B., Hagiescu, A., Palaniappan, S.K., Chattopadhyay, B., Cui, Z., Wong, W.-F., Thiagarajan, P.S.: Approximate probabilistic analysis of biopathway dynamics. Bioinformatics 28(11), 1508\u20131516 (2012)","journal-title":"Bioinformatics"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"2188","DOI":"10.1016\/j.tcs.2011.01.021","volume":"412","author":"B Liu","year":"2011","unstructured":"Liu, B., Hsu, D., Thiagarajan, P.S.: Probabilistic approximations of ODEs based bio-pathway dynamics. Theor. Comput. Sci. 412, 2188\u20132206 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-03845-7_17","volume-title":"Computational Methods in Systems Biology","author":"B Liu","year":"2009","unstructured":"Liu, B., Thiagarajan, P.S., Hsu, D.: Probabilistic approximations of signaling pathway dynamics. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 251\u2013265. Springer, Heidelberg (2009)"},{"issue":"1","key":"1_CR18","doi-asserted-by":"publisher","first-page":"e1001059","DOI":"10.1371\/journal.pcbi.1001059","volume":"7","author":"B Liu","year":"2011","unstructured":"Liu, B., Zhang, J., Tan, P.Y., Hsu, D., Blom, A.M., Leong, B., Sethil, S., Ho, B., Ding, J.L., Thiagarajan, P.S.: A computational, experimental study of the regulatory mechanisms of the complement system. PLoS Comput. Biol. 7(1), e1001059 (2011)","journal-title":"PLoS Comput. Biol."},{"unstructured":"Murphy, K.P., Weiss, Y.: The factored frontier algorithm for approximate inference in DBNs. In: UAI 2001, pp. 378\u2013385 (2001)","key":"1_CR19"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"D689","DOI":"10.1093\/nar\/gkj092","volume":"34","author":"N Novere Le","year":"2006","unstructured":"Le Novere, N., Bornstein, B., Broicher, A., Courtot, M., Donizelli, M., Dharuri, H., Sauro, H., Li, L., Schilstra, M., Shapiro, B., Snoep, J., Hucka, M.: Biomodels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Res. 34, D689\u2013D691 (2006)","journal-title":"Nucleic Acids Res."},{"issue":"5","key":"1_CR21","first-page":"1352","volume":"9","author":"SK Palaniappan","year":"2012","unstructured":"Palaniappan, S.K., Akshay, S., Genest, B., Thiagarajan, P.S.: A hybrid factored frontier algorithm. TCBB 9(5), 1352\u20131365 (2012)","journal-title":"TCBB"},{"key":"1_CR22","first-page":"re6","volume":"344","author":"WS Hlavacek","year":"2006","unstructured":"Hlavacek, W.S., Faeder, J.R., Blinov, M.L., Posner, R.G., Hucka, M., Fontana, W.: Rules for modeling signal-transduction systems. Sci. STKE 344, re6 (2006)","journal-title":"Sci. STKE"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47151-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:32:00Z","timestamp":1558315920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47151-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471501","9783319471518"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47151-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"25 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Hybrid Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Grenoble","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hsb2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}