Twisted quantum doubles. - Daijiro Fukuda; Ken'ichi Kuga (Int. J. Math. Math. Sci., 2004)

Formalization of Bing's Shrinking Method in Geometric Topology. - Ken'ichi Kuga; Manabu Hagiwara; Mitsuharu Yamamoto (CICM, 2016)