{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T10:51:23Z","timestamp":1768906283200,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642336355","type":"print"},{"value":"9783642336362","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33636-2_13","type":"book-chapter","created":{"date-parts":[[2012,9,27]],"date-time":"2012-09-27T19:25:48Z","timestamp":1348773948000},"page":"207-226","source":"Crossref","is-referenced-by-count":16,"title":["Parameter Identification and Model Ranking of Thomas Networks"],"prefix":"10.1007","author":[{"given":"Hannes","family":"Klarner","sequence":"first","affiliation":[]},{"given":"Adam","family":"Streck","sequence":"additional","affiliation":[]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[]},{"given":"Juraj","family":"Kol\u010d\u00e1k","sequence":"additional","affiliation":[]},{"given":"Heike","family":"Siebert","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)"},{"issue":"3","key":"13_CR2","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1109\/TCBB.2011.110","volume":"9","author":"J. Barnat","year":"2012","unstructured":"Barnat, J., Brim, L., Krejci, A., Streck, A., Safranek, D., Vejnar, M., Vejpustek, T.: On Parameter Synthesis by Parallel Model Checking. IEEE\/ACM Transactions on Computational Biology and Bioinformatics\u00a09(3), 693\u2013705 (2012)","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"issue":"18","key":"13_CR3","doi-asserted-by":"crossref","first-page":"i603","DOI":"10.1093\/bioinformatics\/btq387","volume":"26","author":"G. Batt","year":"2010","unstructured":"Batt, G., Page, M., Cantone, I., Goessler, G., Monteiro, P., de Jong, H.: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics\u00a026(18), i603\u2013i610 (2010)","journal-title":"Bioinformatics"},{"issue":"3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G. Bernot","year":"2004","unstructured":"Bernot, G., Comet, J.-P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: Extending Thomas\u2019 asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229(3), 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"13_CR5","series-title":"LNCIS","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-44928-7_17","volume-title":"Positive Systems","author":"C. Chaouiya","year":"2003","unstructured":"Chaouiya, C., Remy, E., Moss\u00e9, B., Thieffry, D.: Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework. In: Benvenuti, L., De Santis, A., Farina, L. (eds.) Positive Systems. LNCIS, vol.\u00a0294, pp. 119\u2013126. Springer, Heidelberg (2003)"},{"issue":"10","key":"13_CR6","doi-asserted-by":"publisher","first-page":"2366","DOI":"10.1038\/nprot.2007.324","volume":"2","author":"M. Cline","year":"2007","unstructured":"Cline, M., et al.: Integration of biological networks and gene expression data using Cytoscape. Nat. Protocols\u00a02(10), 2366\u20132382 (2007)","journal-title":"Nat. Protocols"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-28792-3_4","volume-title":"Information Processign in Cells and Tissues","author":"F. Corblin","year":"2012","unstructured":"Corblin, F., Fanchon, E., Trilling, L., Chaouiya, C., Thieffry, D.: Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data. In: Lones, M.A., Smith, S.L., Teichmann, S., Naef, F., Walker, J.A., Trefzer, M.A. (eds.) IPCAT 2012. LNCS, vol.\u00a07223, pp. 25\u201330. Springer, Heidelberg (2012)"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.biosystems.2009.07.007","volume":"98","author":"F. Corblin","year":"2009","unstructured":"Corblin, F., et al.: A declarative constraint-based method for analyzing discrete genetic regulatory networks. Biosystems\u00a098(2), 91\u2013104 (2009)","journal-title":"Biosystems"},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","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. Journal of Computational Biology\u00a09(1), 67\u2013103 (2002)","journal-title":"Journal of Computational Biology"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Faur\u00e9, A., Naldi, A., Chaouiya, C., Thieffry, D.: Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle. In: ISMB (Supplement of Bioinformatics) 2006, pp. 124\u2013131 (2006)","DOI":"10.1093\/bioinformatics\/btl210"},{"issue":"6","key":"13_CR11","doi-asserted-by":"publisher","first-page":"1913","DOI":"10.1073\/pnas.0705088105","volume":"105","author":"T. Helikar","year":"2008","unstructured":"Helikar, T., Konvalina, J., Heidel, J., Rogers, J.A.: Emergent decision-making in biological signal transduction networks. Proceedings of the National Academy of Sciences\u00a0105(6), 1913\u20131918 (2008)","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Klarner, H., Siebert, H., Bockmayr, A.: Time series dependent analysis of unparametrized thomas networks. IEEE\/ACM Transactions on Computational Biology and Bioinformatics\u00a099(PrePrints) (2012)","DOI":"10.1109\/TCBB.2012.61"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Klarner, H., Streck, A., Safranek, D., Kolcak, J., Siebert, H.: Parameter identification and model ranking of Thomas networks. Technical Report FIMU-RS-2012-03, Masaryk University (2012)","DOI":"10.1007\/978-3-642-33636-2_13"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Laubenbacher, R., Mendes, P.: A discrete approach to top-down modeling of biochemical networks. In: Kriete, A., Eils, R. (eds.) Computational Systems Biology, pp. 229\u2013247. Elsevier Academic Press (2005)","DOI":"10.1016\/B978-012088786-6\/50031-9"},{"issue":"4","key":"13_CR15","first-page":"408","volume":"10","author":"W.-P. Lee","year":"2009","unstructured":"Lee, W.-P., Tzou, W.-S.: Computational methods for discovering gene networks from expression data. Briefings in Bioinformatics\u00a010(4), 408\u2013423 (2009)","journal-title":"Briefings in Bioinformatics"},{"issue":"21","key":"13_CR16","doi-asserted-by":"publisher","first-page":"2207","DOI":"10.1016\/j.tcs.2010.10.021","volume":"412","author":"A. Naldi","year":"2011","unstructured":"Naldi, A., Remy, E., Thieffry, D., Chaouiya, C.: Dynamically consistent reduction of logical regulatory graphs. Theor. Comput. Sci.\u00a0412(21), 2207\u20132218 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR17","unstructured":"Richard, A.: SMBioNet-1.4 User manual (2005)"},{"issue":"2","key":"13_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/jtbi.2001.2335","volume":"211","author":"L. S\u00e1nchez","year":"2001","unstructured":"S\u00e1nchez, L., Thieffry, D.: A logical analysis of the drosophila gap-gene system. Journal of Theoretical Biology\u00a0211(2), 115\u2013141 (2001)","journal-title":"Journal of Theoretical Biology"},{"key":"13_CR19","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11885191_12","volume-title":"Computational Methods in Systems Biology","author":"H. Siebert","year":"2006","unstructured":"Siebert, H., Bockmayr, A.: Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 169\u2013183. Springer, Heidelberg (2006)"},{"key":"13_CR20","first-page":"277","volume":"57","author":"D. Thieffry","year":"1995","unstructured":"Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks II. Immunity control in bacteriophage lambda. Bulletin of Mathematical Biology\u00a057, 277\u2013297 (1995)","journal-title":"Bulletin of Mathematical Biology"},{"issue":"1","key":"13_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R. Thomas","year":"1991","unstructured":"Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. Journal of Theoretical Biology\u00a0153(1), 1\u201323 (1991)","journal-title":"Journal of Theoretical Biology"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33636-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:22:23Z","timestamp":1558300943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33636-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336355","9783642336362"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33636-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}