On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model. - Itaru Takarajima; Kiyoshi Akama; Yoshinori Shigeta; Ikumi Imani (MSV/AMCS, 2004)

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model. - Itaru Takarajima; Kiyoshi Akama; Ikumi Imani; Hiroshi Mabuchi (J. Adv. Comput. Intell. Intell. Informatics, 2006)

A topological approach to natural languages: Metaphorical mappings between space and time. - Ikumi Imani; Itaru Takarajima (iCAST/UMEDIA, 2013)

Topological approaches to locative prepositions. - Ikumi Imani; Itaru Takarajima (ISIC, 2014)