{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T18:37:33Z","timestamp":1766428653501,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319786575"},{"type":"electronic","value":"9783319786582"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-78658-2_7","type":"book-chapter","created":{"date-parts":[[2018,3,31]],"date-time":"2018-03-31T14:34:11Z","timestamp":1522506851000},"page":"88-103","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Computing Hierarchical Transition Graphs of Asynchronous Genetic Regulatory Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9016-074X","authenticated-orcid":false,"given":"Marco","family":"Pedicini","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8559-4749","authenticated-orcid":false,"given":"Maria Concetta","family":"Palumbo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1442-3552","authenticated-orcid":false,"given":"Filippo","family":"Castiglione","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,1]]},"reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"crossref","first-page":"025114","DOI":"10.1063\/1.4809783","volume":"23","author":"D B\u00e9renguier","year":"2013","unstructured":"B\u00e9renguier, D., Chaouiya, C., Monteiro, P.T., Naldi, A., Remy, E., Thieffry, D., Tichit, L.: Dynamical modeling and analysis of large cellular regulatory networks. Chaos: Interdisc. J. Nonlinear Sci. 23(2), 025114 (2013)","journal-title":"Chaos: Interdisc. J. Nonlinear Sci."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. In: 1993 IEEE\/ACM International Conference on Computer-Aided Design, ICCAD 1993, Digest of Technical Papers, pp. 188\u2013191. IEEE (1993)","DOI":"10.1109\/ICCAD.1993.580054"},{"issue":"1","key":"7_CR3","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/s10703-006-4341-z","volume":"28","author":"R Bloem","year":"2006","unstructured":"Bloem, R., Gabow, H.N., Somenzi, F.: An algorithm for strongly connected component analysis in $$n$$ n log $$n$$ n symbolic steps. Formal Methods Syst. Des. 28(1), 37\u201356 (2006)","journal-title":"Formal Methods Syst. Des."},{"issue":"1","key":"7_CR4","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H Jong De","year":"2002","unstructured":"De Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9(1), 67\u2013103 (2002)","journal-title":"J. Comput. Biol."},{"issue":"5","key":"7_CR5","doi-asserted-by":"crossref","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","volume":"8","author":"E Dubrova","year":"2011","unstructured":"Dubrova, E., Teslenko, M.: A SAT-based algorithm for finding attractors in synchronous Boolean networks. IEEE\/ACM Trans. Comput. Biol. Bioinform. 8(5), 1393\u20131399 (2011)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"issue":"3\u20134","key":"7_CR6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0020-0190(00)00051-X","volume":"74","author":"HN Gabow","year":"2000","unstructured":"Gabow, H.N.: Path-based depth-first search for strong and biconnected components. Inf. Process. Lett. 74(3\u20134), 107\u2013114 (2000)","journal-title":"Inf. Process. Lett."},{"issue":"10","key":"7_CR7","doi-asserted-by":"crossref","first-page":"e1003286","DOI":"10.1371\/journal.pcbi.1003286","volume":"9","author":"L Grieco","year":"2013","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. 9(10), e1003286 (2013)","journal-title":"PLoS Comput. Biol."},{"issue":"12","key":"7_CR8","doi-asserted-by":"crossref","first-page":"i101","DOI":"10.1093\/bioinformatics\/btp214","volume":"25","author":"A Garg","year":"2009","unstructured":"Garg, A., Mohanram, K., Di Cara, A., De Micheli, G., Xenarios, I.: Modeling stochasticity and robustness in gene regulatory networks. Bioinformatics 25(12), i101\u2013i109 (2009)","journal-title":"Bioinformatics"},{"key":"7_CR9","unstructured":"Harvey, I., Bossomaier, T.: Time out of joint: attractors in asynchronous random Boolean networks. In: Proceedings of the Fourth European Conference on Artificial Life, pp. 67\u201375. MIT Press, Cambridge (1997)"},{"issue":"1","key":"7_CR10","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/s00180-012-0324-2","volume":"28","author":"M Hopfensitz","year":"2013","unstructured":"Hopfensitz, M., M\u00fcssel, C., Maucher, M.: HA Kestler: attractors in Boolean networks: a tutorial. Comput. Stat. 28(1), 19\u201336 (2013)","journal-title":"Comput. Stat."},{"key":"7_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","volume-title":"The Origins of Order: Self-organization and Selection in Evolution","author":"SA Kauffman","year":"1993","unstructured":"Kauffman, S.A.: The Origins of Order: Self-organization and Selection in Evolution. Oxford University Press, Oxford (1993)"},{"issue":"2","key":"7_CR12","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/0020-0190(71)90006-8","volume":"1","author":"I Munro","year":"1971","unstructured":"Munro, I.: Efficient determination of the transitive closure of a directed graph. Inf. Process. Lett. 1(2), 56\u201358 (1971)","journal-title":"Inf. Process. Lett."},{"issue":"12","key":"7_CR13","doi-asserted-by":"crossref","first-page":"e1001032","DOI":"10.1371\/journal.pcbi.1001032","volume":"6","author":"M Pedicini","year":"2010","unstructured":"Pedicini, M., Barren\u00e4s, F., Clancy, T., Castiglione, F., Hovig, E., Kanduri, K., Santoni, D., Benson, M.: Combining network modeling and gene expression microarray analysis to explore the dynamics of Th1 and Th2 cell regulation. PLoS Comput. Biol. 6(12), e1001032 (2010)","journal-title":"PLoS Comput. Biol."},{"issue":"1","key":"7_CR14","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/BF01940892","volume":"10","author":"P Purdom","year":"1970","unstructured":"Purdom, P.: A transitive closure algorithm. BIT Numer. Math. 10(1), 76\u201394 (1970)","journal-title":"BIT Numer. Math."},{"issue":"2","key":"7_CR15","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"issue":"1\u20132","key":"7_CR16","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s12190-011-0517-9","volume":"39","author":"A Veliz-Cuba","year":"2012","unstructured":"Veliz-Cuba, A., Laubenbacher, R.: On the computation of fixed points in Boolean networks. J. Appl. Math. Comput. 39(1\u20132), 145\u2013153 (2012)","journal-title":"J. Appl. Math. Comput."},{"issue":"4","key":"7_CR17","doi-asserted-by":"crossref","first-page":"e60593","DOI":"10.1371\/journal.pone.0060593","volume":"8","author":"D Zheng","year":"2013","unstructured":"Zheng, D., Yang, G., Li, X., Wang, Z., Liu, F., He, L.: An efficient algorithm for computing attractors of synchronous and asynchronous Boolean networks. PLoS ONE 8(4), e60593 (2013)","journal-title":"PLoS ONE"}],"container-title":["Communications in Computer and Information Science","Artificial Life and Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-78658-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T13:45:52Z","timestamp":1719927952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-78658-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319786575","9783319786582"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-78658-2_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}