{"id":"https://openalex.org/W2387771766","doi":"https://doi.org/10.1016/j.biosystems.2016.03.012","title":"Automated Synthesis and Analysis of Switching Gene Regulatory Networks","display_name":"Automated Synthesis and Analysis of Switching Gene Regulatory Networks","publication_year":2016,"publication_date":"2016-05-10","ids":{"openalex":"https://openalex.org/W2387771766","doi":"https://doi.org/10.1016/j.biosystems.2016.03.012","mag":"2387771766","pmid":"https://pubmed.ncbi.nlm.nih.gov/27178783"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.biosystems.2016.03.012","pdf_url":null,"source":{"id":"https://openalex.org/S99347777","display_name":"Biosystems","issn_l":"0303-2647","issn":["0303-2647","1872-8324"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.biosystems.2016.03.012","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006953572","display_name":"Yoli Shavit","orcid":"https://orcid.org/0000-0002-3393-6070"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Yoli Shavit","raw_affiliation_strings":["Microsoft Research, UK","University of Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078251798","display_name":"Boyan Yordanov","orcid":"https://orcid.org/0000-0002-4149-6220"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Boyan Yordanov","raw_affiliation_strings":["Microsoft Research, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018785790","display_name":"Sara-Jane Dunn","orcid":"https://orcid.org/0000-0003-3062-7923"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sara-Jane Dunn","raw_affiliation_strings":["Microsoft Research, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016596256","display_name":"Christoph M. Wintersteiger","orcid":"https://orcid.org/0000-0003-0102-4381"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Christoph M. Wintersteiger","raw_affiliation_strings":["Microsoft Research, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089964133","display_name":"Tomoki Otani","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tomoki Otani","raw_affiliation_strings":["University of Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070568220","display_name":"Youssef Hamadi","orcid":"https://orcid.org/0000-0002-8560-2443"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Youssef Hamadi","raw_affiliation_strings":["Microsoft Research, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086843415","display_name":"Frederick J. Livesey","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Frederick J. Livesey","raw_affiliation_strings":["University of Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009333472","display_name":"Hillel Kugler","orcid":"https://orcid.org/0000-0001-7924-5665"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]},{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]}],"countries":["GB","IL"],"is_corresponding":true,"raw_author_name":"Hillel Kugler","raw_affiliation_strings":["Bar-Ilan University, Israel","Microsoft Research, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]},{"raw_affiliation_string":"Bar-Ilan University, Israel","institution_ids":["https://openalex.org/I13955877"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5009333472"],"corresponding_institution_ids":["https://openalex.org/I4210164937","https://openalex.org/I13955877"],"apc_list":{"value":2700,"currency":"USD","value_usd":2700,"provenance":"doaj"},"apc_paid":{"value":2700,"currency":"USD","value_usd":2700,"provenance":"doaj"},"fwci":0.831,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":15,"citation_normalized_percentile":{"value":0.742704,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"146","issue":null,"first_page":"26","last_page":"34"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9999,"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.9999,"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.9887,"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/T10505","display_name":"Pluripotent Stem Cells Research","score":0.9883,"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/gene-regulatory-network","display_name":"Gene regulatory network","score":0.73827267},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability Modulo Theories","score":0.56213915},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.48953733}],"concepts":[{"id":"https://openalex.org/C67339327","wikidata":"https://www.wikidata.org/wiki/Q1502576","display_name":"Gene regulatory network","level":4,"score":0.73827267},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7183274},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.57161456},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.56213915},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5480854},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5343997},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.52257144},{"id":"https://openalex.org/C28225019","wikidata":"https://www.wikidata.org/wiki/Q4915005","display_name":"Biological network","level":2,"score":0.5083067},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.48953733},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41181874},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38386256},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3709003},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.17644048},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.14754379},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.13768047},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.13482442},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12927985},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09393743},{"id":"https://openalex.org/C150194340","wikidata":"https://www.wikidata.org/wiki/Q26972","display_name":"Gene expression","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":"","qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D002454","descriptor_name":"Cell Differentiation","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":true},{"descriptor_ui":"D019295","descriptor_name":"Computational Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":true},{"descriptor_ui":"D053263","descriptor_name":"Gene Regulatory Networks","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":true},{"descriptor_ui":"D008957","descriptor_name":"Models, Genetic","qualifier_ui":"","qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000818","descriptor_name":"Animals","qualifier_ui":"","qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D002454","descriptor_name":"Cell Differentiation","qualifier_ui":"","qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D019295","descriptor_name":"Computational Biology","qualifier_ui":"","qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":"","qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D053263","descriptor_name":"Gene Regulatory Networks","qualifier_ui":"","qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":"","qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D009415","descriptor_name":"Nerve Net","qualifier_ui":"","qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D009415","descriptor_name":"Nerve Net","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D009474","descriptor_name":"Neurons","qualifier_ui":"","qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D009474","descriptor_name":"Neurons","qualifier_ui":"Q000166","qualifier_name":"cytology","is_major_topic":false},{"descriptor_ui":"D009474","descriptor_name":"Neurons","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false}],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.biosystems.2016.03.012","pdf_url":null,"source":{"id":"https://openalex.org/S99347777","display_name":"Biosystems","issn_l":"0303-2647","issn":["0303-2647","1872-8324"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/27178783","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":["National Institutes of Health"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.biosystems.2016.03.012","pdf_url":null,"source":{"id":"https://openalex.org/S99347777","display_name":"Biosystems","issn_l":"0303-2647","issn":["0303-2647","1872-8324"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.54}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":34,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1502207813","https://openalex.org/W1563476066","https://openalex.org/W1569566007","https://openalex.org/W1646375995","https://openalex.org/W1759934887","https://openalex.org/W1787074469","https://openalex.org/W1908456226","https://openalex.org/W1970208077","https://openalex.org/W1971224531","https://openalex.org/W1979349468","https://openalex.org/W1989921625","https://openalex.org/W1997116991","https://openalex.org/W2003003919","https://openalex.org/W2011835017","https://openalex.org/W2024000011","https://openalex.org/W2031285837","https://openalex.org/W2044646840","https://openalex.org/W2065782501","https://openalex.org/W2068838691","https://openalex.org/W2102158172","https://openalex.org/W2113273949","https://openalex.org/W2117489143","https://openalex.org/W2118421198","https://openalex.org/W2124289307","https://openalex.org/W2126877057","https://openalex.org/W2142277116","https://openalex.org/W2147851100","https://openalex.org/W2148895036","https://openalex.org/W2157523980","https://openalex.org/W2311221011","https://openalex.org/W2472758899","https://openalex.org/W2611370172","https://openalex.org/W4230984477"],"related_works":["https://openalex.org/W3163717165","https://openalex.org/W2806770614","https://openalex.org/W2791736663","https://openalex.org/W249159571","https://openalex.org/W2131550814","https://openalex.org/W2130939068","https://openalex.org/W2129949791","https://openalex.org/W2114466827","https://openalex.org/W2029535096","https://openalex.org/W1710460698"],"abstract_inverted_index":{"Studying":[0],"the":[1,39,51,72,82,91,131,172,181],"gene":[2],"regulatory":[3],"networks":[4],"(GRNs)":[5],"that":[6,53,97,119],"govern":[7],"how":[8,154],"cells":[9,66],"change":[10,60],"into":[11],"specific":[12],"cell":[13,110,150],"types":[14],"with":[15],"unique":[16],"roles":[17],"throughout":[18],"development":[19],"is":[20,157],"an":[21],"active":[22],"area":[23],"of":[24,46,74,86,94,104,109,135,142,149,174],"experimental":[25,107],"research.":[26],"The":[27],"fate":[28,178],"specification":[29,179],"process":[30],"can":[31],"be":[32],"viewed":[33],"as":[34,65],"a":[35,44,102,114,140,160,167],"biological":[36,147,163],"program":[37],"prescribing":[38],"system":[40],"dynamics,":[41],"governed":[42],"by":[43,138,165],"network":[45,87,169],"genetic":[47],"interactions.":[48],"To":[49],"investigate":[50],"possibility":[52],"GRNs":[54],"are":[55,98],"not":[56],"fixed":[57],"but":[58],"rather":[59],"their":[61],"topology,":[62],"for":[63],"example":[64],"progress":[67],"through":[68],"commitment,":[69],"we":[70],"introduce":[71],"concept":[73],"Switching":[75],"Gene":[76],"Regulatory":[77],"Networks":[78],"(SGRNs)":[79],"to":[80,100,116,159],"enable":[81],"modelling":[83],"and":[84,129,133,177],"analysis":[85],"reconfiguration.":[88],"We":[89,112,152],"define":[90],"synthesis":[92],"problem":[93,118],"constructing":[95],"SGRNs":[96],"guaranteed":[99],"satisfy":[101],"set":[103,141],"constraints":[105],"representing":[106],"observations":[108],"behaviour.":[111],"propose":[113],"solution":[115],"this":[117],"employs":[120],"methods":[121],"based":[122],"upon":[123],"Satisfiability":[124],"Modulo":[125],"Theories":[126],"(SMT)":[127],"solvers,":[128],"evaluate":[130],"feasibility":[132],"scalability":[134],"our":[136,155],"approach":[137,156],"considering":[139,166],"synthetic":[143],"benchmarks":[144],"exhibiting":[145],"possible":[146],"behaviour":[148],"development.":[151],"outline":[153],"applied":[158],"more":[161],"realistic":[162],"system,":[164],"simplified":[168],"involved":[170],"in":[171,180],"processes":[173],"neuron":[175],"maturation":[176],"mammalian":[182],"cortex.":[183]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2387771766","counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3}],"updated_date":"2025-01-03T11:53:51.641465","created_date":"2016-06-24"}