11–18 GHz continuously tunable repetition rate picosecond laser source at 1030 nm | IEEE Conference Publication | IEEE Xplore