Gain-switched laser diode seeded diode-pumped regenerative amplifier for microjoule picosecond tunable UV pulses | IEEE Conference Publication | IEEE Xplore