Programming in biomolecular computation

DOI10.1016/J.ENTCS.2010.12.008zbMATH Open1283.92029OpenAlexW2133856250WikidataQ113318345 ScholiaQ113318345MaRDI QIDQ5404089FDOQ5404089

Authors: Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen 

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

Recommendations

• Programming in biomolecular computation: programs, self-interpretation and visualisation
• scientific article; zbMATH DE number 2087029
• scientific article; zbMATH DE number 2156286
• scientific article; zbMATH DE number 1738652
• scientific article; zbMATH DE number 1072534

zbMATH Keywords

universalityprogrammabilitybiomolecular computation

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40)

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Formal molecular biology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Abstract Interpretation of Cellular Signalling Networks
• Title not available (Why is that?)
• Title not available (Why is that?)
• Turing universality of the biochemical ground form
• On the Computational Power of Biochemistry
• Computational methods in systems biology. 7th international conference, CMSB 2009, Bologna, Italy, August 31--September 1, 2009. Proceedings
• Title not available (Why is that?)
• ASYNCHRONOUS AUTOMATA NETWORKS CAN EMULATE ANY SYNCHRONOUS AUTOMATA NETWORK

Cited In (17)

• Title not available (Why is that?)
• Static Analysis
• The emerging discipline of biomolecular computation in the US
• Title not available (Why is that?)
• Runtime verification for biochemical programs
• An RNA-based theory of natural universal computation
• A Survey on Analog Models of Computation
• DNA Computing
• Title not available (Why is that?)
• Dynamic self-assembly in living systems as computation
• Turing universality of the biochemical ground form
• Programming in biomolecular computation: programs, self-interpretation and visualisation
• On the Computational Power of Biochemistry
• Analysis and design of molecular machines
• On the universality of peptide computing
• The differential method and the causal incompleteness of programming theory in molecular biology
• The Java environment for nature-inspired approaches (JENA): a workbench for biocomputing and biomodelling enthusiasts

Uses Software

• Maude

This page was built for publication: Programming in biomolecular computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404089)