Programming in Biomolecular Computation

DOI10.1016/j.entcs.2010.12.008zbMath1283.92029WikidataQ113318345 ScholiaQ113318345MaRDI QIDQ5404089

Neil D. Jones, Jakob Grue Simonsen, Lars Hartmann

Publication date: 21 March 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.12.008

zbMATH Keywords

universality; programmability; biomolecular computation

Mathematics Subject Classification ID

92C40: Biochemistry, molecular biology

Related Items

A Survey on Analog Models of Computation

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computational methods in systems biology. 7th international conference, CMSB 2009, Bologna, Italy, August 31--September 1, 2009. Proceedings
• Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Formal molecular biology
• Turing universality of the Biochemical Ground Form
• On the Computational Power of Biochemistry
• ASYNCHRONOUS AUTOMATA NETWORKS CAN EMULATE ANY SYNCHRONOUS AUTOMATA NETWORK
• Abstract Interpretation of Cellular Signalling Networks
• On Computable Numbers, with an Application to the Entscheidungsproblem