{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T10:53:59Z","timestamp":1768906439945,"version":"3.49.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2016,8,22]],"date-time":"2016-08-22T00:00:00Z","timestamp":1471824000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["267989 (QUAREM)"],"award-info":[{"award-number":["267989 (QUAREM)"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award)"],"award-info":[{"award-number":["S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award)"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"name":"European Union\u2019s SAGE grant program","award":["618091"],"award-info":[{"award-number":["618091"]}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["ERC-2009-AdG-250152"],"award-info":[{"award-number":["ERC-2009-AdG-250152"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"name":"SNSF Advanced Mobility","award":["P300P2 161067"],"award-info":[{"award-number":["P300P2 161067"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s00236-016-0278-x","type":"journal-article","created":{"date-parts":[[2016,8,22]],"date-time":"2016-08-22T02:56:22Z","timestamp":1471834582000},"page":"765-787","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Model checking the evolution of gene regulatory networks"],"prefix":"10.1007","volume":"54","author":[{"given":"Mirco","family":"Giacobbe","sequence":"first","affiliation":[]},{"given":"C\u0103lin C.","family":"Guet","sequence":"additional","affiliation":[]},{"given":"Ashutosh","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"given":"Tiago","family":"Paix\u00e3o","sequence":"additional","affiliation":[]},{"given":"Tatjana","family":"Petrov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,22]]},"reference":[{"issue":"7080","key":"278_CR1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1038\/nature04488","volume":"440","author":"RBR Azevedo","year":"2006","unstructured":"Azevedo, R.B.R., Lohaus, R., Srinivasan, S., Dang, K.K., Burch, C.L.: Sexual reproduction selects for robustness and negative epistasis in artificial gene networks. Nature 440(7080), 87\u201390 (2006)","journal-title":"Nature"},{"key":"278_CR2","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge, Massachusetts, London (2008)"},{"issue":"3","key":"278_CR3","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s10817-012-9246-5","volume":"50","author":"C Barrett","year":"2013","unstructured":"Barrett, C., Deters, M., de Moura, L., Oliveras, A., Stump, A.: 6 years of SMT-COMP. J. Autom. Reason. 50(3), 243\u2013277 (2013)","journal-title":"J. Autom. Reason."},{"key":"278_CR4","first-page":"825","volume":"185","author":"CW Barrett","year":"2009","unstructured":"Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. Handb. Satisf. 185, 825\u2013885 (2009)","journal-title":"Handb. Satisf."},{"key":"278_CR5","first-page":"91","volume":"38","author":"A Barvinok","year":"1999","unstructured":"Barvinok, A., Pommersheim, J.E.: An algorithmic theory of lattice points in polyhedra. New Perspect. Algebraic Combin. 38, 91\u2013147 (1999)","journal-title":"New Perspect. Algebraic Combin."},{"issue":"18","key":"278_CR6","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":"278_CR7","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0065-2458(03)58003-2","volume":"58","author":"A Biere","year":"2003","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 117\u2013148 (2003)","journal-title":"Adv. Comput."},{"issue":"1","key":"278_CR8","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1186\/1752-0509-8-84","volume":"8","author":"L Cardelli","year":"2014","unstructured":"Cardelli, L.: Morphisms of reaction networks that couple structure to function. BMC Syst. Bio. 8(1), 84 (2014)","journal-title":"BMC Syst. Bio."},{"key":"278_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1038\/srep00656","volume":"2","author":"L Cardelli","year":"2012","unstructured":"Cardelli, L., Csik\u00e1sz-Nagy, A.: The cell cycle switch computes approximate majority. Sci. Rep. 2, 1\u20139 (2012)","journal-title":"Sci. Rep."},{"key":"278_CR10","doi-asserted-by":"crossref","unstructured":"Chaki, S., Gurfinkel, A., Strichman, O.: Decision diagrams for linear arithmetic. In: Formal Methods in Computer-Aided Design, 2009. FMCAD 2009, pp. 53\u201360. IEEE (2009)","DOI":"10.1109\/FMCAD.2009.5351143"},{"issue":"2","key":"278_CR11","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1371\/journal.pcbi.0030015","volume":"3","author":"S Ciliberti","year":"2007","unstructured":"Ciliberti, S., Martin, O.C., Wagner, A.: Robustness can evolve gradually in complex regulatory gene networks with varying topology. PLoS Comput. Biol. 3(2), 164\u2013173 (2007)","journal-title":"PLoS Comput. Biol."},{"issue":"1","key":"278_CR12","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theor. Comput. Sci. 325(1), 69\u2013110 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"278_CR13","doi-asserted-by":"crossref","unstructured":"de\u00a0Moura, L.M., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: TACAS (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"issue":"6767","key":"278_CR14","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"MB Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature 403(6767), 335\u2013338 (2000)","journal-title":"Nature"},{"issue":"11","key":"278_CR15","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnol. 25(11), 1239\u20131249 (2007)","journal-title":"Nature Biotechnol."},{"issue":"6767","key":"278_CR16","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1038\/35002131","volume":"403","author":"TS Gardner","year":"2000","unstructured":"Gardner, T.S., Cantor, C.R., Collins, J.J.: Construction of a genetic toggle switch in Escherichia coli. Nature 403(6767), 339\u2013342 (2000)","journal-title":"Nature"},{"key":"278_CR17","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/978-3-662-46681-0_47","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Giacobbe","year":"2015","unstructured":"Giacobbe, M., Guet, C.C., Gupta, A., Henzinger, T.A., Paixao, T., Petrov, T.: Model checking gene regulatory networks. In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 469\u2013483. Springer, Berlin, Heidelberg (2015)"},{"key":"278_CR18","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-1-4419-6766-4_12","volume-title":"Design and Analysis of Biomolecular Circuits","author":"M Hafner","year":"2011","unstructured":"Hafner, M., Petrov, T., Lu, J., Koeppl, H.: Rational design of robust biomolecular circuits: from specification to parameters. In: Koeppl, H., Setti, G., di Bernardo, M., Densmore, D. (eds.) Design and Analysis of Biomolecular Circuits, pp. 253\u2013279. Springer, New York (2011)"},{"key":"278_CR19","first-page":"218","volume-title":"Computational Methods in Systems Biology","author":"SK Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) Computational Methods in Systems Biology, pp. 218\u2013234. Springer, Berlin, Heidelberg (2009)"},{"issue":"4","key":"278_CR20","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/1364644.1364651","volume":"35","author":"M Kwiatkowska","year":"2008","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Using probabilistic model checking in systems biology. ACM SIGMETRICS Perform. Eval. Rev. 35(4), 14\u201321 (2008)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"278_CR21","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1007\/11817963_39","volume-title":"Computer Aided Verification","author":"SK Lahiri","year":"2006","unstructured":"Lahiri, S.K., Nieuwenhuis, R., Oliveras, A.: SMT techniques for fast predicate abstraction. In: Ball, T., Jones, R.B. (eds.) Computer Aided Verification, pp. 424\u2013437. Springer, Berlin, Heidelberg (2006)"},{"issue":"12","key":"278_CR22","doi-asserted-by":"crossref","first-page":"i169","DOI":"10.1093\/bioinformatics\/btp200","volume":"25","author":"A Rizk","year":"2009","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12), i169\u2013i178 (2009)","journal-title":"Bioinformatics"},{"issue":"Suppl 6","key":"278_CR23","doi-asserted-by":"crossref","first-page":"S9","DOI":"10.1186\/1471-2105-8-S6-S9","volume":"8","author":"T Schlitt","year":"2007","unstructured":"Schlitt, T., Brazma, A.: Current approaches to gene regulatory network modelling. BMC Bioinform. 8(Suppl 6), S9 (2007)","journal-title":"BMC Bioinform."},{"issue":"3","key":"278_CR24","doi-asserted-by":"crossref","first-page":"1008","DOI":"10.1111\/j.1558-5646.1996.tb02342.x","volume":"50","author":"A Wagner","year":"1996","unstructured":"Wagner, A.: Does evolutionary plasticity evolve? Evolution 50(3), 1008\u20131023 (1996)","journal-title":"Evolution"},{"key":"278_CR25","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-642-38088-4_6","volume-title":"NASA Formal Methods","author":"B Yordanov","year":"2013","unstructured":"Yordanov, B., Wintersteiger, C.M., Hamadi, Y., Kugler, H.: SMT-based analysis of biological computation. In: Brat, G., Rungta, N., Venet, A. (eds.) NASA Formal Methods, pp. 78\u201392. Springer, Berlin, Heidelberg (2013)"},{"key":"278_CR26","unstructured":"Zhang, L., Madigan, C.F., Moskewicz, M.H., Malik, S.: Efficient conflict driven learning in a boolean satisfiability solver. In: Proceedings of the 2001 IEEE\/ACM International Conference on Computer-Aided Design, pp. 279\u2013285. IEEE Press (2001)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-016-0278-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0278-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0278-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0278-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T16:46:02Z","timestamp":1568306762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-016-0278-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,22]]},"references-count":26,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["278"],"URL":"https:\/\/doi.org\/10.1007\/s00236-016-0278-x","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,22]]}}}