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 …

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 …

Comparing chemical reaction networks: A categorical and algorithmic perspective

L Cardelli, M Tribastone, M Tschaikowski… - Proceedings of the 31st …, 2016 - dl.acm.org
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 …

Automated sequence-level analysis of kinetics and thermodynamics for domain-level DNA strand-displacement systems

J Berleant, C Berlind, S Badelt… - Journal of the …, 2018 - royalsocietypublishing.org
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 …

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 …

A reaction network scheme for hidden Markov model parameter learning

C Wiuf, A Behera, A Singh… - Journal of the Royal …, 2023 - royalsocietypublishing.org
With a view towards artificial cells, molecular communication systems, molecular multiagent
systems and federated learning, we propose a novel reaction network scheme (termed the …

Verifying chemical reaction network implementations: A pathway decomposition approach

SW Shin, C Thachuk, E Winfree - Theoretical Computer Science, 2019 - Elsevier
The emerging fields of genetic engineering, synthetic biology, DNA computing, DNA
nanotechnology, and molecular programming herald the birth of a new information …

ChemTest: An automated software testing framework for an emerging paradigm

MC Gerten, JI Lathrop, MB Cohen… - Proceedings of the 35th …, 2020 - dl.acm.org
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 …

EGAC: a genetic algorithm to compare chemical reaction networks

S Tognazzi, M Tribastone, M Tschaikowski… - Proceedings of the …, 2017 - dl.acm.org
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 …

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 …