{"id":"https://openalex.org/W2509721407","doi":"https://doi.org/10.1093/bioinformatics/btw457","title":"Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation","display_name":"Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation","publication_year":2016,"publication_date":"2016-08-29","ids":{"openalex":"https://openalex.org/W2509721407","doi":"https://doi.org/10.1093/bioinformatics/btw457","mag":"2509721407","pmid":"https://pubmed.ncbi.nlm.nih.gov/27587700"},"language":"en","primary_location":{"id":"doi:10.1093/bioinformatics/btw457","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btw457","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/32/17/i772/24151352/btw457.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://academic.oup.com/bioinformatics/article-pdf/32/17/i772/24151352/btw457.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021141408","display_name":"Pauline Traynard","orcid":"https://orcid.org/0000-0002-4835-9114"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I154526488","display_name":"Inserm","ror":"https://ror.org/02vjkv261","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4210126360","display_name":"Centre Inria de Saclay","ror":"https://ror.org/0315e5x55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210126360"]},{"id":"https://openalex.org/I4210129409","display_name":"Institut de Biologie de l'\u00c9cole Normale Sup\u00e9rieure","ror":"https://ror.org/03mxktp47","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210096427","https://openalex.org/I4210129409"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pauline Traynard","raw_affiliation_strings":["Computational Systems Biology Team, Institut de Biologie de L\u2019Ecole Normale Sup\u00e9rieure (IBENS), CNRS, Inserm, Ecole Normale Sup\u00e9rieure, PSL Research University, Paris, France","EPI Lifeware, Inria Inria Saclay Ile-de-France, Palaiseau, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computational Systems Biology Team, Institut de Biologie de L\u2019Ecole Normale Sup\u00e9rieure (IBENS), CNRS, Inserm, Ecole Normale Sup\u00e9rieure, PSL Research University, Paris, France","institution_ids":["https://openalex.org/I4210129409","https://openalex.org/I154526488","https://openalex.org/I29607241","https://openalex.org/I2746051580","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"EPI Lifeware, Inria Inria Saclay Ile-de-France, Palaiseau, France","institution_ids":["https://openalex.org/I4210126360"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035962405","display_name":"Adrien Faur\u00e9","orcid":"https://orcid.org/0000-0002-9540-3392"},"institutions":[{"id":"https://openalex.org/I173915773","display_name":"Yamaguchi University","ror":"https://ror.org/03cxys317","country_code":"JP","type":"education","lineage":["https://openalex.org/I173915773"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Adrien Faur\u00e9","raw_affiliation_strings":["Graduate School of Science and Engineering, Yamaguchi University, Yamaguchi, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Science and Engineering, Yamaguchi University, Yamaguchi, Japan","institution_ids":["https://openalex.org/I173915773"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000983836","display_name":"Fran\u00e7ois Fages","orcid":"https://orcid.org/0000-0001-5650-8266"},"institutions":[{"id":"https://openalex.org/I4210126360","display_name":"Centre Inria de Saclay","ror":"https://ror.org/0315e5x55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210126360"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fran\u00e7ois Fages","raw_affiliation_strings":["EPI Lifeware, Inria Inria Saclay Ile-de-France, Palaiseau, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPI Lifeware, Inria Inria Saclay Ile-de-France, Palaiseau, France","institution_ids":["https://openalex.org/I4210126360"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081933836","display_name":"Denis Thieffry","orcid":"https://orcid.org/0000-0003-0271-1757"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I154526488","display_name":"Inserm","ror":"https://ror.org/02vjkv261","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4210126360","display_name":"Centre Inria de Saclay","ror":"https://ror.org/0315e5x55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210126360"]},{"id":"https://openalex.org/I4210129409","display_name":"Institut de Biologie de l'\u00c9cole Normale Sup\u00e9rieure","ror":"https://ror.org/03mxktp47","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210096427","https://openalex.org/I4210129409"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Denis Thieffry","raw_affiliation_strings":["Computational Systems Biology Team, Institut de Biologie de L\u2019Ecole Normale Sup\u00e9rieure (IBENS), CNRS, Inserm, Ecole Normale Sup\u00e9rieure, PSL Research University, Paris, France","EPI Lifeware, Inria Inria Saclay Ile-de-France, Palaiseau, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computational Systems Biology Team, Institut de Biologie de L\u2019Ecole Normale Sup\u00e9rieure (IBENS), CNRS, Inserm, Ecole Normale Sup\u00e9rieure, PSL Research University, Paris, France","institution_ids":["https://openalex.org/I4210129409","https://openalex.org/I154526488","https://openalex.org/I29607241","https://openalex.org/I2746051580","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"EPI Lifeware, Inria Inria Saclay Ile-de-France, Palaiseau, France","institution_ids":["https://openalex.org/I4210126360"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5081933836"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210126360","https://openalex.org/I4210129409"],"apc_list":{"value":3618,"currency":"USD","value_usd":3618},"apc_paid":null,"fwci":2.4376,"has_fulltext":false,"cited_by_count":50,"citation_normalized_percentile":{"value":0.89063468,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"32","issue":"17","first_page":"i772","last_page":"i780"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.8618000149726868,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.8618000149726868,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.016599999740719795,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10222","display_name":"Genomics and Chromatin Dynamics","score":0.014999999664723873,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.698663055896759},{"id":"https://openalex.org/keywords/logical-data-model","display_name":"Logical data model","score":0.6611195206642151},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6376944780349731},{"id":"https://openalex.org/keywords/cell-cycle","display_name":"Cell cycle","score":0.501013994216919},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47092217206954956},{"id":"https://openalex.org/keywords/computational-biology","display_name":"Computational biology","score":0.3735140264034271},{"id":"https://openalex.org/keywords/biological-system","display_name":"Biological system","score":0.3403398096561432},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3282608687877655},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.23936516046524048},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2285138964653015},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.19151708483695984},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.1896395981311798},{"id":"https://openalex.org/keywords/cell","display_name":"Cell","score":0.16669130325317383}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.698663055896759},{"id":"https://openalex.org/C203702819","wikidata":"https://www.wikidata.org/wiki/Q17146953","display_name":"Logical data model","level":3,"score":0.6611195206642151},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6376944780349731},{"id":"https://openalex.org/C29537977","wikidata":"https://www.wikidata.org/wiki/Q188941","display_name":"Cell cycle","level":3,"score":0.501013994216919},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47092217206954956},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.3735140264034271},{"id":"https://openalex.org/C186060115","wikidata":"https://www.wikidata.org/wiki/Q30336093","display_name":"Biological system","level":1,"score":0.3403398096561432},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3282608687877655},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.23936516046524048},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2285138964653015},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.19151708483695984},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.1896395981311798},{"id":"https://openalex.org/C1491633281","wikidata":"https://www.wikidata.org/wiki/Q7868","display_name":"Cell","level":2,"score":0.16669130325317383},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D000818","descriptor_name":"Animals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000818","descriptor_name":"Animals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000818","descriptor_name":"Animals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D002453","descriptor_name":"Cell Cycle","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D002453","descriptor_name":"Cell Cycle","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D002453","descriptor_name":"Cell Cycle","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008322","descriptor_name":"Mammals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008322","descriptor_name":"Mammals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008322","descriptor_name":"Mammals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false}],"locations_count":4,"locations":[{"id":"doi:10.1093/bioinformatics/btw457","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btw457","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/32/17/i772/24151352/btw457.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},{"id":"pmid:27587700","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/27587700","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics (Oxford, England)","raw_type":null},{"id":"pmh:oai:HAL:hal-01378465v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01378465","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bioinformatics, 2016, 32 (17), pp.i772-i780. ⟨10.1093/bioinformatics/btw457⟩","raw_type":"Journal articles"},{"id":"pmh:oai:open-archive.highwire.org:bioinfo:32/17/i772","is_oa":false,"landing_page_url":"http://bioinformatics.oxfordjournals.org/cgi/content/short/32/17/i772","pdf_url":null,"source":{"id":"https://openalex.org/S4406923041","display_name":"HighWire Press Open Archive","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"TEXT"}],"best_oa_location":{"id":"doi:10.1093/bioinformatics/btw457","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btw457","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/32/17/i772/24151352/btw457.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5099999904632568,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G3451378258","display_name":"Hybrid Formal Modelling of Time for Circadian Clock Biology and Chronopharmacology","funder_award_id":"ANR-14-CE09-0011","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W58125149","https://openalex.org/W1270845237","https://openalex.org/W1489391022","https://openalex.org/W1532361198","https://openalex.org/W1914412773","https://openalex.org/W1966383348","https://openalex.org/W1969154599","https://openalex.org/W1969727436","https://openalex.org/W1970096724","https://openalex.org/W1977198605","https://openalex.org/W1986759841","https://openalex.org/W1986960362","https://openalex.org/W1996931202","https://openalex.org/W1998798121","https://openalex.org/W1999330214","https://openalex.org/W2004006412","https://openalex.org/W2004497068","https://openalex.org/W2009307226","https://openalex.org/W2011075906","https://openalex.org/W2019630846","https://openalex.org/W2031369606","https://openalex.org/W2035233115","https://openalex.org/W2041289840","https://openalex.org/W2041652145","https://openalex.org/W2044583546","https://openalex.org/W2046281923","https://openalex.org/W2046538693","https://openalex.org/W2052540412","https://openalex.org/W2053961182","https://openalex.org/W2056040174","https://openalex.org/W2056164539","https://openalex.org/W2075269458","https://openalex.org/W2080921790","https://openalex.org/W2091841161","https://openalex.org/W2097144068","https://openalex.org/W2102628825","https://openalex.org/W2112651905","https://openalex.org/W2114342401","https://openalex.org/W2119874496","https://openalex.org/W2120709000","https://openalex.org/W2131029596","https://openalex.org/W2131463591","https://openalex.org/W2132935366","https://openalex.org/W2136977672","https://openalex.org/W2137590391","https://openalex.org/W2139391027","https://openalex.org/W2142400903","https://openalex.org/W2151962896","https://openalex.org/W2152028923","https://openalex.org/W2154281042","https://openalex.org/W2157947216","https://openalex.org/W2163931326","https://openalex.org/W2269418830","https://openalex.org/W2297772255","https://openalex.org/W2340735175","https://openalex.org/W2436013910"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W4235160909","https://openalex.org/W2041209185","https://openalex.org/W1484021165","https://openalex.org/W3021865842","https://openalex.org/W2542590036","https://openalex.org/W2196991573","https://openalex.org/W4289687320","https://openalex.org/W925418074","https://openalex.org/W2119610731"],"abstract_inverted_index":{"MOTIVATION:":[0],"Understanding":[1],"the":[2,10,20,30,50,55,62,73,89,95,113,121,127,135,139,158,163],"temporal":[3],"behaviour":[4],"of":[5,12,22,32,57,64,72,86,91,97,124,130],"biological":[6],"regulatory":[7,33,52],"networks":[8],"requires":[9],"integration":[11],"molecular":[13,74],"information":[14],"into":[15],"a":[16,26,69,83],"formal":[17],"model.":[18],"However,":[19],"analysis":[21,85],"model":[23,51,71,87,92,110,159],"dynamics":[24],"faces":[25],"combinatorial":[27],"explosion":[28],"as":[29],"number":[31],"components":[34],"and":[35,94,100,126,132,149],"interactions":[36],"increases.":[37],"RESULTS:":[38],"We":[39,60],"use":[40],"model-checking":[41],"techniques":[42],"to":[43],"verify":[44],"sophisticated":[45],"dynamical":[46],"properties":[47],"resulting":[48,108],"from":[49],"structure":[53],"in":[54,157],"absence":[56],"kinetic":[58],"assumption.":[59],"demonstrate":[61],"power":[63],"this":[65],"approach":[66,81],"by":[67],"analysing":[68],"logical":[70,109],"network":[75],"controlling":[76],"mammalian":[77,151],"cell":[78,118,140,152],"cycle.":[79],"This":[80],"enables":[82],"systematic":[84],"properties,":[88],"delineation":[90],"limitations,":[93],"assessment":[96],"various":[98],"refinements":[99],"extensions":[101],"based":[102],"on":[103],"recent":[104],"experimental":[105],"observations.":[106],"The":[107,147],"accounts":[111],"for":[112,138],"main":[114],"irreversible":[115],"transitions":[116],"between":[117],"cycle":[119,141,153],"phases,":[120],"sequential":[122],"activation":[123],"cyclins,":[125],"inhibitory":[128],"role":[129,137],"Skp2,":[131],"further":[133],"emphasizes":[134],"multifunctional":[136],"inhibitor":[142],"Rb.":[143],"AVAILABILITY":[144],"AND":[145],"IMPLEMENTATION:":[146],"original":[148],"revised":[150],"models":[154],"are":[155,175],"available":[156,176],"repository":[160],"associated":[161],"with":[162],"public":[164],"modelling":[165],"software":[166],"GINsim":[167],"(http://ginsim.org/node/189).":[168],"CONTACT:":[169],"thieffry@ens.fr":[170],"SUPPLEMENTARY":[171],"INFORMATION:":[172],"Supplementary":[173],"data":[174],"at":[177],"Bioinformatics":[178],"online.":[179]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":11},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":7},{"year":2016,"cited_by_count":2}],"updated_date":"2026-06-22T08:00:12.763002","created_date":"2025-10-10T00:00:00"}