{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T13:07:16Z","timestamp":1762866436454},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319088662"},{"type":"electronic","value":"9783319088679"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08867-9_24","type":"book-chapter","created":{"date-parts":[[2014,6,28]],"date-time":"2014-06-28T07:37:30Z","timestamp":1403941050000},"page":"358-372","source":"Crossref","is-referenced-by-count":3,"title":["Finding Instability in Biological Models"],"prefix":"10.1007","author":[{"given":"Byron","family":"Cook","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jasmin","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin A.","family":"Hall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samin","family":"Ishtiaq","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Garvit","family":"Juniwal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.: Executable cell biology. Nature Biotechnology\u00a025, 1239\u20131249 (2007)","journal-title":"Nature Biotechnology"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-05089-3_2","volume-title":"FM 2009: Formal Methods","author":"N. Bonzanni","year":"2009","unstructured":"Bonzanni, N., Feenstra, K.A., Fokkink, W., Krepska, E.: What can formal methods bring to systems biology? In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 16\u201322. Springer, Heidelberg (2009)"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Danos, M.C., Fages, V., Sch\u00e4chter, F., Modeling, V.: querying biomolecular interaction networks. Theor. Comput. Sci.\u00a0325, 25\u201344 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"2049","DOI":"10.1093\/bioinformatics\/btp355","volume":"25","author":"N. Bonzanni","year":"2009","unstructured":"Bonzanni, N., Krepska, E., Feenstra, K.A., Fokkink, W., Kielmann, T., Bal, H., Heringa, J.: Executing multicellular differentiation: Quantitative predictive modelling of C.elegans vulval development. Bioinformatics\u00a025, 2049\u20132056 (2009)","journal-title":"Bioinformatics"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Fisher, J., Piterman, N., Hajnal, A., Henzinger, T.: Predictive modeling of signaling crosstalk during c.\u00a0elegans vulval development. PLoS Computational Biology\u00a03, e92 (2007)","DOI":"10.1371\/journal.pcbi.0030092"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-18275-4_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"B. Cook","year":"2011","unstructured":"Cook, B., Fisher, J., Krepska, E., Piterman, N.: Proving stabilization of biological systems. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 134\u2013149. Springer, Heidelberg (2011)"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S. Kauffman","year":"1969","unstructured":"Kauffman, S.: Metabolic stability and epigenesis in randomly constructed genetic nets. Journal of Theoretical Biology\u00a022, 437\u2013467 (1969)","journal-title":"Journal of Theoretical Biology"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Schaub, M., Henzinger, T., Fisher, J.: Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology\u00a01 (2007)","DOI":"10.1186\/1752-0509-1-4"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Krumsiek, J., Marr, C., Schroeder, T., Theis, F.J.: Hierarchical differentiation of myeloid progenitors is encoded in the transcription factor network. PLoS One\u00a06, e22649 (2011)","DOI":"10.1371\/journal.pone.0022649"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perl\u00e8s, B., Thieffry, D.: Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput. Biol.\u00a09, e1003286 (2013)","DOI":"10.1371\/journal.pcbi.1003286"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Bonzanni, N., Garg, A., Feenstra, K.A., Sch\u00fctte, J., Kinston, S., Miranda-Saavedra, D., Heringa, J., Xenarios, I., G\u00f6ttgens, B.: Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model. Bioinformatics\u00a029, i80\u2013i88 (2013)","DOI":"10.1093\/bioinformatics\/btt243"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s001099900023","volume":"77","author":"S. Huang","year":"1999","unstructured":"Huang, S.: Gene expression profiling, genetic networks, and cellular states: An integrating concept for tumorigenesis and drug discovery. Journal of Molecular Medicine\u00a077, 469\u2013480 (1999)","journal-title":"Journal of Molecular Medicine"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.biosystems.2009.04.008","volume":"97","author":"A. Naldi","year":"2009","unstructured":"Naldi, A., Berenguier, D., Faur\u00e9, A., Lopez, F., Thieffry, D., Chaouiya, C.: Logical modelling of regulatory networks with GINsim 2.3. Biosystems\u00a097, 134\u2013139 (2009)","journal-title":"Biosystems"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: Nusmv: A new symbolic model verifier. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 495\u2013499. Springer, Heidelberg (1999)"},{"key":"24_CR15","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-75140-3_16","volume-title":"Computational Methods in Systems Biology","author":"A. Naldi","year":"2007","unstructured":"Naldi, A., Thieffry, D., Chaouiya, C.: Decision diagrams for the representation and analysis of logical models of genetic networks. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 233\u2013247. Springer, Heidelberg (2007)"},{"key":"24_CR16","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1038\/nrm1524","volume":"5","author":"G.H. Wadhams","year":"2004","unstructured":"Wadhams, G.H., Armitage, J.P.: Making sense of it all: Bacterial chemotaxis. Nat. Rev. Mol. Cell Biol.\u00a05, 1024\u20131037 (2004)","journal-title":"Nat. Rev. Mol. Cell Biol."},{"key":"24_CR17","unstructured":"Hille, B.: Ion Channels of Excitable Membranes, 3rd edn., pp. 2001\u20132007. Sinauer Associates Inc. (2001-2007)"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-39799-8_5","volume-title":"Computer Aided Verification","author":"K. Claessen","year":"2013","unstructured":"Claessen, K., Fisher, J., Ishtiaq, S., Piterman, N., Wang, Q.: Model-checking signal transduction networks through decreasing reachability sets. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol.\u00a08044, pp. 85\u2013100. Springer, Heidelberg (2013)"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"24_CR20","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proceedings of the Second International Symposium on Programming, Dunod, Paris, France, pp. 106\u2013130 (1976)"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1007\/978-3-642-31424-7_50","volume-title":"Computer Aided Verification","author":"D. Benque","year":"2012","unstructured":"Benque, D., Bourton, S., Cockerton, C., Cook, B., Fisher, J., Ishtiaq, S., Piterman, N., Taylor, A., Vardi, M.Y.: BMA: Visual tool for modeling and analyzing biological networks. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol.\u00a07358, pp. 686\u2013692. Springer, Heidelberg (2012)"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Taylor, A.S., Piterman, N., Ishtiaq, S., Fisher, J., Cook, B., Cockerton, C., Bourton, S., Benque, D.: At the interface of biology and computation. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 493\u2013502. ACM (2013)","DOI":"10.1145\/2470654.2470725"},{"key":"24_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"24_CR24","first-page":"146","volume":"12","author":"A. Beyer","year":"2010","unstructured":"Beyer, A., Thomason, P., Li, X., Scott, J., Fisher, J.: Mechanistic insights into metabolic disturbance during type-2 diabetes and obesity using qualitative networks. T. Comp. Sys. Biology\u00a012, 146\u2013162 (2010)","journal-title":"T. Comp. Sys. Biology"},{"key":"24_CR25","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1016\/S0966-842X(98)01348-1","volume":"6","author":"F. S\u00f6derbom","year":"1998","unstructured":"S\u00f6derbom, F., Loomis, W.F.: Cell-cell signaling during Dictyostelium development. Trends in Microbiology\u00a06, 402\u2013406 (1998)","journal-title":"Trends in Microbiology"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08867-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T01:08:15Z","timestamp":1558919295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08867-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319088662","9783319088679"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08867-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}