
A time and space optimal stable population protocol solving exact majority
We study population protocols, a model of distributed computing appropri...
read it

A survey of size counting in population protocols
The population protocol model describes a network of n anonymous agents ...
read it

ppsim: A software package for efficiently simulating and visualizing population protocols
We introduce ppsim, a software package for efficiently simulating popula...
read it

A stable majority population protocol using logarithmic time and states
We study population protocols, a model of distributed computing appropri...
read it

Message complexity of population protocols
The standard population protocol model assumes that when two agents inte...
read it

Efficient selfstabilizing leader election in population protocols
We consider the standard population protocol model, where (a priori) ind...
read it

Composable computation in discrete chemical reaction networks
We study the composability of discrete chemical reaction networks (CRNs)...
read it

Hardness of computing and approximating predicates and functions with leaderless population protocols
Population protocols are a distributed computing model appropriate for d...
read it

Efficient size estimation and impossibility of termination in uniform dense population protocols
We study uniform population protocols: networks of anonymous agents whos...
read it

Exact size counting in uniform population protocols in nearly logarithmic time
We study population protocols: networks of anonymous agents that interac...
read it
David Doty
is this you? claim profile