{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T13:03:34Z","timestamp":1762866214380},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397981"},{"type":"electronic","value":"9783642397998"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39799-8_5","type":"book-chapter","created":{"date-parts":[[2013,7,10]],"date-time":"2013-07-10T19:13:06Z","timestamp":1373483586000},"page":"85-100","source":"Crossref","is-referenced-by-count":10,"title":["Model-Checking Signal Transduction Networks through Decreasing Reachability Sets"],"prefix":"10.1007","author":[{"given":"Koen","family":"Claessen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jasmin","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samin","family":"Ishtiaq","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qinsi","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"suppl. 1","key":"5_CR1","doi-asserted-by":"crossref","first-page":"i19","DOI":"10.1093\/bioinformatics\/bti1048","volume":"21","author":"G. Batt","year":"2005","unstructured":"Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., Page, M., Schneider, D.: Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in escherichia coli. Bioinformatics\u00a021(suppl. 1), i19\u2013i28 (2005)","journal-title":"Bioinformatics"},{"key":"5_CR2","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":"5_CR3","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"},{"issue":"16","key":"5_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(16), 2049\u20132056 (2009)","journal-title":"Bioinformatics"},{"issue":"1","key":"5_CR5","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., Chiaverini, M., Danos, V., Fages, F.: Modeling and querying biomolecular interaction networks. Th. Comp. Sci.\u00a0325(1), 25\u201344 (2004)","journal-title":"Th. Comp. Sci."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Claessen, K., Fisher, J., Ishtiaq, S., Piterman, N., Qinsi, W.: Model-checking signal transduction networks through decreasing reachbility sets. Technical Report MSR-TR-2013-30, Microsoft Research (2013)","DOI":"10.1007\/978-3-642-39799-8_5"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1011276507260","volume":"19","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded model checking using satisfiability solving. Formal Methods in System Design\u00a019(1), 7\u201334 (2001)","journal-title":"Formal Methods in System Design"},{"key":"5_CR8","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":"5_CR9","unstructured":"Dill, D., Knapp, M., Gage, P., Talcott, C., Laderoute, K., Lincoln, P.: The pathalyzer: a tool for analysis of signal transduction pathways. In: 1st Annual Recomb Satellite Workshop on Systems Biology (2005)"},{"issue":"11","key":"5_CR10","doi-asserted-by":"publisher","first-page":"2923","DOI":"10.1105\/tpc.104.021725","volume":"16","author":"C. Espinosa-Sotoa","year":"2004","unstructured":"Espinosa-Sotoa, C., Padilla-Longoriab, P., Alvarez-Buyllaa, E.: A gene regulatory network model for cell-fate determination during arabidopsis thaliana flower development that is robust and recovers experimental gene expression profiles. The Plant Cell\u00a016(11), 2923\u20132939 (2004)","journal-title":"The Plant Cell"},{"issue":"11","key":"5_CR11","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(11), 1239\u20131249 (2007)","journal-title":"Nature Biotechnology"},{"key":"5_CR12","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(5), e92 (2007)","DOI":"10.1371\/journal.pcbi.0030092"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-03845-7_2","volume-title":"Computational Methods in Systems Biology","author":"J. Heath","year":"2009","unstructured":"Heath, J.: The equivalence between biology and computation. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 18\u201325. Springer, Heidelberg (2009)"},{"key":"5_CR14","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11885191_3","volume-title":"Computational Methods in Systems Biology","author":"J. Heath","year":"2006","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 32\u201347. Springer, Heidelberg (2006)"},{"issue":"14","key":"5_CR15","doi-asserted-by":"publisher","first-page":"4781","DOI":"10.1073\/pnas.0305937101","volume":"101","author":"F. Li","year":"2004","unstructured":"Li, F., Long, T., Lu, Y., Ouyand, Q., Tang, C.: The yeast cell-cycle network is robustly designed. Proc. Natl. Acad. Sci. U S A\u00a0101(14), 4781\u20134786 (2004)","journal-title":"Proc. Natl. Acad. Sci. U S A"},{"key":"5_CR16","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":"5_CR17","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Zaks, A.: On the merits of temporal testers. In: Grumberg, O., Veith, H. (eds.) 25MC Festschrift. LNCS, vol.\u00a05000, pp. 172\u2013195. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-69850-0_11"},{"key":"5_CR18","unstructured":"Ray, S., Brayton, R.: Proving stabilization using liveness to safety conversion. In: 20th International Workshop on Logic and Synthesis (2011)"},{"issue":"1","key":"5_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1186\/1752-0509-2-21","volume":"2","author":"A. Samal","year":"2008","unstructured":"Samal, A., Jain, S.: The regulatory network of e. coli metabolism as a boolean dynamical system exhibits both homeostasis and flexibility of response. BMC Systems Biology\u00a02(1), 21 (2008)","journal-title":"BMC Systems Biology"},{"key":"5_CR20","first-page":"517","volume":"244","author":"L. Sanchez","year":"2003","unstructured":"Sanchez, L., Thieffry, D.: Segmenting the fly embryo: a logical analysis fo the pair-rule cross-regulatory module. Journal of Theoretical Biology\u00a0244, 517\u2013537 (2003)","journal-title":"Journal of Theoretical Biology"},{"key":"5_CR21","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(4) (2007)","DOI":"10.1186\/1752-0509-1-4"},{"issue":"2","key":"5_CR22","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/bioinformatics\/18.2.261","volume":"18","author":"I. Shmulevitch","year":"2002","unstructured":"Shmulevitch, I., Dougherty, R., Kim, S., Zhang, W.: Probabilistic boolean networks: A rule-based uncertainty model for gene regulatory networks. Bioinformatics\u00a018(2), 261\u2013274 (2002)","journal-title":"Bioinformatics"},{"issue":"2","key":"5_CR23","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF02460618","volume":"55","author":"R. Thomas","year":"1995","unstructured":"Thomas, R., Thieffry, D., Kaufman, M.: Dynamical behaviour of biological regulatory networks\u2014i. biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. of Math. Bio.\u00a055(2), 247\u2013276 (1995)","journal-title":"Bull. of Math. Bio."}],"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-39799-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T14:30:42Z","timestamp":1557930642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39799-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397981","9783642397998"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39799-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}