Point counting on reductions of CM elliptic curves

We give explicit formulas for the number of points on reductions of elliptic curves with complex multiplication by any imaginary quadratic field. We also find models for CM Q-curves in certain cases. This generalizes earlier results of Gross, Stark, and others.