258 citations · 367 across the 20 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.ET2019★ 4 cited
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,…
cs.ET2019★ 5 cited
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…