{"id":"https://openalex.org/W2072611591","doi":"https://doi.org/10.1109/cdc.2013.6760513","title":"Data-driven verification of synthetic gene networks","display_name":"Data-driven verification of synthetic gene networks","publication_year":2013,"publication_date":"2013-12-01","ids":{"openalex":"https://openalex.org/W2072611591","doi":"https://doi.org/10.1109/cdc.2013.6760513","mag":"2072611591"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2013.6760513","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2013.6760513","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"52nd IEEE Conference on Decision and Control","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/11511/48417","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029149821","display_name":"Ebru Ayd\u0131n G\u00f6l","orcid":"https://orcid.org/0000-0002-5813-9836"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ebru Aydin Gol","raw_affiliation_strings":["Boston University","Boston University , Boston , MA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University","institution_ids":[]},{"raw_affiliation_string":"Boston University , Boston , MA , USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006554658","display_name":"Douglas Densmore","orcid":"https://orcid.org/0000-0002-7666-6808"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Douglas Densmore","raw_affiliation_strings":["Boston University","Boston University , Boston , MA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University","institution_ids":[]},{"raw_affiliation_string":"Boston University , Boston , MA , USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086742095","display_name":"C\u0103lin Belta","orcid":"https://orcid.org/0000-0002-7141-2657"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Calin Belta","raw_affiliation_strings":["Boston University","Boston University , Boston , MA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University","institution_ids":[]},{"raw_affiliation_string":"Boston University , Boston , MA , USA","institution_ids":["https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1496,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57271057,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"38","issue":null,"first_page":"4074","last_page":"4079"},"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/T10120","display_name":"Bacterial Genetics and Biotechnology","score":0.9814000129699707,"subfield":{"id":"https://openalex.org/subfields/1311","display_name":"Genetics"},"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/T10521","display_name":"RNA and protein synthesis mechanisms","score":0.9794999957084656,"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.7312617897987366},{"id":"https://openalex.org/keywords/gene-regulatory-network","display_name":"Gene regulatory network","score":0.6465709209442139},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5740715861320496},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5082821249961853},{"id":"https://openalex.org/keywords/in-silico","display_name":"In silico","score":0.49732688069343567},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.44823145866394043},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3653956651687622},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3451263904571533},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3398687243461609},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3349851369857788},{"id":"https://openalex.org/keywords/gene","display_name":"Gene","score":0.264424204826355},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.10129579901695251}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7312617897987366},{"id":"https://openalex.org/C67339327","wikidata":"https://www.wikidata.org/wiki/Q1502576","display_name":"Gene regulatory network","level":4,"score":0.6465709209442139},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5740715861320496},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5082821249961853},{"id":"https://openalex.org/C2775905019","wikidata":"https://www.wikidata.org/wiki/Q192572","display_name":"In silico","level":3,"score":0.49732688069343567},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.44823145866394043},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3653956651687622},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3451263904571533},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3398687243461609},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3349851369857788},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.264424204826355},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.10129579901695251},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"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/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc.2013.6760513","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2013.6760513","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"52nd IEEE Conference on Decision and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:open.metu.edu.tr:11511/48417","is_oa":true,"landing_page_url":"https://hdl.handle.net/11511/48417","pdf_url":null,"source":{"id":"https://openalex.org/S4306402495","display_name":"OpenMETU (Middle East Technical University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201799495","host_organization_name":"Middle East Technical University","host_organization_lineage":["https://openalex.org/I201799495"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":{"id":"pmh:oai:open.metu.edu.tr:11511/48417","is_oa":true,"landing_page_url":"https://hdl.handle.net/11511/48417","pdf_url":null,"source":{"id":"https://openalex.org/S4306402495","display_name":"OpenMETU (Middle East Technical University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201799495","host_organization_name":"Middle East Technical University","host_organization_lineage":["https://openalex.org/I201799495"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1536886974","https://openalex.org/W1606097256","https://openalex.org/W1862398452","https://openalex.org/W1978119727","https://openalex.org/W1981083886","https://openalex.org/W1993112505","https://openalex.org/W2029370898","https://openalex.org/W2039437622","https://openalex.org/W2105662588","https://openalex.org/W2140937954","https://openalex.org/W2141564052","https://openalex.org/W2149812327","https://openalex.org/W2161081924","https://openalex.org/W2167978186","https://openalex.org/W2168142693","https://openalex.org/W2172162088","https://openalex.org/W2424114601","https://openalex.org/W4231057276","https://openalex.org/W4244736178","https://openalex.org/W6638944184"],"related_works":["https://openalex.org/W3129816939","https://openalex.org/W2912862995","https://openalex.org/W2985427592","https://openalex.org/W2101501829","https://openalex.org/W2400569965","https://openalex.org/W2060263731","https://openalex.org/W1497573972","https://openalex.org/W2071659383","https://openalex.org/W1846253165","https://openalex.org/W4385417763"],"abstract_inverted_index":{"Automatic":[0],"design":[1,30],"of":[2,18,26,49,88,92],"synthetic":[3,14],"gene":[4,19,51,65,94],"networks":[5],"with":[6],"specific":[7],"functions":[8],"is":[9,22],"an":[10],"emerging":[11],"field":[12],"in":[13,56,97],"biology.":[15],"Quantitative":[16],"evaluation":[17],"network":[20,52,66,95],"designs":[21],"a":[23,41,50,57,64,89,102],"missing":[24],"feature":[25],"the":[27,46,77,79,85,93],"existing":[28],"automatic":[29,86],"tools.":[31],"In":[32],"this":[33,37],"work,":[34],"we":[35],"address":[36],"issue":[38],"and":[39,59,72,96],"present":[40],"framework":[42],"to":[43],"probabilistically":[44],"analyze":[45],"dynamic":[47],"behavior":[48],"against":[53,101],"specifications":[54],"given":[55,73],"rich":[58,103],"high":[60],"level":[61],"language.":[62],"Given":[63],"built":[67],"from":[68],"primitive":[69],"DNA":[70],"parts,":[71,78],"experimental":[74],"data":[75],"for":[76,84],"tool":[80],"proposed":[81],"here":[82],"allows":[83],"construction":[87],"stochastic":[90],"model":[91],"silico":[98],"probabilistic":[99],"verification":[100],"specification.":[104]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}