Tunable picosecond pulse-generating laser with a repetition rate exceeding 10 GHz | IEEE Conference Publication | IEEE Xplore