Efficient turing-universal computation with DNA polymers
DNA'10 Proceedings of the 16th international conference on DNA computing and molecular programming
Strand algebras for DNA computing
Natural Computing: an international journal
Using sticker model of DNA computing to solve domatic partition, kernel and induced path problems
Information Sciences: an International Journal
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Graph-theoretic formalization of hybridization in DNA sticker complexes
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
Autonomous resolution based on DNA strand displacement
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
Computational biology: a programming perspective
Formal modeling
A formal model for databases in DNA
ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology
Reasoning with disposition using DNA tweezers
International Journal of Bio-Inspired Computation
DNA-based molecular architecture with spatially localized components
Proceedings of the 40th Annual International Symposium on Computer Architecture
Graph-theoretic formalization of hybridization in DNA sticker complexes
Natural Computing: an international journal
From software verification to `everyware' verification
Computer Science - Research and Development
| Hi-index | 0.00 |
We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.