A HTS linear generator with HTS coils as a wave energy converter | IEEE Conference Publication | IEEE Xplore