| 2024 | VTC | 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 |
| 2023 | VTC | Experimental Evaluation of MIMO-WLAN-based Object Detection with Reflectors. | Shunsuke Shimizu, Osamu Muta, Kazuki Noguchi, Junsake Izumi, Tomoki Murakami, Shinya Otsuki |
| 2023 | VTC | Performance of WLAN-based Object Detection with Distributed Antenna and Spatially Concatenated CSI. | Shunsuke Shimizu, Osamu Muta, Kazuki Noguchi, Tomoki Murakami, Shinya Otsuki |
| 2020 | PLDI | Semi-static type, shape, and symbolic shape inference for dynamic computation graphs. | Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu |
| 2017 | CALCO | Parity Automata for Quantitative Linear Time Logics. | Corina Crstea, Shunsuke Shimizu, Ichiro Hasuo |
| 2016 | CONCUR | Coalgebraic Trace Semantics for Buechi and Parity Automata. | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
| 2016 | POPL | Lattice-theoretic progress measures and coalgebraic model checking. | Ichiro Hasuo, Shunsuke Shimizu, Corina Crstea |