{"id":"https://openalex.org/W2117949454","doi":"https://doi.org/10.1093/bioinformatics/btn275","title":"Temporal logic patterns for querying dynamic models of cellular interaction networks","display_name":"Temporal logic patterns for querying dynamic models of cellular interaction networks","publication_year":2008,"publication_date":"2008-08-09","ids":{"openalex":"https://openalex.org/W2117949454","doi":"https://doi.org/10.1093/bioinformatics/btn275","mag":"2117949454","pmid":"https://pubmed.ncbi.nlm.nih.gov/18689830"},"language":"en","primary_location":{"id":"doi:10.1093/bioinformatics/btn275","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btn275","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/24/16/i227/49053291/bioinformatics_24_16_i227.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/24/16/i227/49053291/bioinformatics_24_16_i227.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025560387","display_name":"Pedro T. Monteiro","orcid":"https://orcid.org/0000-0002-7934-5495"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR","PT"],"is_corresponding":false,"raw_author_name":"Pedro T. Monteiro","raw_affiliation_strings":["1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France","Computer science and genomics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I100532134","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Computer science and genomics","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062022864","display_name":"Delphine Ropers","orcid":"https://orcid.org/0000-0003-2659-3003"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR","PT"],"is_corresponding":false,"raw_author_name":"Delphine Ropers","raw_affiliation_strings":["1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France","Computer science and genomics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I100532134","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Computer science and genomics","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109230703","display_name":"Radu Mateescu","orcid":null},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR","PT"],"is_corresponding":false,"raw_author_name":"Radu Mateescu","raw_affiliation_strings":["1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France","System validation - Research and applications"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I100532134","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"System validation - Research and applications","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083766796","display_name":"Ana T. Freitas","orcid":"https://orcid.org/0000-0002-2997-5990"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR","PT"],"is_corresponding":false,"raw_author_name":"Ana T. Freitas","raw_affiliation_strings":["1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France","Knowledge Discovery and Bioinformatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I100532134","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Knowledge Discovery and Bioinformatics","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054406248","display_name":"Hidde de Jong","orcid":"https://orcid.org/0000-0002-2226-650X"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR","PT"],"is_corresponding":true,"raw_author_name":"Hidde de Jong","raw_affiliation_strings":["1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France","Computer science and genomics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I100532134","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Computer science and genomics","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5054406248"],"corresponding_institution_ids":["https://openalex.org/I100532134","https://openalex.org/I121345201","https://openalex.org/I1326498283"],"apc_list":{"value":3618,"currency":"USD","value_usd":3618},"apc_paid":null,"fwci":5.3352,"has_fulltext":false,"cited_by_count":88,"citation_normalized_percentile":{"value":0.96437366,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"24","issue":"16","first_page":"i227","last_page":"i233"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9103999733924866,"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.9103999733924866,"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.025499999523162842,"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/T11445","display_name":"Origins and Evolution of Life","score":0.010400000028312206,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.782307505607605},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4533126652240753},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42199233174324036},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3353295922279358}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.782307505607605},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4533126652240753},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42199233174324036},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3353295922279358}],"mesh":[{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","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":false},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","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":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012986","descriptor_name":"Software Validation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012986","descriptor_name":"Software Validation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012986","descriptor_name":"Software Validation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D015398","descriptor_name":"Signal Transduction","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":false},{"descriptor_ui":"D015398","descriptor_name":"Signal Transduction","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":false},{"descriptor_ui":"D015398","descriptor_name":"Signal Transduction","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":false},{"descriptor_ui":"D016015","descriptor_name":"Logistic Models","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D016015","descriptor_name":"Logistic Models","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D016015","descriptor_name":"Logistic Models","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D020543","descriptor_name":"Proteome","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D020543","descriptor_name":"Proteome","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D020543","descriptor_name":"Proteome","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D025941","descriptor_name":"Protein Interaction Mapping","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D025941","descriptor_name":"Protein Interaction Mapping","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D025941","descriptor_name":"Protein Interaction Mapping","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false}],"locations_count":4,"locations":[{"id":"doi:10.1093/bioinformatics/btn275","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btn275","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/24/16/i227/49053291/bioinformatics_24_16_i227.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:18689830","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/18689830","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:inria-00260980v3","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00260980","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":"[Research Report] RR-6470, INRIA. 2008","raw_type":"Reports"},{"id":"pmh:oai:HAL:inria-00357805v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00357805","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, 2008, ECCB 2008 CONFERENCE PROCEEDINGS 22-26 SEPTEMBER 2008, CAGLIARI, ITALY, 24 (16), pp.i227-i233. ⟨10.1093/bioinformatics/btn275⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1093/bioinformatics/btn275","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btn275","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/24/16/i227/49053291/bioinformatics_24_16_i227.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":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2117949454.pdf"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W1489391022","https://openalex.org/W1507281497","https://openalex.org/W1511077922","https://openalex.org/W1512810258","https://openalex.org/W1566900355","https://openalex.org/W1601977376","https://openalex.org/W1649645444","https://openalex.org/W1972979138","https://openalex.org/W1975351609","https://openalex.org/W1986397618","https://openalex.org/W1988808695","https://openalex.org/W1996832037","https://openalex.org/W2031369606","https://openalex.org/W2034717053","https://openalex.org/W2037689113","https://openalex.org/W2049491928","https://openalex.org/W2066322491","https://openalex.org/W2075161553","https://openalex.org/W2090628795","https://openalex.org/W2092488734","https://openalex.org/W2116200832","https://openalex.org/W2121149194","https://openalex.org/W2131463591","https://openalex.org/W2134759932","https://openalex.org/W2150750144","https://openalex.org/W2340735175","https://openalex.org/W2769831113","https://openalex.org/W2798977449","https://openalex.org/W2913459036","https://openalex.org/W4205597578","https://openalex.org/W6629085924","https://openalex.org/W6630414264","https://openalex.org/W6630661613","https://openalex.org/W6633876618","https://openalex.org/W6649373835"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":{"MOTIVATION:":[0],"Models":[1],"of":[2,5,38,69,91,95,103,107,110,126],"the":[3,45,67,92,101,108,114,124,127],"dynamics":[4],"cellular":[6],"interaction":[7],"networks":[8],"have":[9],"become":[10],"increasingly":[11],"larger":[12],"in":[13,32,54,118],"recent":[14],"years.":[15],"Formal":[16],"verification":[17],"based":[18],"on":[19],"model":[20,106,125],"checking":[21],"provides":[22],"a":[23],"powerful":[24],"technology":[25],"to":[26,50,60],"keep":[27],"up":[28],"with":[29,62],"this":[30,63],"increase":[31],"scale":[33],"and":[34,81,123],"complexity.":[35],"The":[36,89],"application":[37],"modelchecking":[39],"approaches":[40],"is":[41],"hampered,":[42],"however,":[43],"by":[44,100],"difficulty":[46],"for":[47],"nonexpert":[48],"users":[49],"formulate":[51],"appropriate":[52],"questions":[53,80],"temporal":[55,87],"logic.":[56,88],"RESULTS:":[57],"In":[58],"order":[59],"deal":[61],"problem,":[64],"we":[65],"propose":[66],"use":[68],"patterns,":[70],"that":[71,76],"is,":[72],"high-level":[73],"query":[74],"templates":[75],"capture":[77],"recurring":[78],"biological":[79],"can":[82],"be":[83],"automatically":[84],"translated":[85],"into":[86],"applicability":[90],"developed":[93],"set":[94],"patterns":[96],"has":[97],"been":[98],"investigated":[99],"analysis":[102],"an":[104],"extended":[105],"network":[109,131],"global":[111],"regulators":[112],"controlling":[113],"carbon":[115,128],"starvation":[116,129],"response":[117,130],"Escherichia":[119],"coli.":[120],"AVAILABILITY:":[121],"GNA":[122],"are":[132],"available":[133],"at":[134],"http://www-helix.inrialpes.fr/gna.":[135]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":8}],"updated_date":"2026-06-16T07:32:37.131356","created_date":"2025-10-10T00:00:00"}