On the scalability of robot localization using high-dimensional features. - Takeshi Ueda; Kanji Tanaka 003 (ICPR, 2008)

LSH-RANSAC: An incremental scheme for scalable localization. - Kenichi Saeki; Kanji Tanaka 003; Takeshi Ueda (ICRA, 2009)

LSH-RANSAC: Incremental Matching of Large-Size Maps. - Kanji Tanaka 003; Kenichi Saeki; Mamoru Minami; Takeshi Ueda (IEICE Trans. Inf. Syst., 2010)

A Trusted Approach to Design a Network Monitor. - Koichi Shimizu; Teruyoshi Yamaguchi; Tsunato Nakai; Takeshi Ueda; Nobuhiro Kobayashi; Benoît Boyer (FormaliSE@ICSE, 2017)

Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code. - Shun Hinatsu; Koichi Shimizu; Takeshi Ueda; Benoît Boyer; David Mentré (NBiS, 2019)