{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:08:54Z","timestamp":1742922534613,"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_4","type":"book-chapter","created":{"date-parts":[[2016,9,25]],"date-time":"2016-09-25T16:30:46Z","timestamp":1474821046000},"page":"57-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways"],"prefix":"10.1007","author":[{"given":"Matej","family":"Hajnal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Demko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Pastva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Krej\u010d\u00ed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lubo\u0161","family":"Brim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,25]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pcbi.1004591","volume":"12","author":"E Bartocci","year":"2016","unstructured":"Bartocci, E., Li\u00f2, P.: Computational modeling, formal analysis, and tools for systems biology. PLoS Comput. Biol. 12(1), 1\u201322 (2016)","journal-title":"PLoS Comput. Biol."},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-35524-0_3","volume-title":"Transactions on Computational Systems Biology XIV","author":"E Bartocci","year":"2012","unstructured":"Bartocci, E., Li\u00f2, P., Merelli, E., Paoletti, N.: Multiple verification in complex biological systems: the bone remodelling case study. In: Priami, C., Petre, I., Vink, E. (eds.) Transactions on Computational Systems Biology XIV. LNCS, vol. 7625, pp. 53\u201376. Springer, Heidelberg (2012). doi:\n                      10.1007\/978-3-642-35524-0_3"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-71209-1_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Batt","year":"2007","unstructured":"Batt, G., Belta, C., Weiss, R.: Model checking liveness properties of genetic regulatory networks. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 323\u2013338. Springer, Heidelberg (2007)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"MH Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76, 119\u2013135 (2011)","journal-title":"Sci. Comput. Program."},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-38874-3_3","volume-title":"Formal Methods for Dynamical Systems","author":"L Brim","year":"2013","unstructured":"Brim, L., \u010ce\u0161ka, M., \u0160afr\u00e1nek, D.: Model checking of biological systems. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol. 7938, pp. 63\u2013112. Springer, Heidelberg (2013)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-319-23401-4_21","volume-title":"Computational Methods in Systems Biology","author":"L Brim","year":"2015","unstructured":"Brim, L., \u010ce\u0161ka, M., Demko, M., Pastva, S., \u0160afr\u00e1nek, D.: Parameter synthesis by parallel coloured CTL model checking. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 251\u2013263. Springer, Heidelberg (2015)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-319-26916-0_4","volume-title":"Hybrid Systems Biology","author":"L Brim","year":"2015","unstructured":"Brim, L., Demko, M., Pastva, S., \u0160afr\u00e1nek, D.: High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. In: Priami, C., Petre, I., de Vink, E. (eds.) HSB 2015. LNCS, vol. 9271, pp. 58\u201374. Springer, Heidelberg (2015). doi:\n                      10.1007\/978-3-319-26916-0_4"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11885191_5","volume-title":"Computational Methods in Systems Biology","author":"M Calder","year":"2006","unstructured":"Calder, M., Duguid, A., Gilmore, S., Hillston, J.: Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 63\u201377. Springer, Heidelberg (2006)"},{"issue":"6","key":"4_CR9","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/j.ccr.2006.10.003","volume":"10","author":"S Courtois-Cox","year":"2006","unstructured":"Courtois-Cox, S., Williams, S.M.G., Reczek, E.E., Johnson, B.W., McGillicuddy, L.T., Johannessen, C.M., Hollstein, P.E., MacCollin, M., Cichowski, K.: A negative feedback signaling network underlies oncogene-induced senescence. Cancer Cell 10(6), 459\u2013472 (2006)","journal-title":"Cancer Cell"},{"issue":"3","key":"4_CR10","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1089\/cmb.2009.0172","volume":"17","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Clermont, G., Langmead, C.J.: Parameter synthesis in nonlinear dynamical systems: application to systems biology. J. Comput. Biol. 17(3), 325\u2013336 (2010)","journal-title":"J. Comput. Biol."},{"key":"4_CR11","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)"},{"issue":"10","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pcbi.1003286","volume":"9","author":"L Grieco","year":"2013","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perls, B., Thieffry, D.: Integrative modelling of the influence of mapk network on cancer cell fate decision. PLoS Comput. Biol. 9(10), 1\u201315 (2013)","journal-title":"PLoS Comput. Biol."},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-22110-1_31","volume-title":"Computer Aided Verification","author":"R Grosu","year":"2011","unstructured":"Grosu, R., Batt, G., Fenton, F.H., Glimm, J., Le Guernic, C., Smolka, S.A., Bartocci, E.: From cardiac cells to genetic regulatory networks. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 396\u2013411. Springer, Heidelberg (2011)"},{"issue":"3","key":"4_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1038\/nrm1838","volume":"7","author":"BN Kholodenko","year":"2006","unstructured":"Kholodenko, B.N.: Cell-signalling dynamics in time and space. Nat. Rev. Mol. Cell Biol. 7(3), 165\u2013176 (2006)","journal-title":"Nat. Rev. Mol. Cell Biol."},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1471-2202-7-1","volume":"7","author":"E Klipp","year":"2006","unstructured":"Klipp, E., Liebermeister, W.: Mathematical modeling of intracellular signaling pathways. BMC Neurosci. 7(1), 1\u201316 (2006)","journal-title":"BMC Neurosci."},{"issue":"16","key":"4_CR16","doi-asserted-by":"publisher","first-page":"2793","DOI":"10.1242\/jcs.039701","volume":"122","author":"MZ Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M.Z., Heath, J.K.: Biological pathways as communicating computer systems. J. Cell Sci. 122(16), 2793\u20132800 (2009)","journal-title":"J. Cell Sci."},{"issue":"05","key":"4_CR17","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1142\/S021972000600234X","volume":"04","author":"C Li","year":"2006","unstructured":"Li, C., Suzuki, S., Ge, Q.W., Nakata, M., Matsuno, H., Miyano, S.: Structural modeling and analysis of signaling pathways based on Petri nets. J. Bioinform. Comput. Biol. 04(05), 1119\u20131140 (2006)","journal-title":"J. Bioinform. Comput. Biol."},{"issue":"7","key":"4_CR18","first-page":"1","volume":"10","author":"X Li","year":"2015","unstructured":"Li, X., Shen, L., Shang, X., Liu, W.: Subpathway analysis based on signaling-pathway impact analysis of signaling pathway. PLoS ONE 10(7), 1\u201319 (2015)","journal-title":"PLoS ONE"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12) (2009)","DOI":"10.1093\/bioinformatics\/btp200"},{"issue":"4","key":"4_CR20","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1038\/ncb1233","volume":"7","author":"S Sasagawa","year":"2005","unstructured":"Sasagawa, S., Ozaki, Y.I., Fujita, K., Kuroda, S.: Prediction and validation of the distinct dynamics of transient and sustained ERK activation. Nat. Cell Biol. 7(4), 365\u2013373 (2005)","journal-title":"Nat. Cell Biol."},{"issue":"1","key":"4_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-3-118","volume":"3","author":"DY Wang","year":"2009","unstructured":"Wang, D.Y., Cardelli, L., Phillips, A., Piterman, N., Fisher, J.: Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. BMC Syst. Biol. 3(1), 1\u201317 (2009)","journal-title":"BMC Syst. Biol."},{"issue":"4","key":"4_CR22","doi-asserted-by":"publisher","first-page":"1113","DOI":"10.1016\/j.bbrc.2004.01.009","volume":"314","author":"S Yamada","year":"2004","unstructured":"Yamada, S., Taketomi, T., Yoshimura, A.: Model analysis of difference between EGF pathway and FGF pathway. Biochem. Biophys. Res. Commun. 314(4), 1113\u20131120 (2004)","journal-title":"Biochem. Biophys. Res. Commun."}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:31:56Z","timestamp":1558315916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47151-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471501","9783319471518"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47151-8_4","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"}}]}}