Object pose estimation using category information from a single image. - Shunsuke Shimizu; Hiroshi Koyasu; Yoshinori Kobayashi; Yoshinori Kuno (FCV, 2015)

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices). - Ichiro Hasuo; Shunsuke Shimizu; Corina Cîrstea (CoRR, 2015)

Coalgebraic Trace Semantics for Buechi and Parity Automata. - Natsuki Urabe; Shunsuke Shimizu; Ichiro Hasuo (CONCUR, 2016)

Lattice-theoretic progress measures and coalgebraic model checking. - Ichiro Hasuo; Shunsuke Shimizu; Corina Cîrstea (POPL, 2016)

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. - Natsuki Urabe; Shunsuke Shimizu; Ichiro Hasuo (CoRR, 2016)

Parity Automata for Quantitative Linear Time Logics. - Corina Cîrstea; Shunsuke Shimizu; Ichiro Hasuo (CALCO, 2017)

Semi-static type, shape, and symbolic shape inference for dynamic computation graphs. - Momoko Hattori; Shimpei Sawada; Shinichiro Hamaji; Masahiro Sakai; Shunsuke Shimizu (MAPL@PLDI, 2020)

Experimental Evaluation of MIMO-WLAN-based Object Detection with Reflectors. - Shunsuke Shimizu; Osamu Muta; Kazuki Noguchi; Junsake Izumi; Tomoki Murakami; Shinya Otsuki (VTC Fall, 2023)

Performance of WLAN-based Object Detection with Distributed Antenna and Spatially Concatenated CSI. - Shunsuke Shimizu; Osamu Muta; Kazuki Noguchi; Tomoki Murakami; Shinya Otsuki (VTC Fall, 2023)

Experimental Evaluation of WLAN-based Object Detection Using CSI in Outdoor and Large-scale Indoor Environments. - Shunsuke Shimizu; Osamu Muta; Tomoki Murakami; Shinya Otsuki; Ranae Otani (VTC Fall, 2024)

Experimental Evaluation of Device-Free Indoor Localization Using Channel State Information in WLAN Systems with Distributed Antennas. - Osamu Muta; Junsuke Izumi; Shunsuke Shimizu; Tomoki Murakami; Shinya Otsuki (IEICE Trans. Commun., 2024)

Device-Free Indoor WLAN Localization With Distributed Antenna Placement Optimization and Spatially Localized Regression. - Osamu Muta; Kazuki Noguchi; Junsuke Izumi; Shunsuke Shimizu; Tomoki Murakami; Shinya Otsuki (IEEE Trans. Wirel. Commun., 2024)