Computer Formalization of Deletion-Correcting Permutation Codes. - Minhan Gao; Kenneth W. Shum (ITW, 2024)

Clay and Product-Matrix MSR Codes with Locality. - Minhan Gao; Lukas Holzbaur; Antonia Wachter-Zeh (Adv. Math. Commun., 2024)

Efficient encoding and decoding algorithm for a class of perfect single-deletion-correcting permutation codes. - Minhan Gao; Kenneth W. Shum (CoRR, 2024)