{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:56:34Z","timestamp":1742932594762,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319721491"},{"type":"electronic","value":"9783319721507"}],"license":[{"start":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T00:00:00Z","timestamp":1511740800000},"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-72150-7_46","type":"book-chapter","created":{"date-parts":[[2017,11,26]],"date-time":"2017-11-26T13:21:29Z","timestamp":1511702489000},"page":"567-579","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Logical Constraint\u2013based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton Networks"],"prefix":"10.1007","author":[{"given":"Quoc-Trung","family":"Vuong","sequence":"first","affiliation":[]},{"given":"Roselyne","family":"Chauvin","sequence":"additional","affiliation":[]},{"given":"Sergiu","family":"Ivanov","sequence":"additional","affiliation":[]},{"given":"Nicolas","family":"Glade","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Trilling","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,27]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10441-013-9169-5","volume":"61","author":"H Ben Amor","year":"2013","unstructured":"Ben Amor, H., Corblin, F., Fanchon, E., Elena, A., Trilling, L., Demongeot, J., Glade, N.: Formal methods for Hopfield-like networks. Acta Biotheor. 61, 21\u201339 (2013)","journal-title":"Acta Biotheor."},{"key":"46_CR2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.biosystems.2009.07.007","volume":"2","author":"F Corblin","year":"2009","unstructured":"Corblin, F., Tripodi, S., Fanchon, E., Ropers, D., Trilling, L.: A declarative constraint-based method for analyzing discrete genetic regulatory networks. Biosystems 2, 91\u2013104 (2009)","journal-title":"Biosystems"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"Elena, A., Ben-Amor, H., Glade, N., Demongeot, J.: Motifs in Regulatory Networks and their Structural Robustness. In: 8th IEEE International Conference on BioInformatics and BioEngineering, BIBE 2008, Athens, Greece (2008). IEEE Trans. Inf. Tech. Biomed.","DOI":"10.1109\/BIBE.2008.4696699"},{"key":"46_CR4","unstructured":"Elena, A.: Robustesse des r\u00e9seaux d\u2019automates bool\u00e9ens \u00e0 seuil aux modes d\u2019it\u00e9ration. Application \u00e0 la mod\u00e9lisation des r\u00e9seaux de r\u00e9gulation g\u00e9n\u00e9tique. Ph.D. Thesis (French), Universit\u00e9 Joseph Fourier (2009). https:\/\/tel.archives-ouvertes.fr\/tel-00447564\/"},{"key":"46_CR5","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the potsdam answer set solving collection. AI Comm. 24, 107\u2013124 (2011)","journal-title":"AI Comm."},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Obermeier, P., Schaub, T.: Ricochet Robots Reloaded \u2013 A Case-study in Multi-shot ASP Solving. In: Advances in Knowledge Representation, Logic Programming and Abstract Argumentation. vol. 9060, pp. 17\u201332. LNCS (2015)","DOI":"10.1007\/978-3-319-14726-0_2"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"Glade, N., Elena, A., Corblin, F., Fanchon, E., Demongeot, J., Ben Amor H.: Determination, optimization and taxonomy of regulator networks. The example of Arabidopsis thaliana flower morphogenesis. IEEE AINA\u2019 11, IEEE Press, Piscataway, 488\u2013494 (2011)","DOI":"10.1109\/WAINA.2011.155"},{"key":"46_CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L Glass","year":"1973","unstructured":"Glass, L., Kauffman, S.: The logical analysis of continuous, nonlinear biochemical control networks. J. Theor. Biol. 39, 103\u2013129 (1973)","journal-title":"J. Theor. Biol."},{"key":"46_CR9","doi-asserted-by":"crossref","first-page":"2554","DOI":"10.1073\/pnas.79.8.2554","volume":"79","author":"JJ Hopfield","year":"1982","unstructured":"Hopfield, J.J.: Neural networks and physical systems with emergent collective computational abilities. Proc. Nat. Acad. Sci. U.S.A. 79, 2554\u20132558 (1982)","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"46_CR10","doi-asserted-by":"crossref","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. J. Theor. Biol. 22, 437\u2013467 (1969)","journal-title":"J. Theor. Biol."},{"key":"46_CR11","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"WS McCulloch","year":"1943","unstructured":"McCulloch, W.S., Pitts, W.: A Logical calculus of the ideas immanent in nervous activity. Bull. Math. Biophys. 5, 115\u2013133 (1943)","journal-title":"Bull. Math. Biophys."},{"key":"46_CR12","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/978-3-642-81703-8_24","volume":"9","author":"R Thomas","year":"1980","unstructured":"Thomas, R.: On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. Springer Ser. Synerg. 9, 180\u2013193 (1980)","journal-title":"Springer Ser. Synerg."}],"container-title":["Studies in Computational Intelligence","Complex Networks & Their Applications VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72150-7_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T21:01:11Z","timestamp":1603400471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72150-7_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,27]]},"ISBN":["9783319721491","9783319721507"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72150-7_46","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2017,11,27]]}}}