Shunsuke Shimizu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 9

Top Topics

Probabilistic Automata

Finite State Machines

Top Venues

Publications

Osamu Muta, Kazuki Noguchi, Junsuke Izumi, Shunsuke Shimizu, Tomoki Murakami, Shinya Otsuki
Device-Free Indoor WLAN Localization With Distributed Antenna Placement Optimization and Spatially Localized Regression. IEEE Trans. Wirel. Commun. 23 (8) (2024)
Shunsuke Shimizu, Osamu Muta, Kazuki Noguchi, Tomoki Murakami, Shinya Otsuki
Performance of WLAN-based Object Detection with Distributed Antenna and Spatially Concatenated CSI. VTC Fall (2023)
Shunsuke Shimizu, Osamu Muta, Kazuki Noguchi, Junsake Izumi, Tomoki Murakami, Shinya Otsuki
Experimental Evaluation of MIMO-WLAN-based Object Detection with Reflectors. VTC Fall (2023)
Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu
Semi-static type, shape, and symbolic shape inference for dynamic computation graphs. MAPL@PLDI (2020)
Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo
Parity Automata for Quantitative Linear Time Logics. CALCO (2017)
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. CoRR (2016)
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
Coalgebraic Trace Semantics for Buechi and Parity Automata. CoRR (2016)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea
Lattice-theoretic progress measures and coalgebraic model checking. POPL (2016)
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
Coalgebraic Trace Semantics for Buechi and Parity Automata. CONCUR (2016)
Shunsuke Shimizu, Hiroshi Koyasu, Yoshinori Kobayashi, Yoshinori Kuno
Object pose estimation using category information from a single image. FCV (2015)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices). CoRR (2015)