{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T14:09:12Z","timestamp":1770559752102,"version":"3.49.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Compt. Sci. & Technol."],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1007\/bf02960757","type":"journal-article","created":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T00:59:57Z","timestamp":1222304397000},"page":"672-681","source":"Crossref","is-referenced-by-count":13,"title":["Aqueous computing: A survey with an invitation to participate"],"prefix":"10.1007","volume":"17","author":[{"given":"Tom","family":"Head","sequence":"first","affiliation":[]},{"given":"Xia","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Masayuki","family":"Yamamura","sequence":"additional","affiliation":[]},{"given":"Susannah","family":"Gal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02960757_CR1","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/BF02481771","volume":"49","author":"T Head","year":"1987","unstructured":"Head T. Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors.Bulletin of Mathematical Biology, 1987, 49: 737\u2013759.","journal-title":"Bulletin of Mathematical Biology"},{"key":"BF02960757_CR2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/978-3-662-07675-0_7","volume-title":"Handbook of Formal Languages","author":"T Head","year":"1997","unstructured":"Head T, Paun Gh, Pixton D. Language Theory and Molecular Genetics: Generative Mechanisms Suggested by DNA Recombination, Chapter 7 of Vol.2., Handbook of Formal Languages. Rozenberg G, Salomaa A (eds.), Springer-Verlag, Berlin, 1997, pp.295\u2013360."},{"key":"BF02960757_CR3","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1080\/00207168908803715","volume":"27","author":"K L Denninghoff","year":"1989","unstructured":"Denninghoff K L, Gatterdam R. On the undecidability of splicing systems.International Journal of Computer Mathematics, 1989, 27: 133\u2013145.","journal-title":"International Journal of Computer Mathematics"},{"key":"BF02960757_CR4","volume-title":"DNA Computing \u2014 New Computing Paradigms","author":"Gh Paun","year":"1998","unstructured":"Paun Gh, Rozenberg G, Salomaa A. DNA Computing \u2014 New Computing Paradigms. Springer-Verlag, Berlin, 1998."},{"key":"BF02960757_CR5","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"L Adleman","year":"1994","unstructured":"Adleman L. Molecular computation of solutions to combinatorial problems.Science, 1994, 266: 1021\u20131024.","journal-title":"Science"},{"key":"BF02960757_CR6","volume-title":"Computers and Intractability \u2014 A Guide to the Theory of NP-Completeness","author":"M R Garey","year":"1979","unstructured":"Garey M R, Johnson D S. Computers and Intractability \u2014 A Guide to the Theory of NP-Completeness. Freeman, New York, 1979."},{"key":"BF02960757_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0303-2647(00)00091-5","volume":"57","author":"T Head","year":"2000","unstructured":"Head T, Rozenberg G, Bladergroen Ret al. Computing with DNA by operating on plasmids.Bio Systems, 2000, 57: 87\u201393.","journal-title":"Bio Systems"},{"key":"BF02960757_CR8","first-page":"219","volume-title":"Pre-Proceedings Workshop on DNA Computers #7","author":"T Head","year":"2001","unstructured":"Head T, Chen X, Nichols M Jet al. Aqueous solutions of algorithmic problems: Emphasizing knights on a 3x3. InPre-Proceedings Workshop on DNA Computers #7, Jonoska N, Seeman N C (eds.), U. South Florida, Tampa, Florida, 2001, pp.219\u2013230."},{"key":"BF02960757_CR9","first-page":"1006","volume-title":"Proc. Congress on Evolutionary Computation","author":"T Head","year":"1999","unstructured":"Head T, Yamamura M, Gal S. Aqueous computing: Writing on molecules. InProc. Congress on Evolutionary Computation, 1999, IEEE Service Center, Piscataway, NJ, 1999, pp.1006\u20131010."},{"key":"BF02960757_CR10","unstructured":"Yamamura M, Head T, Gal S. Aqueous computing \u2014 Mathematical principles of molecular memory and its biomolecular implementation. Chapter 2. InGenetic Algorithms 4, Kitano H (ed.), 2000, pp.49\u201373 (in Japanese)."},{"key":"BF02960757_CR11","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/978-1-4471-0313-4_5","volume-title":"Unconventional Models of Computation UMC\u20192K","author":"T Head","year":"2001","unstructured":"Head T. Splicing systems anueous computing and beyond.InUnconventional Models of Computation UMC\u20192K, Antoniou I, Calude C S, Dineen M J (eds.), Springer, London, 2001, pp.68\u201384."},{"key":"BF02960757_CR12","doi-asserted-by":"crossref","unstructured":"Faulkhammer D, Curkras A R, Lipton R Jet al. Molecular computation: RNA solutions to chess problems. InProc. National Academy of Sciences, 2000, 97: 1385\u20131389.","DOI":"10.1073\/pnas.97.4.1385"},{"key":"BF02960757_CR13","first-page":"1","volume-title":"DNA Computing: 6th Intern. Workshop","author":"R Weiss","year":"2000","unstructured":"Weiss R, Knight Jr T F. Engineered communications for microbial robotics. InDNA Computing: 6th Intern. Workshop, Condon A, Rozenberg G (eds.), Leiden, 1999,LCNS 2054, Springer Verlag, Berlin, 2000, pp.1\u201316."},{"key":"BF02960757_CR14","first-page":"279","volume-title":"DNA Computingk, Lecture Notes in Computer Science 2340","author":"A Ehrenfeucht","year":"2002","unstructured":"Ehrenfeucht A, Harju T, Petre Iet al. Patterns of micronuclear genes in ciliates. InDNA Computingk, Lecture Notes in Computer Science 2340, Jonoska N, Seeman N C (eds.), Springer, Berlin, 2002, pp.279\u2013289."},{"key":"BF02960757_CR15","first-page":"199","volume-title":"Pre-Proceedings of Workshop on DNA Computer #7","author":"K Wakabayashi","year":"2001","unstructured":"Wakabayashi K, Yamamura M. A realization of information gate by usingEnterococcus faecalis pheromone system. InPre-Proceedings of Workshop on DNA Computer #7, Jonoska N, Seeman N C (eds.), U. South Florida, Tampa, Florida, 2001, pp.199\u2013207."},{"key":"BF02960757_CR16","doi-asserted-by":"crossref","unstructured":"Head T. Circular suggestions for DNA computing. InPattern Formation in Biology, Vision and Dynamics. Carbone A, Gromov M, Prusinkiewicz P (eds.), 2000, pp.325\u2013335.","DOI":"10.1142\/9789812817723_0016"},{"key":"BF02960757_CR17","first-page":"213","volume-title":"DNA Comtuting, Lecture Notes in Computer Science 2340","author":"M Yamamura","year":"2002","unstructured":"Yamamura M, Hiroto Y, Matoba T. Another realization of aqueous computing with peptide nucleic acid. InDNA Comtuting, Lecture Notes in Computer Science 2340, Jonoska N, Seeman N C (eds.), Springer, Berlin, 2002, pp.213\u2013232."},{"key":"BF02960757_CR18","doi-asserted-by":"crossref","unstructured":"Head T. Writing by Methylation Proposed for Aqueous Computing. Chapter 31 of Where Mathematics, Computer Science, Linguistics and Biology Meet, Martin-Vide C, Mitrana V (eds.), 2001, pp.353\u2013360.","DOI":"10.1007\/978-94-015-9634-3_31"},{"key":"BF02960757_CR19","unstructured":"Head T. An Aqueous Algorithm for Finding the Bijections in a Binary Relation. (to appear)."},{"key":"BF02960757_CR20","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF03037571","volume":"19","author":"T Head","year":"2001","unstructured":"Head T. Biomolecular realizations of a parallel architecture for solving combinatorial problems.New Generation Computing, 2001, 19: 301\u2013312.","journal-title":"New Generation Computing"},{"key":"BF02960757_CR21","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"Gh Paun","year":"2000","unstructured":"Paun Gh. Computing with membranes.J. Computer and System Sciences, 2000, 61: 108\u2013143.","journal-title":"J. Computer and System Sciences"},{"key":"BF02960757_CR22","volume-title":"Computing with Cells and Atoms \u2014 An Introduction to Quantum, DNA and Membrane Computing","author":"C S Calude","year":"2001","unstructured":"Calude C S, Paun Gh. Computing with Cells and Atoms \u2014 An Introduction to Quantum, DNA and Membrane Computing. Taylor & Francis, London, 2001."},{"key":"BF02960757_CR23","first-page":"340","volume-title":"DNA Computing, Lecture Notes in Computer Science 2340","author":"M Margenstern","year":"2002","unstructured":"Margenstern M, Martin-Vide C, Paun Gh. Computing with membranes: Variants with an enhanced membrane handling. InDNA Computing, Lecture Notes in Computer Science 2340, Jonoska N, Seeman N C (eds.), Springer, Berlin, 2002, pp.340\u2013349."},{"key":"BF02960757_CR24","unstructured":"http:\/\/bioinformatics.bio.disco.unimib.it\/psystems."},{"key":"BF02960757_CR25","unstructured":"Head T. Aqueous simulations of membrane computations.Romanian J. of Information Science and Technology, 2001, 4."},{"key":"BF02960757_CR26","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF03024425","volume":"19","author":"L Kari","year":"1977","unstructured":"Kari L, DNA computing: Arrival of biological mathematics.The Mathematical Intelligencer, 1977, 19: 9\u201322.","journal-title":"The Mathematical Intelligencer"},{"key":"BF02960757_CR27","volume-title":"An Introduction to Genetic Engineering","author":"D S T Nicholl","year":"1994","unstructured":"Nicholl D S T. An Introduction to Genetic Engineering. Cambridge University Press, Cambridge, U.K., 1994."},{"key":"BF02960757_CR28","volume-title":"Molecular Biology and Biotechnology \u2014 A Comprehensive Desk Reference","author":"R A Meyers","year":"1995","unstructured":"Meyers R A (ed.). Molecular Biology and Biotechnology \u2014 A Comprehensive Desk Reference. VCH Publishers Inc., New York, 1995."},{"key":"BF02960757_CR29","volume-title":"Molecular Cloning: A Laboratory Manual","author":"J Sambrook","year":"1989","unstructured":"Sambrook J, Fritsch E F, Maniatis T. Molecular Cloning: A Laboratory Manual. Cold Spring Harbor Laboratory Press, Cold Spring Harbor, New York, 1989."},{"key":"BF02960757_CR30","unstructured":"http:\/\/www.liacs.nl\/home\/pier\/webPagesDNA."},{"key":"BF02960757_CR31","first-page":"189","volume-title":"Pre-Proceedings Workshop on DNA Computers #7","author":"M S Balan","year":"2001","unstructured":"Balan M S, Krithivasan K, Sivasubramanyam Y. Peptide computing \u2014 Universality and complexity. InPre-Proceedings Workshop on DNA Computers #7, Jonoska N, Seeman N C (eds.), U. South Florida, Tampa, Florida, 2001, pp.189\u2013198."},{"key":"BF02960757_CR32","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1126\/science.278.5337.446","volume":"278","author":"Q Quyang","year":"1997","unstructured":"Quyang Q, Kaplan P D, Liu P D Set al. DNA solution of the maximal clique problem.Science, 1997, 278: 446\u2013449.","journal-title":"Science"},{"key":"BF02960757_CR33","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1126\/science.7725098","volume":"268","author":"R J Lipton","year":"1995","unstructured":"Lipton R J. DNA solution of computational problems.Science, 1995, 268: 542\u2013545.","journal-title":"Science"},{"key":"BF02960757_CR34","volume-title":"DIMACS Series in Discrete Math. & Theor. Computer Science","author":"P W K Rothemund","year":"1996","unstructured":"Rothemund P W K. A DNA restriction Enzyme implementation of turing machines. InDIMACS Series in Discrete Math. & Theor. Computer Science, Lipton R J, Baum E B (eds.), Vol.27, American Math. Soc., 1996."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02960757.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02960757\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02960757","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:12:55Z","timestamp":1558566775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02960757"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["BF02960757"],"URL":"https:\/\/doi.org\/10.1007\/bf02960757","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}