Para esto podemos usar Pixer el cual nos permitirá, arrastrando un grupo de imágenes a su icono cambiar el tamaño a todas ellas. Por cierto, los formatos soportados por la aplicación son Png, Jpeg, Tiff y PICT.

Via │ Bitelia ::::::::::::::::::::: info │ Pixer