Counting with Population Protocols | IEEE Conference Publication | IEEE Xplore