Domain-specific programming languages for computational nucleic acid systems
MR Lakin, A Phillips - ACS Synthetic Biology, 2020 - ACS Publications
The construction of models of system behavior is of great importance throughout science
and engineering. In bioengineering and bionanotechnology, these often take the form of …
and engineering. In bioengineering and bionanotechnology, these often take the form of …
A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
S Badelt, SW Shin, RF Johnson, Q Dong… - DNA Computing and …, 2017 - Springer
The mathematical formalism of mass-action chemical reaction networks (CRNs) has been
proposed as a mid-level programming language for dynamic molecular systems. Several …
proposed as a mid-level programming language for dynamic molecular systems. Several …
Comparing chemical reaction networks: A categorical and algorithmic perspective
We study chemical reaction networks (CRNs) as a kernel language for concurrency models
with semantics based on ordinary differential equations. We investigate the problem of …
with semantics based on ordinary differential equations. We investigate the problem of …
Automated sequence-level analysis of kinetics and thermodynamics for domain-level DNA strand-displacement systems
As an engineering material, DNA is well suited for the construction of biochemical circuits
and systems, because it is simple enough that its interactions can be rationally designed …
and systems, because it is simple enough that its interactions can be rationally designed …
Verifying chemical reaction network implementations: a bisimulation approach
R Johnson, Q Dong, E Winfree - Theoretical Computer Science, 2019 - Elsevier
Efforts in programming DNA and other biological molecules have recently focused on
general schemes to physically implement arbitrary Chemical Reaction Networks. Errors in …
general schemes to physically implement arbitrary Chemical Reaction Networks. Errors in …
A reaction network scheme for hidden Markov model parameter learning
With a view towards artificial cells, molecular communication systems, molecular multiagent
systems and federated learning, we propose a novel reaction network scheme (termed the …
systems and federated learning, we propose a novel reaction network scheme (termed the …
Verifying chemical reaction network implementations: A pathway decomposition approach
The emerging fields of genetic engineering, synthetic biology, DNA computing, DNA
nanotechnology, and molecular programming herald the birth of a new information …
nanotechnology, and molecular programming herald the birth of a new information …
ChemTest: An automated software testing framework for an emerging paradigm
In recent years the use of non-traditional computing mechanisms has grown rapidly. One
paradigm uses chemical reaction networks (CRNs) to compute via chemical interactions …
paradigm uses chemical reaction networks (CRNs) to compute via chemical interactions …
EGAC: a genetic algorithm to compare chemical reaction networks
Discovering relations between chemical reaction networks (CRNs) is a relevant problem in
computational systems biology for model reduction, to explain if a given system can be seen …
computational systems biology for model reduction, to explain if a given system can be seen …
Time complexity of computation and construction in the chemical reaction network-controlled tile assembly model
N Schiefer, E Winfree - International Conference on DNA-Based …, 2016 - Springer
In isolation, chemical reaction networks and tile-based self-assembly are well-studied
models of chemical computation. Previously, we introduced the chemical reaction network …
models of chemical computation. Previously, we introduced the chemical reaction network …