Login / Signup
Takeshi Ueda
Publication Activity (10 Years)
Years Active: 2008-2019
Publications (10 Years): 2
Top Topics
Type Checking
Network Design
Software Repositories
Bug Localization
Top Venues
FormaliSE@ICSE
NBiS
</>
Publications
</>
Shun Hinatsu
,
Koichi Shimizu
,
Takeshi Ueda
,
Benoît Boyer
,
David Mentré
Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code.
NBiS
(2019)
Koichi Shimizu
,
Teruyoshi Yamaguchi
,
Tsunato Nakai
,
Takeshi Ueda
,
Nobuhiro Kobayashi
,
Benoît Boyer
A Trusted Approach to Design a Network Monitor.
FormaliSE@ICSE
(2017)
Kanji Tanaka
,
Kenichi Saeki
,
Mamoru Minami
,
Takeshi Ueda
LSH-RANSAC: Incremental Matching of Large-Size Maps.
IEICE Trans. Inf. Syst.
(2) (2010)
Kenichi Saeki
,
Kanji Tanaka
,
Takeshi Ueda
LSH-RANSAC: An incremental scheme for scalable localization.
ICRA
(2009)
Takeshi Ueda
,
Kanji Tanaka
On the scalability of robot localization using high-dimensional features.
ICPR
(2008)