Shunsuke Shimizu

According to our database, Shunsuke Shimizu authored at least 9 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Performance of WLAN-based Object Detection with Distributed Antenna and Spatially Concatenated CSI.

Shunsuke Shimizu, Osamu Muta, Kazuki Noguchi, Tomoki Murakami, Shinya Otsuki

Proceedings of the 98th IEEE Vehicular Technology Conference, 2023

Experimental Evaluation of MIMO-WLAN-based Object Detection with Reflectors.

Shunsuke Shimizu, Osamu Muta, Kazuki Noguchi, Junsake Izumi, Tomoki Murakami, Shinya Otsuki

Proceedings of the 98th IEEE Vehicular Technology Conference, 2023

2020

Semi-static type, shape, and symbolic shape inference for dynamic computation graphs.

Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2020

2017

Parity Automata for Quantitative Linear Time Logics.

Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.

Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo

CoRR, 2016

Lattice-theoretic progress measures and coalgebraic model checking.

Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Coalgebraic Trace Semantics for Buechi and Parity Automata.

Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices).

Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea

CoRR, 2015

Object pose estimation using category information from a single image.

Shunsuke Shimizu, Hiroshi Koyasu, Yoshinori Kobayashi, Yoshinori Kuno

Proceedings of the 21st Korea-Japan Joint Workshop on Frontiers of Computer Vision, 2015