Comparing Euclidean, Kendall tau metrics toward extending LP decoding. - Justin Kong 002; Manabu Hagiwara (ISITA, 2012)

Formalization of coding theory using lean. - Manabu Hagiwara; Kyosuke Nakano; Justin Kong 002 (ISITA, 2016)

Nonexistence of perfect permutation codes in the Ulam metric. - Justin Kong 002; Manabu Hagiwara (ISITA, 2016)

Multipermutation Ulam sphere analysis toward characterizing maximal code size. - Justin Kong 002; Manabu Hagiwara (ISIT, 2017)

Ulam Sphere Size Analysis for Permutation and Multipermutation Codes Correcting Translocation Errors. - Justin Kong 002 (CoRR, 2017)

Consolidation for compact constraints and Kendall tau LP decodable permutation codes. - Manabu Hagiwara; Justin Kong 002 (Des. Codes Cryptogr., 2017)

Descent Moment Distributions for Permutation Deletion Codes via Levenshtein Codes. - Manabu Hagiwara; Justin Kong 002 (ISIT, 2018)

Formalization of Insertion/Deletion Codes and the Levenshtein Metric in Lean. - Justin Kong 002; David J. Webb; Manabu Hagiwara (ISITA, 2018)

Applications of Gaussian Binomials to Coding Theory for Deletion Error Correction. - Manabu Hagiwara; Justin Kong 002 (CoRR, 2019)

Ulam Ball Size Analysis for Permutation and Multipermutation Codes Correcting Translocation Errors. - Justin Kong 002 (IEEE Trans. Inf. Theory, 2019)