Dia export resolution too small

This depends a little on the export formats. For some (e.g. PNG antialiased) you can specify a resolution in pixels.
For other formats, go to File->Page Setup… and increase the scale factor.