Shunsuke Shimizu

13 papers A* 1B 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Device-Free Indoor WLAN Localization With Distributed Antenna Placement Optimization and Spatially Localized Regression.
IEEE Trans. Wirel. Commun.
Osamu Muta, Kazuki Noguchi, Junsuke Izumi, Shunsuke Shimizu, Tomoki Murakami, Shinya Otsuki
2024 J jnl
Experimental Evaluation of Device-Free Indoor Localization Using Channel State Information in WLAN Systems with Distributed Antennas.
IEICE Trans. Commun.
Osamu Muta, Junsuke Izumi, Shunsuke Shimizu, Tomoki Murakami, Shinya Otsuki
2024 — conf
Experimental Evaluation of WLAN-based Object Detection Using CSI in Outdoor and Large-scale Indoor Environments.
VTC Fall
Shunsuke Shimizu, Osamu Muta, Tomoki Murakami, Shinya Otsuki, Ranae Otani
2023 — conf
Experimental Evaluation of MIMO-WLAN-based Object Detection with Reflectors.
VTC Fall
Shunsuke Shimizu, Osamu Muta, Kazuki Noguchi, Junsake Izumi, Tomoki Murakami, Shinya Otsuki
2023 — conf
Performance of WLAN-based Object Detection with Distributed Antenna and Spatially Concatenated CSI.
VTC Fall
Shunsuke Shimizu, Osamu Muta, Kazuki Noguchi, Tomoki Murakami, Shinya Otsuki
2020 — conf
Semi-static type, shape, and symbolic shape inference for dynamic computation graphs.
MAPL@PLDI
Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu
2017 B conf
Parity Automata for Quantitative Linear Time Logics.
CALCO
Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo
2016 B conf
Coalgebraic Trace Semantics for Buechi and Parity Automata.
CONCUR
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
2016 J jnl
Coalgebraic Trace Semantics for Buechi and Parity Automata.
CoRR
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
2016 J jnl
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.
CoRR
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
2016 A* conf
Lattice-theoretic progress measures and coalgebraic model checking.
POPL
Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea
2015 J jnl
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices).
CoRR
Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea
2015 — conf
Object pose estimation using category information from a single image.
FCV
Shunsuke Shimizu, Hiroshi Koyasu, Yoshinori Kobayashi, Yoshinori Kuno