@article(Adleman, author = {Leonard M. Adleman}, year = {1994}, title = {Molecular computation of solutions to combinatorial problems}, journal = {Science}, volume = {226}, pages = {1021--1024}, doi = {10.1126/science.7973651}, ) @article(Czeizle, author = {Elena Czeizler and Eugen Czeizler}, year = {2006}, title = {A Short Survey on Watson-Crick Automata}, journal = {Bulletin of the {EATCS}}, volume = {88}, pages = {104--119}, ) @inproceedings(Freund, author = {Rudolf Freund and {P\u aun}, Gheorghe and Grzegorz Rozenberg and Arto Salomaa}, year = {1997}, title = {Watson-Crick finite automata}, booktitle = {3rd DIMACS Sympozium On DNA Based Computers}, address = {Philadelphia}, pages = {305--317}, doi = {10.1090/dimacs/048/22}, ) @inproceedings(Kuske, author = {Dietrich Kuske and Peter Weigel}, year = {2004}, title = {The role of the complementarity relation in Watson-Crick automata and sticker systems}, booktitle = {Developments in Language Theory, DLT 2004}, series = {Lecture Notes in Computer Science, LNCS}, volume = {3340}, publisher = {Springer, Berlin, Heidelberg}, pages = {272--283}, doi = {10.1007/978-3-540-30550-7_23}, ) @article(Leupold, author = {Peter Leupold and Benedek Nagy}, year = {2010}, title = {$5' \rightarrow3'$ Watson-Crick automata with several runs}, journal = {Fundamenta Informaticae}, volume = {104}, pages = {71--91}, doi = {10.3233/FI-2010-336}, ) @inproceedings(DNA2008, author = {Benedek Nagy}, year = {2008}, title = {On $5' \rightarrow3'$ sensing Watson-Crick finite automata}, booktitle = {Garzon M.H., Yan H. (eds): DNA Computing. DNA 2007: Selected revised papers}, series = {Lecture Notes in Computer Science, LNCS}, volume = {4848}, publisher = {Springer, Berlin, Heidelberg}, pages = {256--262}, doi = {10.1007/978-3-540-77962-9\_27}, ) @inproceedings(Nagy2009, author = {Benedek Nagy}, year = {2009}, title = {On a hierarchy of $5' \rightarrow3'$ sensing WK finite automata languages}, booktitle = {Computaility in Europe, CiE 2009: Mathematical Theory and Computational Practice, Abstract Booklet, Heidelberg}, pages = {266--275}, ) @inbook(iConcept, author = {Benedek Nagy}, year = {2010}, title = {$5' \to3'$ Sensing Watson-Crick Finite Automata}, pages = {39--56}, series = {In: Gabriel Fung (ed.): Sequence and Genome Analysis II –- Methods and Applications}, publisher = {iConcept Press}, ) @article(Nagy2013, author = {Benedek Nagy}, year = {2013}, title = {On a hierarchy of $5' \rightarrow3'$ sensing Watson-Crick finite automata languages}, journal = {Journal of Logic and Computation}, volume = {23}, number = {4}, pages = {855--872}, doi = {10.1093/logcom/exr049}, ) @book(MarcusCG, author = {{P\u aun}, Gheorghe}, year = {1997}, title = {Marcus Contextual Grammars}, series = {Studies in Linguistics and Philosophy}, volume = {Volume 67}, publisher = {Kluwer}, address = {Dordrecht}, doi = {10.1007/978-94-015-8969-7\_2}, ) @book(Paun, author = {{P\u aun}, Gheorghe and Grzegorz Rozenberg and Arto Salomaa}, year = {2002}, title = {DNA Computing: New Computing Paradigms}, publisher = {Springer-Verlag}, doi = {10.1007/978-3-662-03563-4}, ) @book(Handb, editor = {Grzegorz Rozenberg and Arto Salomaa}, year = {1997}, title = {Handbook of Formal Languages}, publisher = {Springer}, )