Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints. - Yuya Kono; Hideyuki Kawabata; Tetsuo Hironaka (J. Inf. Process., 2019)

Distance Vertex Identification in Graphs. - Gary Chartrand; Yuya Kono; Ping Zhang 004 (J. Interconnect. Networks, 2021)

Vertex Identification in Grids and Prisms. - Yuya Kono; Ping Zhang 004 (J. Interconnect. Networks, 2022)