{"id":"https://openalex.org/W2403247061","doi":"https://doi.org/10.2390/biecoll-jib-2013-216","title":"Modular analysis of gene networks by linear temporal logic","display_name":"Modular analysis of gene networks by linear temporal logic","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2403247061","doi":"https://doi.org/10.2390/biecoll-jib-2013-216","mag":"2403247061","pmid":"https://pubmed.ncbi.nlm.nih.gov/23525897"},"language":"en","primary_location":{"id":"pmid:23525897","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/23525897","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":"Journal of integrative bioinformatics","raw_type":"Journal Article"},"type":"article","indexed_in":["datacite","pubmed"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.2390/biecoll-jib-2013-216","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086778134","display_name":"Sohei Ito","orcid":"https://orcid.org/0000-0002-7029-664X"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ito, Sohei","raw_affiliation_strings":["The University of Tokyo, 7-3-1, Hongo, Bunkyo-Ku, Tokyo, 113-8656, JAPAN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Tokyo, 7-3-1, Hongo, Bunkyo-Ku, Tokyo, 113-8656, JAPAN","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080302093","display_name":"Takuma Ichinose","orcid":null},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ichinose, Takuma","raw_affiliation_strings":["2Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo, 152-8552, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"2Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo, 152-8552, Japan","institution_ids":["https://openalex.org/I114531698"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016472438","display_name":"Masaya Shimakawa","orcid":null},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shimakawa, Masaya","raw_affiliation_strings":["2Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo, 152-8552, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"2Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo, 152-8552, Japan","institution_ids":["https://openalex.org/I114531698"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009330111","display_name":"Naoko Izumi","orcid":null},"institutions":[{"id":"https://openalex.org/I36475266","display_name":"Jumonji University","ror":"https://ror.org/03068df82","country_code":"JP","type":"education","lineage":["https://openalex.org/I36475266"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Izumi, Naoko","raw_affiliation_strings":["3Jumonji University, 2-1-28 Sugasawa, Niiza, Saitama 352-8510, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"3Jumonji University, 2-1-28 Sugasawa, Niiza, Saitama 352-8510, Japan","institution_ids":["https://openalex.org/I36475266"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088859890","display_name":"Shigeki Hagihara","orcid":"https://orcid.org/0000-0002-9094-6398"},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hagihara, Shigeki","raw_affiliation_strings":["2Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo, 152-8552, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"2Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo, 152-8552, Japan","institution_ids":["https://openalex.org/I114531698"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058739699","display_name":"Naoki Yonezaki","orcid":null},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yonezaki, Naoki","raw_affiliation_strings":["2Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo, 152-8552, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"2Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo, 152-8552, Japan","institution_ids":["https://openalex.org/I114531698"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4123,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.6446745,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"10","issue":"2","first_page":"216","last_page":"216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9998000264167786,"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.9998000264167786,"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/T10887","display_name":"Bioinformatics and Genomic Networks","score":0.9970999956130981,"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.992900013923645,"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/modular-design","display_name":"Modular design","score":0.8846753239631653},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7283473014831543},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7095606327056885},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5727330446243286},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5548391342163086},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.52532958984375},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.48321378231048584},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.4676961898803711},{"id":"https://openalex.org/keywords/network-analysis","display_name":"Network analysis","score":0.4234994649887085},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34027108550071716},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16374310851097107}],"concepts":[{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.8846753239631653},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7283473014831543},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7095606327056885},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5727330446243286},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5548391342163086},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.52532958984375},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.48321378231048584},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.4676961898803711},{"id":"https://openalex.org/C32946077","wikidata":"https://www.wikidata.org/wiki/Q618079","display_name":"Network analysis","level":2,"score":0.4234994649887085},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34027108550071716},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16374310851097107},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[{"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":"D004926","descriptor_name":"Escherichia coli","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D004926","descriptor_name":"Escherichia coli","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D004926","descriptor_name":"Escherichia coli","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D005798","descriptor_name":"Genes, Bacterial","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D005798","descriptor_name":"Genes, Bacterial","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D005798","descriptor_name":"Genes, Bacterial","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008957","descriptor_name":"Models, Genetic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008957","descriptor_name":"Models, Genetic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008957","descriptor_name":"Models, Genetic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D011550","descriptor_name":"Pseudomonas aeruginosa","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D011550","descriptor_name":"Pseudomonas aeruginosa","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D011550","descriptor_name":"Pseudomonas aeruginosa","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D013997","descriptor_name":"Time Factors","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D013997","descriptor_name":"Time Factors","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D013997","descriptor_name":"Time Factors","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D015964","descriptor_name":"Gene Expression Regulation, Bacterial","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D015964","descriptor_name":"Gene Expression Regulation, Bacterial","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D015964","descriptor_name":"Gene Expression Regulation, Bacterial","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D053263","descriptor_name":"Gene Regulatory Networks","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D053263","descriptor_name":"Gene Regulatory Networks","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D053263","descriptor_name":"Gene Regulatory Networks","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true}],"locations_count":3,"locations":[{"id":"pmid:23525897","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/23525897","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":"Journal of integrative bioinformatics","raw_type":"Journal Article"},{"id":"pmh:oai:biecoll.ub.uni-bielefeld.de:5262","is_oa":false,"landing_page_url":"http://biecoll.ub.uni-bielefeld.de/volltexte/2013/5262/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://journal.imbio.de/article.php?aid=216","raw_type":"Journal Article"},{"id":"doi:10.2390/biecoll-jib-2013-216","is_oa":true,"landing_page_url":"https://doi.org/10.2390/biecoll-jib-2013-216","pdf_url":null,"source":{"id":"https://openalex.org/S4306401671","display_name":"PUB \u2013 Publications at Bielefeld University (Bielefeld University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20121455","host_organization_name":"Bielefeld University","host_organization_lineage":["https://openalex.org/I20121455"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.2390/biecoll-jib-2013-216","is_oa":true,"landing_page_url":"https://doi.org/10.2390/biecoll-jib-2013-216","pdf_url":null,"source":{"id":"https://openalex.org/S4306401671","display_name":"PUB \u2013 Publications at Bielefeld University (Bielefeld University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20121455","host_organization_name":"Bielefeld University","host_organization_lineage":["https://openalex.org/I20121455"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5400270120","display_name":"Extracting information for correction of flaws from embedded system specification of practical scale by formal method","funder_award_id":"24500032","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1492903765","https://openalex.org/W1507116188","https://openalex.org/W1513569578","https://openalex.org/W1590266960","https://openalex.org/W1599969036","https://openalex.org/W1612453857","https://openalex.org/W1894649842","https://openalex.org/W1990609140","https://openalex.org/W1998767819","https://openalex.org/W2000555599","https://openalex.org/W2001661334","https://openalex.org/W2003227046","https://openalex.org/W2013805271","https://openalex.org/W2016206563","https://openalex.org/W2028133290","https://openalex.org/W2052835655","https://openalex.org/W2061425021","https://openalex.org/W2065782501","https://openalex.org/W2074906123","https://openalex.org/W2091117137","https://openalex.org/W2121149194","https://openalex.org/W2129388048","https://openalex.org/W2131463591","https://openalex.org/W2146980885"],"related_works":["https://openalex.org/W2013878945","https://openalex.org/W127483730","https://openalex.org/W1543261728","https://openalex.org/W1600588018","https://openalex.org/W1546948343","https://openalex.org/W2963538936","https://openalex.org/W654277524","https://openalex.org/W4241935910","https://openalex.org/W2403247061","https://openalex.org/W1412518142"],"abstract_inverted_index":{"Despite":[0],"a":[1,37,49,98,116,124],"lot":[2],"of":[3,70,78,85,97,115,123],"advances":[4],"in":[5,66,94,109],"biology":[6],"and":[7,18,22,138],"genomics,":[8],"it":[9,101],"is":[10,57,73,102],"still":[11],"difficult":[12,103],"to":[13,20,28,75,104,120],"utilise":[14],"such":[15],"valuable":[16],"knowledge":[17],"information":[19],"understand":[21],"analyse":[23,48,105],"large":[24,50,106],"biological":[25],"systems":[26],"due":[27],"high":[29],"computational":[30,131],"complexity.":[31],"In":[32],"this":[33,110,130],"paper":[34],"we":[35,47,141],"propose":[36],"modular":[38,127,145],"method":[39,56,111,128],"with":[40],"which":[41,67],"from":[42,143],"several":[43],"small":[44],"network":[45,51],"analyses":[46],"by":[52,64],"integrating":[53],"them.":[54],"This":[55],"based":[58],"on":[59],"the":[60,95,113,121,144],"qualitative":[61],"framework":[62],"proposed":[63],"authors":[65],"an":[68],"analysis":[69,146],"gene":[71],"networks":[72,107],"reduced":[74],"checking":[76,90],"satisfiability":[77,89],"linear":[79,86],"temporal":[80,87],"logic":[81,88],"formulae.":[82],"The":[83,126],"problem":[84],"needs":[91],"exponential":[92],"time":[93],"size":[96,114,122],"formula.":[99],"Thus":[100],"directly":[108],"since":[112],"formula":[117],"grows":[118],"linearly":[119],"network.":[125],"alleviates":[129],"difficulty.":[132],"We":[133],"show":[134],"some":[135],"experimental":[136],"results":[137],"see":[139],"how":[140],"benefit":[142],"method.":[147]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":5},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}