{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T23:25:46Z","timestamp":1769642746089,"version":"3.49.0"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2015,11,1]],"date-time":"2015-11-01T00:00:00Z","timestamp":1446336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"National Science Foundation","award":["1147158"],"award-info":[{"award-number":["1147158"]}]},{"name":"National Science Foundation","award":["1253856"],"award-info":[{"award-number":["1253856"]}]},{"name":"Air Force Academy Faculty Pipeline Fellowship"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/jproc.2015.2443832","type":"journal-article","created":{"date-parts":[[2015,8,18]],"date-time":"2015-08-18T18:28:38Z","timestamp":1439922518000},"page":"2196-2207","source":"Crossref","is-referenced-by-count":26,"title":["A Framework for Genetic Logic Synthesis"],"prefix":"10.1109","volume":"103","author":[{"given":"Prashant","family":"Vaidyanathan","sequence":"first","affiliation":[]},{"given":"Bryan S.","family":"Der","sequence":"additional","affiliation":[]},{"given":"Swapnil","family":"Bhatia","sequence":"additional","affiliation":[]},{"given":"Nicholas","family":"Roehner","sequence":"additional","affiliation":[]},{"given":"Ryan","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Christopher A.","family":"Voigt","sequence":"additional","affiliation":[]},{"given":"Douglas","family":"Densmore","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1021\/sb500176h"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0022490"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/0471786411"},{"key":"ref32","year":"2002"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2013.0110"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2008.0516.focus"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TBME.2014.2298559"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2455.2461"},{"key":"ref34","doi-asserted-by":"crossref","DOI":"10.1201\/9781439832905","author":"rosen","year":"1999","journal-title":"Discrete Mathematics and Its Applications"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1126\/science.1172005"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1038\/35002131","article-title":"Construction of a genetic toggle switch in Escherichia coli","volume":"403","author":"gardner","year":"2000","journal-title":"Nature"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1038\/nature12148"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/nrm2698"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.1591"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.15252\/msb.20145735"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkt758"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gks142"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.cell.2014.10.002"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1038\/nchembio.1737"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1186\/1754-1611-3-4"},{"key":"ref25","author":"beal","year":"2012","journal-title":"A method for fast high-precision characterization of synthetic biology devices"},{"key":"ref50","article-title":"OptCircuit: An optimization based method for computational design of genetic circuits","volume":"2","author":"daika","year":"2008","journal-title":"BMC Syst Biol"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1021\/sb300030d"},{"key":"ref57","first-page":"62","article-title":"A top-down approach for genetic logic synthesi.","volume":"1","author":"laursen","year":"0","journal-title":"Proc IWBDA Con"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.3389\/fbioe.2014.00042"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1021\/sb400135t"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1021\/sb400139h"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1021\/sb300095m"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0035529"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1021\/sb300032y"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btg015"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/biot.201200085"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.2401"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1038\/nmeth.2404"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1021\/sb300114d"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1038\/msb4100204"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.celrep.2013.06.023"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.cbpa.2013.09.012"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.cell.2013.02.022"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkt520"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/nmeth.2926"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.cbpa.2013.10.003"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ces.2012.12.016"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.2891"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/nature11516"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1021\/sb300084h"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1038\/nature09565"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1038\/nchembio.1411"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.2510"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1021\/sb3001112"},{"key":"ref48","author":"goler","year":"2004","journal-title":"BioJADE A Design and Simulation Tool for Synthetic Biological Systems"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1220157110"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11712-1_3"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btg128"},{"key":"ref44","first-page":"24","article-title":"Abc: An academic industrial-strength verification tool","author":"brayton","year":"2010","journal-title":"Comput -Aided Verification LNCS Comput Sci"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68413-8_8"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/7302610\/07208798.pdf?arnumber=7208798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:58:43Z","timestamp":1642003123000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7208798\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":57,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2015.2443832","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11]]}}}