{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T18:05:57Z","timestamp":1761156357345,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319674704"},{"type":"electronic","value":"9783319674711"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67471-1_3","type":"book-chapter","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T19:05:14Z","timestamp":1504206314000},"page":"40-56","source":"Crossref","is-referenced-by-count":10,"title":["Detecting Attractors in Biological Models with Uncertain Parameters"],"prefix":"10.1007","author":[{"given":"Ji\u0159\u00ed","family":"Barnat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikola","family":"Bene\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lubo\u0161","family":"Brim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Demko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matej","family":"Hajnal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Pastva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,1]]},"reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1093\/logcom\/exp003","volume":"21","author":"J Barnat","year":"2011","unstructured":"Barnat, J., Chaloupka, J., Van De Pol, J.: Distributed algorithms for SCC decomposition. J. Logic Comput. 21(1), 23\u201344 (2011)","journal-title":"J. Logic Comput."},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-71493-4_8","volume-title":"Hybrid Systems: Computation and Control","author":"G Batt","year":"2007","unstructured":"Batt, G., Belta, C., Weiss, R.: Model checking genetic regulatory networks with parameter uncertainty. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 61\u201375. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71493-4_8"},{"issue":"18","key":"3_CR3","doi-asserted-by":"crossref","first-page":"2415","DOI":"10.1093\/bioinformatics\/btm362","volume":"23","author":"G Batt","year":"2007","unstructured":"Batt, G., Yordanov, B., Weiss, R., Belta, C.: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18), 2415\u20132422 (2007)","journal-title":"Bioinformatics"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-319-48989-6_6","volume-title":"FM 2016: Formal Methods","author":"N Bene\u0161","year":"2016","unstructured":"Bene\u0161, N., Brim, L., Demko, M., Pastva, S., \u0160afr\u00e1nek, D.: A model checking approach to discrete bifurcation analysis. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 85\u2013101. Springer, Cham (2016). doi: 10.1007\/978-3-319-48989-6_6"},{"key":"3_CR5","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, Cham (2015). doi: 10.1007\/978-3-319-23401-4_21"},{"key":"3_CR6","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: Abate, A., \u0160afr\u00e1nek, D. (eds.) HSB 2015. LNCS, vol. 9271, pp. 58\u201374. Springer, Cham (2015). doi: 10.1007\/978-3-319-26916-0_4"},{"issue":"11","key":"3_CR7","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1145\/358690.358717","volume":"25","author":"KM Chandy","year":"1982","unstructured":"Chandy, K.M., Misra, J.: Distributed computation on graphs: shortest path algorithms. Commun. ACM 25(11), 833\u2013837 (1982)","journal-title":"Commun. ACM"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-12982-2_10","volume-title":"Computational Methods in Systems Biology","author":"T Chatain","year":"2014","unstructured":"Chatain, T., Haar, S., Jezequel, L., Paulev\u00e9, L., Schwoon, S.: Characterization of reachable attractors using petri net unfoldings. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 129\u2013142. Springer, Cham (2014). doi: 10.1007\/978-3-319-12982-2_10"},{"issue":"1","key":"3_CR9","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1186\/s12918-016-0338-4","volume":"10","author":"SM Choo","year":"2016","unstructured":"Choo, S.M., Cho, K.H.: An efficient algorithm for identifying primary phenotype attractors of a large-scale boolean network. BMC Syst. Biol. 10(1), 95 (2016)","journal-title":"BMC Syst. Biol."},{"issue":"2","key":"3_CR10","doi-asserted-by":"crossref","first-page":"281","DOI":"10.3934\/dcds.2007.17.281","volume":"17","author":"EA Coayla-Teran","year":"2007","unstructured":"Coayla-Teran, E.A., Mohammed, S.E.A., Ruffino, P.R.C.: Hartman-grobman theorems along hyperbolic stationary trajectories. Discret. Contin. Dyn. Syst. 17(2), 281\u2013292 (2007)","journal-title":"Discret. Contin. Dyn. Syst."},{"doi-asserted-by":"crossref","unstructured":"Collins, P., Habets, L., van Schuppen, J., \u010cern\u00e1, I., Fabrikov\u00e1, J., \u0160afr\u00e1nek, D.: Abstraction of biochemical reaction systems on polytopes. In: IFAC World Congress, pp. 14869\u201314875. IFAC (2011)","key":"3_CR11","DOI":"10.3182\/20110828-6-IT-1002.03317"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-319-45177-0_6","volume-title":"Computational Methods in Systems Biology","author":"M Demko","year":"2016","unstructured":"Demko, M., Bene\u0161, N., Brim, L., Pastva, S., \u0160afr\u00e1nek, D.: High-performance symbolic parameter synthesis of biological models: a case study. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 82\u201397. Springer, Cham (2016). doi: 10.1007\/978-3-319-45177-0_6"},{"unstructured":"Dijkstra, E.W.: In reaction to Ernest Chang\u2019s \u201cDeadlock Detection\u201d (1979). http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd07xx\/EWD702.PDF","key":"3_CR13"},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.jtbi.2013.09.010","volume":"340","author":"R Dil\u00e3o","year":"2014","unstructured":"Dil\u00e3o, R.: The regulation of gene expression in eukaryotes: bistability and oscillations in repressilator models. J. Theor. Biol. 340, 199\u2013208 (2014)","journal-title":"J. Theor. Biol."},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.physrep.2016.05.002","volume":"637","author":"D Dudkowski","year":"2016","unstructured":"Dudkowski, D., Jafari, S., Kapitaniak, T., Kuznetsov, N.V., Leonov, G.A., Prasad, A.: Hidden attractors in dynamical systems. Phys. Rep. 637, 1\u201350 (2016)","journal-title":"Phys. Rep."},{"key":"3_CR16","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). doi: 10.1007\/978-3-642-22110-1_31"},{"issue":"4","key":"3_CR17","first-page":"1","volume":"9","author":"W Guo","year":"2014","unstructured":"Guo, W., Yang, G., Wu, W., He, L., Sun, M.: A parallel attractor finding algorithm based on boolean satisfiability for genetic regulatory networks. PLOS ONE 9(4), 1\u201310 (2014)","journal-title":"PLOS ONE"},{"issue":"10","key":"3_CR18","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1038\/nrm2766","volume":"10","author":"BD MacArthur","year":"2009","unstructured":"MacArthur, B.D., Ma\u2019ayan, A., Lemischka, I.R.: Systems biology of stem cell fate and cellular reprogramming. Nat. Rev. Mol. Cell Biol. 10(10), 672\u2013681 (2009)","journal-title":"Nat. Rev. Mol. Cell Biol."},{"issue":"8","key":"3_CR19","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1016\/j.jpdc.2005.03.007","volume":"65","author":"W McLendon III","year":"2005","unstructured":"McLendon III, W., Hendrickson, B., Plimpton, S.J., Rauchwerger, L.: Finding strongly connected components in distributed graphs. J. Parallel Distrib. Comput. 65(8), 901\u2013910 (2005)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"2","key":"3_CR20","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF01212280","volume":"99","author":"J Milnor","year":"1985","unstructured":"Milnor, J.: On the concept of attractor. Commun. Math. Phys. 99(2), 177\u2013195 (1985)","journal-title":"Commun. Math. Phys."},{"issue":"6","key":"3_CR21","doi-asserted-by":"crossref","first-page":"905","DOI":"10.1007\/s00285-006-0035-9","volume":"53","author":"S M\u00fcller","year":"2006","unstructured":"M\u00fcller, S., Hofbauer, J., Endler, L., Flamm, C., Widder, S., Schuster, P.: A generalized model of the repressilator. J. Math. Biol. 53(6), 905\u2013937 (2006)","journal-title":"J. Math. Biol."},{"issue":"5","key":"3_CR22","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0020-0190(85)90024-9","volume":"20","author":"JH Reif","year":"1985","unstructured":"Reif, J.H.: Depth-first search is inherently sequential. Inf. Process. Lett. 20(5), 229\u2013234 (1985). https:\/\/doi.org\/10.1016\/0020-0190(85)90024-9","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"3_CR23","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0040-9383(76)90041-0","volume":"15","author":"D Sullivan","year":"1976","unstructured":"Sullivan, D., Williams, R.: On the homology of attractors. Topology 15(3), 259\u2013262 (1976)","journal-title":"Topology"},{"issue":"10","key":"3_CR24","doi-asserted-by":"crossref","first-page":"1506","DOI":"10.1093\/bioinformatics\/bth110","volume":"20","author":"M Swat","year":"2004","unstructured":"Swat, M., Kel, A., Herzel, H.: Bifurcation analysis of the regulatory modules of the mammalian G1\/S transition. Bioinformatics 20(10), 1506\u20131511 (2004)","journal-title":"Bioinformatics"},{"issue":"2","key":"3_CR25","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"RE Tarjan","year":"1972","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972). https:\/\/doi.org\/10.1137\/0201010","journal-title":"SIAM J. Comput."}],"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-319-67471-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T20:29:05Z","timestamp":1602880145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67471-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674704","9783319674711"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67471-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}