{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:51:11Z","timestamp":1743148271281,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466803"},{"type":"electronic","value":"9783662466810"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46681-0_47","type":"book-chapter","created":{"date-parts":[[2015,3,30]],"date-time":"2015-03-30T18:56:36Z","timestamp":1427741796000},"page":"469-483","source":"Crossref","is-referenced-by-count":10,"title":["Model Checking Gene Regulatory Networks"],"prefix":"10.1007","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","reference":[{"issue":"7080","key":"47_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1038\/nature04488","volume":"440","author":"R.B.R. 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\u00a0440(7080), 87\u201390 (2006)","journal-title":"Nature"},{"key":"47_CR2","unstructured":"Baier, C., Katoen, J.-P.: Principles of model checking, pp. 1\u2013975. MIT Press (2008)"},{"issue":"3","key":"47_CR3","doi-asserted-by":"publisher","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. Journal of Automated Reasoning\u00a050(3), 243\u2013277 (2013)","journal-title":"Journal of Automated Reasoning"},{"key":"47_CR4","first-page":"825","volume":"185","author":"C.W. Barrett","year":"2009","unstructured":"Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. Handbook of satisfiability\u00a0185, 825\u2013885 (2009)","journal-title":"Handbook of satisfiability"},{"key":"47_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 perspectives in algebraic combinatorics\u00a038, 91\u2013147 (1999)","journal-title":"New perspectives in algebraic combinatorics"},{"key":"47_CR6","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.\u00a04416, pp. 61\u201375. Springer, Heidelberg (2007)"},{"key":"47_CR7","doi-asserted-by":"publisher","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. Advances in computers\u00a058, 117\u2013148 (2003)","journal-title":"Advances in computers"},{"issue":"1","key":"47_CR8","doi-asserted-by":"publisher","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 Systems Biology\u00a08(1), 84 (2014)","journal-title":"BMC Systems Biology"},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Csik\u00e1sz-Nagy, A.: The cell cycle switch computes approximate majority. Scientific reports\u00a02 (2012)","DOI":"10.1038\/srep00656"},{"key":"47_CR10","doi-asserted-by":"crossref","unstructured":"Ciliberti, S., Martin, O.C., Wagner, A.: Robustness can evolve gradually in complex regulatory gene networks with varying topology. PLoS Computational Biology\u00a03(2) (2007)","DOI":"10.1371\/journal.pcbi.0030015"},{"issue":"6767","key":"47_CR11","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M.B. Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature\u00a0403(6767), 335\u2013338 (2000)","journal-title":"Nature"},{"issue":"11","key":"47_CR12","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnology\u00a025(11), 1239\u20131249 (2007)","journal-title":"Nature Biotechnology"},{"issue":"6767","key":"47_CR13","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1038\/35002131","volume":"403","author":"T.S. Gardner","year":"2000","unstructured":"Gardner, T.S., Cantor, C.R., Collins, J.J.: Construction of a genetic toggle switch in escherichia coli. Nature\u00a0403(6767), 339\u2013342 (2000)","journal-title":"Nature"},{"key":"47_CR14","unstructured":"Giacobbe, M., Guet, C.C., Gupta, A., Henzinger, T.A., Paixao, T., Petrov, T.: Model checking gene regulatory networks. arXiv preprint arXiv:1410.7704 (2014)"},{"key":"47_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"S.K. 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.) CMSB 2009. LNCS, vol.\u00a05688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"issue":"4","key":"47_CR16","doi-asserted-by":"publisher","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 Performance Evaluation Review\u00a035(4), 14\u201321 (2008)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"issue":"4","key":"47_CR17","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1016\/S0022-5193(03)00282-0","volume":"225","author":"T. MacCarthy","year":"2003","unstructured":"MacCarthy, T., Seymour, R., Pomiankowski, A.: The evolutionary potential of the drosophila sex determination gene network. Journal of Theoretical Biology\u00a0225(4), 461\u2013468 (2003)","journal-title":"Journal of Theoretical Biology"},{"issue":"26","key":"47_CR18","doi-asserted-by":"publisher","first-page":"2854","DOI":"10.1016\/j.tcs.2010.05.009","volume":"412","author":"R. Mateescu","year":"2011","unstructured":"Mateescu, R., Monteiro, P.T., Dumas, E., Jong, H.D.: Ctrl: Extension of ctl with regular expressions and fairness operators to verify genetic regulatory networks. Theoretical Computer Science\u00a0412(26), 2854\u20132883 (2011)","journal-title":"Theoretical Computer Science"},{"key":"47_CR19","doi-asserted-by":"crossref","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics\u00a025(12), i169\u2013i178 (2009)","DOI":"10.1093\/bioinformatics\/btp200"},{"key":"47_CR20","doi-asserted-by":"crossref","unstructured":"Schlitt, T., Brazma, A.: Current approaches to gene regulatory network modelling. BMC Bioinformatics\u00a08(Suppl 6), S9 (2007)","DOI":"10.1186\/1471-2105-8-S6-S9"},{"issue":"3","key":"47_CR21","doi-asserted-by":"publisher","first-page":"1008","DOI":"10.2307\/2410642","volume":"50","author":"A. Wagner","year":"1996","unstructured":"Wagner, A.: Does evolutionary plasticity evolve? Evolution,\u00a050(3), 1008\u20131023 (1996)","journal-title":"Evolution,"},{"key":"47_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) NFM 2013. LNCS, vol.\u00a07871, pp. 78\u201392. Springer, Heidelberg (2013)"},{"key":"47_CR23","unstructured":"Zhang, L., Madigan, C.F., Moskewicz, M.H., Malik, S.: Efficient conflict driven learning in a boolean satisfiability solver. In: Computer Aided Verification, pp. 279\u2013285. IEEE Press (2001)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46681-0_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:13:31Z","timestamp":1559139211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46681-0_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466803","9783662466810"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46681-0_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}