Theoretical Computer Science - Special issue on universal machines and computations
Language theory and molecular genetics: generative mechanisms suggested by DNA recombination
Handbook of formal languages, vol. 2
Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
Cascadable Hybridisation Transfer of Specific DNA between Microreactor Selection Modules
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Operation of a Purified DNA Nanoactuator
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
DNA Computing in Microreactors
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Coding Properties of DNA Languages
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Boundary Components of Thickened Graphs
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
DNASequencesGenerator: A Program for the Construction of DNA Sequences
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
A PCR-based Protocol for In Vitro Selection of Non-crosshybridizing Oligonucleotides
DNA8 Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing
Splicing Systems: Regularity and Below
DNA8 Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing
Counting Rational Points on Curves and Abelian Varieties over Finite Fields
ANTS-II Proceedings of the Second International Symposium on Algorithmic Number Theory
On the Computational Power of Insertion-Deletion Systems
DNA8 Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing
Theoretical Computer Science - Algorithms,automata, complexity and games
Computation by Self-assembly of DNA Graphs
Genetic Programming and Evolvable Machines
Virtual Test Tubes: A New Methodology for Computing
SPIRE '00 Proceedings of the Seventh International Symposium on String Processing Information Retrieval (SPIRE'00)
Forbidding and enforcing in membrane computing
Natural Computing: an international journal
| Hi-index | 0.00 |
As an emerging new research area, DNA computation, or more generally biomolecular computation, extends into other fields such as nanotechnology and material design, and is developing into a new sub-discipline of science and engineering. This paper provides a brief survey of some concepts and developments in this area. In particular several approaches are described for biomolecular solutions of the satisfiability problem (using bit strands, DNA tiles and graph self-assembly). Theoretical models such as the primer splicing systems as well as the recent model of forbidding and enforcing are also described. We review some experimental results of self-assembly of DNA nanostructures and nanomechanical devices as well as the design of an autonomous finite state machine.