20 citations · 22 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.CE2014★ 20 cited
Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach
Seung Woo Shin, Chris Thachuk, Erik Winfree
Here we focus on the challenge of verifying the correctness of molecular implementations of abstract chemical reaction networks, where operation in a well-mixed "soup" of molecules…
cs.DS2014
Fast algorithmic self-assembly of simple shapes using random agitation
Ho-Lin Chen, David Doty, Dhiraj Holden +3
We study the power of uncontrolled random molecular movement in the nubot model of self-assembly. The nubot model is an asynchronous nondeterministic cellular automaton augmented w…