CRNs exposed: a method for the systematic exploration of chemical reaction networks

DOI10.4230/LIPICS.DNA.2020.4MaRDI QIDQ6079211zbMATH OpenFDO

Authors Marko Vasic, David Soloveichik, Sarfraz Khurshid

Publication date 27 October 2023

Full work available at URL https://arxiv.org/abs/1912.06197

zbMATH Keywords

formal methodsmolecular programming

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Rate-independent computation in continuous chemical reaction networks
• Synthesizing and tuning chemical reaction networks with specified behaviours
• Composable rate-independent computation in continuous chemical reaction networks
• On chemical reaction network design by a nested evolution algorithm

Cites work

• Composable Computation in Discrete Chemical Reaction Networks
• CRN++: molecular programming language
• Fast enumeration of non-isomorphic chemical reaction networks
• Generating effective symmetry-breaking predicates for search problems
• scientific article; zbMATH DE number 1956604 (Why is no real title available?)
• scientific article; zbMATH DE number 2242603 (Why is no real title available?)
• Model checking
• Model Checking Gene Regulatory Networks
• Model checking JAVA programs using JAVA PathFinder
• Practical graph isomorphism. II.
• Probabilistic model checking of complex biological pathways
• Rate-independent computation in continuous chemical reaction networks
• Smallest chemical reaction system with Hopf bifurcation
• Temporal induction by incremental SAT solving

Cited in

(1)

• Reactamole: functional reactive molecular programming

This page was built for publication: CRNs exposed: a method for the systematic exploration of chemical reaction networks

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