258 citations · 367 across the 20 of their papers we have counts for
9 papers · 1 filter
Thermodynamically Driven Signal Amplification
Joshua Petrack, David Soloveichik, David Doty
The field of chemical computation attempts to model computational behavior that arises when molecules, typically nucleic acids, are mixed together. Thermodynamic binding networks (…
Rate-Independent Computation in Continuous Chemical Reaction Networks
Ho-Lin Chen, David Doty, Wyatt Reeves +1
Coupled chemical interactions in a well-mixed solution are commonly formalized as chemical reaction networks (CRNs). However, despite the widespread use of CRNs in the natural scie…
CRNs Exposed: Systematic Exploration of Chemical Reaction Networks
Marko Vasic, David Soloveichik, Sarfraz Khurshid
Formal methods have enabled breakthroughs in many fields, such as in hardware verification, machine learning and biological systems. The key object of interest in systems biology,…
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks
Cameron Chalk, Niels Kornerup, Wyatt Reeves +1
Biological regulatory networks depend upon chemical interactions to process information. Engineering such molecular computing systems is a major challenge for synthetic biology and…
Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks
Keenan Breik, Cameron Chalk, David Doty +2
Engineering molecular systems that exhibit complex behavior requires the design of kinetic barriers. For example, an effective catalytic pathway must have a large barrier when the…
CRN++: Molecular Programming Language
Marko Vasic, David Soloveichik, Sarfraz Khurshid
Synthetic biology is a rapidly emerging research area, with expected wide-ranging impact in biology, nanofabrication, and medicine. A key technical challenge lies in embedding comp…