This article studies the zeros of Dedekind zeta functions. In particular, we establish a smooth explicit formula for these zeros and we derive an effective version of the Deuring-Heilbronn phenomenon. In addition, we obtain an explicit bound for the number of zeros in a box.