{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:12:32Z","timestamp":1730200352515,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/biocas.2017.8325220","type":"proceedings-article","created":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T17:27:34Z","timestamp":1523467654000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["Recombinase-based genetic circuit optimization"],"prefix":"10.1109","author":[{"given":"Chun-Ning","family":"Lai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francois","family":"Fages","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.3805"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.2510"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14295-6_5","article-title":"ABC: An Academic Industrial-Strength Verification Tool","author":"brayton","year":"2010","journal-title":"Proc Conf Computer-Aided Verification"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-017-07386-3"},{"journal-title":"ILOG CPLEX optimization studio","year":"0","key":"ref11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms4728"},{"key":"ref8","first-page":"155","article-title":"The personnel assignment problem","author":"votaw","year":"1952","journal-title":"Proceedings of the Symposium on Linear Inequalities and Programming"},{"journal-title":"Graph Theory","year":"2005","author":"diestel","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1126\/science.aad8559","article-title":"Synthetic recombinase-based state machines in living cells","volume":"353","author":"roquet","year":"2016","journal-title":"Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/nav.3800020109"},{"key":"ref1","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"}],"event":{"name":"2017 IEEE Biomedical Circuits and Systems Conference (BioCAS)","start":{"date-parts":[[2017,10,19]]},"location":"Torino","end":{"date-parts":[[2017,10,21]]}},"container-title":["2017 IEEE Biomedical Circuits and Systems Conference (BioCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8303622\/8325043\/08325220.pdf?arnumber=8325220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T22:01:11Z","timestamp":1598220071000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8325220\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/biocas.2017.8325220","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}