Programming in biomolecular computation

DOI10.1016/J.ENTCS.2010.12.008MaRDI QIDQ5404089zbMATHOpenAlexWikidataFDO

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

zbMATH Keywords

universalityprogrammabilitybiomolecular computation

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40)

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

Cites work

• scientific article; zbMATH DE number 1818513 (Why is no real title available?)
• scientific article; zbMATH DE number 1223611 (Why is no real title available?)
• scientific article; zbMATH DE number 1241374 (Why is no real title available?)
• scientific article; zbMATH DE number 1339873 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• ASYNCHRONOUS AUTOMATA NETWORKS CAN EMULATE ANY SYNCHRONOUS AUTOMATA NETWORK
• Abstract Interpretation of Cellular Signalling Networks
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• 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
• Formal molecular biology
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On the Computational Power of Biochemistry
• Turing universality of the biochemical ground form

Cited in

(17)

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

Describes a project that uses

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)