{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T23:05:47Z","timestamp":1705964747116},"reference-count":14,"publisher":"Oxford University Press (OUP)","issue":"17","license":[{"start":{"date-parts":[[2016,10,2]],"date-time":"2016-10-02T00:00:00Z","timestamp":1475366400000},"content-version":"vor","delay-in-days":514,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Summary: Gener is a development module for programming chemical controllers based on DNA strand displacement. Gener is developed with the aim of providing a simple interface that minimizes the opportunities for programming errors: Gener allows the user to test the computations of the DNA programs based on a simple two-domain strand displacement algebra, the minimal available so far. The tool allows the user to perform stepwise computations with respect to the rules of the algebra as well as exhaustive search of the computation space with different options for exploration and visualization. Gener can be used in combination with existing tools, and in particular, its programs can be exported to Microsoft Research\u2019s DSD tool as well as to LaTeX.<\/jats:p>\n               <jats:p>Availability and implementation: Gener is available for download at the Cosbi website at http:\/\/www.cosbi.eu\/research\/prototypes\/gener as a windows executable that can be run on Mac OS X and Linux by using Mono.<\/jats:p>\n               <jats:p>Contact: ozan@cosbi.eu<\/jats:p>","DOI":"10.1093\/bioinformatics\/btv286","type":"journal-article","created":{"date-parts":[[2015,5,9]],"date-time":"2015-05-09T00:29:47Z","timestamp":1431131387000},"page":"2906-2908","source":"Crossref","is-referenced-by-count":3,"title":["Gener: a minimal programming module for chemical controllers based on DNA strand displacement"],"prefix":"10.1093","volume":"31","author":[{"given":"Ozan","family":"Kahramano\u011fullar\u0131","sequence":"first","affiliation":[{"name":"1 Department of Mathematics, University of Trento, Trento, Italy,"},{"name":"2 The Microsoft Research-University of Trento Centre for Computational and Systems Biology,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[{"name":"3 Microsoft Research Cambridge and"},{"name":"4 Department of Computer Science, University of Oxford"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,5,7]]},"reference":[{"key":"2023020202221140000_btv286-B1","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1038\/nnano.2014.58","article-title":"Universal computing by dna origami robots in a living animal","volume":"9","author":"Amir","year":"2014","journal-title":"Nat. Nanotechnol."},{"key":"2023020202221140000_btv286-B2","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1017\/S0960129512000102","article-title":"Two-domain DNA strand displacement","volume":"23","author":"Cardelli","year":"2013","journal-title":"Math. Struct. Comput. Sci."},{"key":"2023020202221140000_btv286-B3","doi-asserted-by":"crossref","first-page":"755762","DOI":"10.1038\/nnano.2013.189","article-title":"Programmable chemical controllers made from DNA","volume":"8","author":"Chen","year":"2013","journal-title":"Nat. Nanotechnol."},{"key":"2023020202221140000_btv286-B4","first-page":"84","article-title":"Computational design of reaction-diffusion patterns using DNA-based chemical reaction networks","volume":"8727","author":"Dalchau","year":"2014","journal-title":"Int. Conf. DNA Comput. Mol. Program"},{"key":"2023020202221140000_btv286-B5","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1126\/science.1214081","article-title":"A logic-gated nanorobot for targeted transport of molecular payloads","volume":"335","author":"Douglas","year":"2012","journal-title":"Science"},{"key":"2023020202221140000_btv286-B6","doi-asserted-by":"crossref","first-page":"1470","DOI":"10.1098\/rsif.2011.0800","article-title":"Design and analysis of DNA strand displacement devices using probabilistic model checking","volume":"9","author":"Lakin","year":"2012","journal-title":"J. R. Soc. Interface"},{"key":"2023020202221140000_btv286-B7","doi-asserted-by":"crossref","first-page":"3211","DOI":"10.1093\/bioinformatics\/btr543","article-title":"Visual DSD: a design and analysis tool for DNA strand displacement systems","volume":"27","author":"Lakin","year":"2011","journal-title":"Bioinformatics"},{"key":"2023020202221140000_btv286-B8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-319-01928-4_10","article-title":"Modular verification of DNA strand displacement networks via serializability analysis","volume":"8141","author":"Lakin","year":"2013","journal-title":"Int. Conf. DNA Comput. Mol. Program."},{"key":"2023020202221140000_btv286-B9","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1098\/rsif.2009.0072.focus","article-title":"A programming language for composable dna circuits","volume":"6","author":"Phillips","year":"2009","journal-title":"J. R. Soc. Interface"},{"key":"2023020202221140000_btv286-B10","doi-asserted-by":"crossref","first-page":"5393","DOI":"10.1073\/pnas.0909380107","article-title":"DNA as a universal substrate for chemical kinetics","volume":"107","author":"Soloveichika","year":"2010","journal-title":"Proc. Nat. Acad. Sci."},{"key":"2023020202221140000_btv286-B11","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1023\/A:1023928811651","article-title":"Using DNA to power nanostructures","volume":"4","author":"Yurke","year":"2003","journal-title":"Genet. Program. Evolvable Mach. Arch."},{"key":"2023020202221140000_btv286-B12","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1002\/jcc.21633","article-title":"Nucleic acid sequence design via efficient ensemble defect optimization","volume":"32","author":"Zadeh","year":"2011","journal-title":"J. Comput. Chem."},{"key":"2023020202221140000_btv286-B13","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1038\/nchem.957","article-title":"Dynamic DNA nanotechnology using strand displacement reactions","volume":"3","author":"Zhang","year":"2011","journal-title":"Nat. Chem."},{"key":"2023020202221140000_btv286-B14","doi-asserted-by":"crossref","first-page":"17303","DOI":"10.1021\/ja906987s","article-title":"Control of DNA strand displacement kinetics using toehold exchange","volume":"131","author":"Zhang","year":"2009","journal-title":"J. Am. Chem. Soc."}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/31\/17\/2906\/49035777\/bioinformatics_31_17_2906.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/31\/17\/2906\/49035777\/bioinformatics_31_17_2906.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T03:46:30Z","timestamp":1675309590000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/31\/17\/2906\/183717"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,7]]},"references-count":14,"journal-issue":{"issue":"17","published-print":{"date-parts":[[2015,9,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btv286","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2015,9,1]]},"published":{"date-parts":[[2015,5,7]]}}}