{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T00:03:49Z","timestamp":1743552229337,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030603267"},{"type":"electronic","value":"9783030603274"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-60327-4_21","type":"book-chapter","created":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T22:38:31Z","timestamp":1601505511000},"page":"362-372","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["What is a Cell Cycle Checkpoint? The TotemBioNet Answer"],"prefix":"10.1007","author":[{"given":"D\u00e9borah","family":"Boyenval","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Bernot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e9l\u00e8ne","family":"Collavizza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Comet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,29]]},"reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-24732-6_12","volume-title":"Model Checking Software","author":"G Batt","year":"2004","unstructured":"Batt, G., Bergamini, D., de Jong, H., Garavel, H., Mateescu, R.: Model checking genetic regulatory networks using GNA and CADP. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 158\u2013163. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24732-6_12"},{"issue":"1","key":"21_CR2","doi-asserted-by":"publisher","first-page":"1640001","DOI":"10.1142\/S0219720016400011","volume":"14","author":"J Behaegel","year":"2016","unstructured":"Behaegel, J., Comet, J.P., Bernot, G., Cornillon, E., Delaunay, F.: A hybrid model of cell cycle in mammals. J. Bioinform. Comput. Biol. 14(1), 1640001 (2016)","journal-title":"J. Bioinform. Comput. Biol."},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.tcs.2018.02.003","volume":"765","author":"G Bernot","year":"2019","unstructured":"Bernot, G., Comet, J.P., Khalis, Z., Richard, A., Roux, O.F.: A genetically modified Hoare logic. Theor. Comput. Sci. 765, 145\u2013157 (2019)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"21_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. J. Theor. Biol. 229(3), 339\u2013347 (2004)","journal-title":"J. Theor. Biol."},{"key":"21_CR5","doi-asserted-by":"publisher","unstructured":"Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 149\u2013162. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36481-1_13","DOI":"10.1007\/3-540-36481-1_13"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., et al.: NuSMV 2: an OpenSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_29"},{"key":"21_CR7","doi-asserted-by":"publisher","unstructured":"Fages, F., Soliman, S.: On robustness computation and optimization in BIOCHAM-4. In: \u010ce\u0161vka, M., \u0160afr\u00e1nek, D. (eds.) CMSB 2018. LNCS, vol. 11095, pp. 292\u2013299. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99429-1_18","DOI":"10.1007\/978-3-319-99429-1_18"},{"key":"21_CR8","unstructured":"Folschette, M.: The Hoare-fol tool. Technical report, Univ. Lille & CNRS UMR 9189 (2019). https:\/\/hal.archives-ouvertes.fr\/hal-02409801"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Guziolowski, C., et al.: Exhaustively characterizing feasible logic models of a signaling network using answer set programming. Bioinformatics 30, 1942 (2013)","DOI":"10.1093\/bioinformatics\/btu357"},{"key":"21_CR10","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22(3), 437\u2013467 (1969)"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"680","DOI":"10.3389\/fphys.2018.00680","volume":"9","author":"A Naldi","year":"2018","unstructured":"Naldi, A., et al.: The CoLoMoTo interactive notebook. Front. Physiol. 9, 680 (2018)","journal-title":"Front. Physiol."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Remy, E., Ruet, P., Mendoza, L., Thieffry, D., Chaouiya, C.: From logical regulatory graphs to standard Petri nets: dynamical roles and functionality of feedback circuits. In: Transactions on Computational Systems Biology VII, pp. 56\u201372 (2006)","DOI":"10.1007\/11905455_3"},{"key":"21_CR13","unstructured":"Richard, A.: Fair Paths in CTL (2008). https:\/\/gitlab.com\/totembionet\/totembionet"},{"key":"21_CR14","unstructured":"Schwab, J., K\u00fchlwein, S., Ikonomi, N., K\u00fchl, M., Kestler, H.: Concepts in Boolean network modeling: what do they all mean? Comput. Struct. Biotechnol. J. 18, 571-582 (2020)"},{"key":"21_CR15","first-page":"189","volume":"4","author":"E Snoussi","year":"1989","unstructured":"Snoussi, E.: Qualitative dynamics of a piecewise-linear differential equations: a discrete mapping approach. Dyn. Stab. Syst. 4, 189\u2013207 (1989)","journal-title":"Dyn. Stab. Syst."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Streck, A., Thobe, K., Siebert, H.: Comparative statistical analysis of qualitative parametrization set, September 2015","DOI":"10.1007\/978-3-319-26916-0_2"},{"key":"21_CR17","unstructured":"Thomas, R.: Boolean formalization of genetic control circuits. J. Theor. Biol. 42(3), 563\u2013585 (1973)"},{"issue":"4","key":"21_CR18","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1016\/0022-5193(78)90127-3","volume":"73","author":"R Thomas","year":"1978","unstructured":"Thomas, R.: Logical analysis of systems comprising feedback loops. J. Theor. Biol. 73(4), 631\u201356 (1978)","journal-title":"J. Theor. Biol."},{"key":"21_CR19","unstructured":"Thomas, R., Gathoye, A., Lambert, L.: A complex control circuit. Regulation of immunity in temperate bacteriophages. Eur. J. Biochem. 71(1), 211\u2013227 (1976)"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-60327-4_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T21:46:01Z","timestamp":1619300761000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-60327-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030603267","9783030603274"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-60327-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"29 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Konstanz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2020.uni-saarland.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"73% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}