20 citations · 132 across the 38 of their papers we have counts for
4 papers · 1 filter
A stable majority population protocol using logarithmic time and states
David Doty, Mahsa Eftekhari, Eric Severson
We study population protocols, a model of distributed computing appropriate for modeling well-mixed chemical reaction networks and other physical systems where agents exchange info…
Computing properties of thermodynamic binding networks: An integer programming approach
David Haley, David Doty
The thermodynamic binding networks (TBN) model is a tool for studying engineered molecular systems. The TBN model allows one to reason about their behavior through a simplified abs…
scadnano: A browser-based, scriptable tool for designing DNA nanostructures
David Doty, Benjamin L Lee, Tristan Stérin
We introduce (https://scadnano.org) (short for "scriptable cadnano"), a computational tool for designing synthetic DNA structures. Its design is based heavily o…
Message complexity of population protocols
Talley Amir, James Aspnes, David Doty +2
The standard population protocol model assumes that when two agents interact, each observes the entire state of the other agent. We initiate the study of $\textit{message complexit…