Classification of Pedestrian Behavior in a Shopping Mall based on LRF and Camera Observations. - Kotaro Okamoto; Akira Utsumi; Hirotake Yamazoe; Takahiro Miyashita; Shinji Abe; Kazuhiro Takahashi; Norihiro Hagita (MVA, 2011)

Gaze tracking in wide area using multiple camera observations. - Akira Utsumi; Kotaro Okamoto; Norihiro Hagita; Kazuhiro Takahashi (ETRA, 2012)

A Graph-Based Approach to Designing Parallel Multipliers over Galois Fields Based on Normal Basis Representations. - Kotaro Okamoto; Naofumi Homma; Takafumi Aoki (ISMVL, 2013)

A hierarchical formal approach to verifying side-channel resistant cryptographic processors. - Kotaro Okamoto; Naofumi Homma; Takafumi Aoki; Sumio Morioka (HOST, 2014)

An Efficient Approach to Verifying Galois-Field Arithmetic Circuits of Higher Degrees and Its Application to ECC Decoders. - Rei Ueno; Kotaro Okamoto; Naofumi Homma; Takafumi Aoki (ISMVL, 2014)

Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations. - Kotaro Okamoto; Naofumi Homma; Takafumi Aoki (IEICE Trans. Inf. Syst., 2014)