Counter designs in quantum-dot cellular automata | IEEE Conference Publication | IEEE Xplore