A Modified Completeness Theorem of KAT and Decidability of Term Reducibility. - Takeo Uramoto (RAMiCS, 2014)

Semi-galois Categories: The Classical Eilenberg Variety Theory. - Takeo Uramoto (CoRR, 2015)

Semi-galois Categories I: The Classical Eilenberg Variety Theory. - Takeo Uramoto (LICS, 2016)

Canonical finite models of Kleene algebra with tests. - Takeo Uramoto (J. Log. Algebraic Methods Program., 2016)

Fundamental theorem of matrix representations of hyper-dual numbers for computing higher-order derivatives. - Yusuke Imoto; Naoya Yamanaka; Takeo Uramoto; Masato Tanaka; Masaki Fujikawa; Naoto Mitsume (JSIAM Lett., 2020)