This is a screenshot for the software Batch Image Resizer. This software can work with the major image formats and it can batch resize