{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T05:40:17Z","timestamp":1770961217828,"version":"3.50.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T00:00:00Z","timestamp":1462838400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11047-016-9553-6","type":"journal-article","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T13:25:43Z","timestamp":1462886743000},"page":"463-472","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Minimal reversible circuit synthesis on a DNA computer"],"prefix":"10.1007","volume":"16","author":[{"given":"Mayukh","family":"Sarkar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prasun","family":"Ghosal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saraju P.","family":"Mohanty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,10]]},"reference":[{"key":"9553_CR1","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"LM Adleman","year":"1994","unstructured":"Adleman LM (1994) Molecular computation of solutions to combinatorial problems. Science 266:1021\u20131024","journal-title":"Science"},{"key":"9553_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18853-4","volume-title":"Reversible logic synthesis: from fundamentals to quantum computing","author":"AN Al-Rabadi","year":"2004","unstructured":"Al-Rabadi AN (2004) Reversible logic synthesis: from fundamentals to quantum computing. Springer, New York"},{"key":"9553_CR3","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1038\/nature02551","volume":"429","author":"Y Benenson","year":"2004","unstructured":"Benenson Y, Gil B, Ben-Dor U, Adar R, Shapiro E (2004) An autonomous molecular computer for logical control of gene expression. Nature 429:423\u2013429","journal-title":"Nature"},{"issue":"6132","key":"9553_CR4","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1126\/science.1232758","volume":"340","author":"J Bonnet","year":"2013","unstructured":"Bonnet J, Yin P, Ortiz ME, Subsoontorn P, Endy D (2013) Amplifying genetic logic gates. Science 340(6132):599\u2013603","journal-title":"Science"},{"key":"9553_CR5","unstructured":"Boneh D, Dunworth C, Lipton RJ (1995) Breaking DES using a molecular computer. In: DIMACS workshop on DNA computing"},{"key":"9553_CR6","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1126\/science.1069528","volume":"296","author":"RS Braich","year":"2002","unstructured":"Braich RS, Chelyapov N, Johnson C, Rothemund PWK, Adleman L (2002) Solution of a 20-variable 3-SAT problem on a DNA computer. Science 296:499\u2013503","journal-title":"Science"},{"key":"9553_CR7","volume-title":"Reversible computing: fundamentals, quantum computing, and applications","author":"A Vos De","year":"2011","unstructured":"De Vos A (2011) Reversible computing: fundamentals, quantum computing, and applications. Wiley, New York"},{"key":"9553_CR8","doi-asserted-by":"crossref","unstructured":"Fujiwara A, Matsumoto K, Chen W (2003) Addressable procedures for logic and arithmetic operations with DNA strands. In: International Parallel and Distributed Processing Symposium, 2003","DOI":"10.1109\/IPDPS.2003.1213301"},{"key":"9553_CR9","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1038\/nature11875","volume":"494","author":"N Goldman","year":"2013","unstructured":"Goldman N, Bertone P, Chen S, Dessimoz C, LeProust EM, Sipos B, Birney E (2013) Towards practical, high-capacity, low-maintenance information storage in synthesized DNA. Nature 494:77\u201380","journal-title":"Nature"},{"key":"9553_CR10","unstructured":"Garey MR, Johnson DS (1979)\u00a0Computers and intractability: a guide to the theory of\u00a0NP-completeness. W. H. Freeman & Co., San Francisco"},{"issue":"11","key":"9553_CR11","doi-asserted-by":"crossref","first-page":"2317","DOI":"10.1109\/TCAD.2006.871622","volume":"25","author":"P Gupta","year":"2006","unstructured":"Gupta P, Agrawal A, Jha N (2006) An algorithm for synthesis of reversible logic circuits. IEEE Trans Comput Aided Des Integr Circuits Syst 25(11):2317\u20132330","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"key":"9553_CR12","doi-asserted-by":"crossref","unstructured":"Harlan\u00a0Wood D, Chen J (2004) Fredkin gate circuits via recombination enzymes. In: Congress on evolutionary computation, 2004, vol 2. CEC2004, pp 1896\u20131900","DOI":"10.1109\/CEC.2004.1331127"},{"issue":"2","key":"9553_CR13","doi-asserted-by":"crossref","first-page":"221","DOI":"10.3390\/nano3020221","volume":"3","author":"PJJ Huang","year":"2013","unstructured":"Huang PJJ, Liu J (2013) Separation of short single- and double-stranded DNA based on their adsorption kinetics difference on graphene oxide. Nanomaterials 3(2):221\u2013228","journal-title":"Nanomaterials"},{"key":"9553_CR14","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/291410","author":"Z Li","year":"2013","unstructured":"Li Z, Chen H, Yang G, Liu W (2013)\u00a0Efficient algorithms for optimal 4-bit reversible logic system synthesis. J Appl Math. doi: 10.1155\/2013\/291410","journal-title":"J Appl Math"},{"key":"9553_CR15","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1126\/science.7725098","volume":"268","author":"RJ Lipton","year":"1995","unstructured":"Lipton RJ (1995) DNA solution of hard computational problems. Science 268:542\u2013545","journal-title":"Science"},{"key":"9553_CR16","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1021\/ci010016o","volume":"42","author":"Y Liu","year":"2002","unstructured":"Liu Y, Xu J, Pan L, Wang S (2002) DNA solution of a graph coloring problem. J Chem Inf Comput Sci 42:524\u2013528","journal-title":"J Chem Inf Comput Sci"},{"key":"9553_CR17","doi-asserted-by":"publisher","DOI":"10.1038\/nnano.2014.246","author":"GI Livshits","year":"2014","unstructured":"Livshits GI, Stern A, Rotem D, Borovok N, Eidelshtein G, Migliore A, Penzo E, Wind SJ, Di Felice R, Skourtis SS, Cuevas JC, Gurevich L, Kotlyar AB, Porath D (2014) Long-range charge transport in single G-quadruplex DNA molecules. Nat Nanotechnol. doi: 10.1038\/nnano.2014.246","journal-title":"Nat Nanotechnol"},{"key":"9553_CR18","unstructured":"Lovgren S (2003) Computer Made from DNA and Enzymes. National Geographic News 24. http:\/\/news.nationalgeographic.com\/news\/2003\/02\/0224_030224_DNAcomputer.html"},{"key":"9553_CR19","doi-asserted-by":"crossref","unstructured":"Miller D, Maslov D, Dueck G (2003) A transformation based algorithm for reversible logic synthesis. In: Proceeding of design automation conference, pp 318\u2013323","DOI":"10.1145\/775832.775915"},{"key":"9553_CR20","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1126\/science.278.5337.446","volume":"278","author":"Q Ouyang","year":"1997","unstructured":"Ouyang Q, Kaplan PD, Liu S, Libchaber A (1997) DNA solution of the maximal clique problem. Science 278:446\u2013449","journal-title":"Science"},{"issue":"21","key":"9553_CR21","first-page":"322","volume":"25","author":"JH Reif","year":"1995","unstructured":"Reif JH (1995) Parallel biomolecular computation: models and simulations. Algorithmica 25(21):322\u2013323","journal-title":"Algorithmica"},{"issue":"4","key":"9553_CR22","doi-asserted-by":"crossref","first-page":"13:1","DOI":"10.1145\/1877745.1877747","volume":"6","author":"M Saeedi","year":"2010","unstructured":"Saeedi M, Zamani MS, Sedighi M, Sasanian Z (2010) Reversible circuit synthesis using a cycle-based approach. J Emerg Technol Comput Syst 6(4):13:1\u201313:26","journal-title":"J Emerg Technol Comput Syst"},{"key":"9553_CR23","doi-asserted-by":"crossref","first-page":"2055","DOI":"10.1016\/j.amc.2009.07.051","volume":"215","author":"CAA Sanches","year":"2009","unstructured":"Sanches CAA, Soma NY (2009) A polynomial-time DNA computing solution for the bin-packing problem. Appl Math Comput 215:2055\u20132062","journal-title":"Appl Math Comput"},{"key":"9553_CR24","doi-asserted-by":"crossref","unstructured":"Sarker A, Ahmed T, Rashid S, Anwar S, Jaman L, Tara N, Alam M, Babu H (2011) Realization of reversible logic in dna computing. In: 2011 IEEE 11th international conference on bioinformatics and bioengineering (BIBE), pp 261\u2013265","DOI":"10.1109\/BIBE.2011.46"},{"key":"9553_CR25","doi-asserted-by":"crossref","unstructured":"Shende VV, Prasad AK, Markov IL, Hayes JP (2002) Reversible logic circuit synthesis. In: Proceedings of the 2002 IEEE\/ACM international conference on computer-aided design. ACM, pp 353\u2013360","DOI":"10.1109\/ICCAD.2002.1167558"},{"issue":"6","key":"9553_CR26","doi-asserted-by":"crossref","first-page":"710","DOI":"10.1109\/TCAD.2003.811448","volume":"22","author":"V Shende","year":"2003","unstructured":"Shende V, Prasad A, Markov I, Hayes J (2003) Synthesis of reversible logic circuits. IEEE Trans Comput Aided Des Integr Circuits Syst 22(6):710\u2013722","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"key":"9553_CR27","unstructured":"Song T, Wang S, Wang X (2008) The design of reversible gate and reversible sequential circuit based on DNA computing. In: 3rd international conference on intelligent system and knowledge engineering, 2008, vol 1. ISKE 2008, pp 114\u2013118"},{"key":"9553_CR28","unstructured":"Thapliyal H, Srinivas MB (2006) An extension to DNA based fredkin gate circuits: design of reversible sequential circuits using fredkin gates. CoRR abs\/cs\/0603092. http:\/\/arxiv.org\/abs\/cs\/0603092"},{"key":"9553_CR29","doi-asserted-by":"crossref","unstructured":"Tsai S, Chang WL, Ho SH (2007) Constructing bio-molecular parallel adder with basic logic operations in the Adleman\u2013Liption model. In: International conference on convergence information technology 2007, pp 925\u2013930","DOI":"10.1109\/ICCIT.2007.93"},{"key":"9553_CR30","doi-asserted-by":"crossref","unstructured":"Wille R, Drechsler R (2009) BDD-based synthesis of reversible logic for large functions. In: Design automation conference, pp 270\u2013275","DOI":"10.1145\/1629911.1629984"},{"key":"9553_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-9579-4","volume-title":"Towards a design flow for reversible logic","author":"R Wille","year":"2010","unstructured":"Wille R, Drechsler R (2010) Towards a design flow for reversible logic. Springer, New York"},{"issue":"3","key":"9553_CR32","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/j.biosystems.2005.11.004","volume":"84","author":"D Xiao","year":"2006","unstructured":"Xiao D, Li W, Yu J, Zhang X, Zhang Z, He L (2006) Procedures for a dynamical system on $$\\{0,1\\}^n$$ { 0 , 1 } n with DNA molecules. Biosystems 84(3):207\u2013216","journal-title":"Biosystems"},{"key":"9553_CR33","doi-asserted-by":"publisher","DOI":"10.1038\/srep14138","author":"SHT Yazdi","year":"2015","unstructured":"Yazdi SHT, Yuan Y, Ma J, Zhao H, Milenkovic O (2015) A rewritable, random-access DNA-based storage system.\u00a0Sci Rep. doi: 10.1038\/srep14138","journal-title":"Sci Rep"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-016-9553-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-016-9553-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-016-9553-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-016-9553-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,16]],"date-time":"2024-06-16T09:06:07Z","timestamp":1718528767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-016-9553-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,10]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["9553"],"URL":"https:\/\/doi.org\/10.1007\/s11047-016-9553-6","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,10]]}}}