Masahiro Sakai

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 2

Top Topics

Reinforcement Learning

Automated Theorem Proving

Newly Developed

Specification Language

Top Venues

Publications

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)
Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai
Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning. CoRR (2018)
Kohei Maruchi, Hiromasa Shin, Masahiro Sakai
MC/DC-Like Structural Coverage Criteria for Function Block Diagrams. ICST Workshops (2014)
Yasuhiro Yamauchi, Yusuke Fukui, Yosuke Honda, Michiko Okafuji, Masahiro Sakai, Mikihiko Nishitani, Yasushi Yamauchi
Effect of Impurity in Discharge Gas on High γ Properties of Newly Developed CeSrO Film for Novel Plasma Display Panel. IEICE Trans. Electron. (11) (2012)
Masahiro Sakai, Kohei Maruchi, Takeo Imai
Model-Checking C Programs against JML-like Specification Language. APSEC (2012)
Masahiro Sakai, Noriyuki Ichijo, Yoshinori Dobashi, Tsuyoshi Yamamoto
Improvement Rendering of Web3D Using the Shading Language. EGVE (Posters) (2008)
Masahiro Sakai, Yasutaka Ishizaki, Atsushi Togawa, Tsuyoshi Yamamoto
3D Environments Utilization Effects in Development Processes of Embedded IT Devices. C5 (2006)
Masahiro Sakai, Yasutaka Ishizaki, Atsushi Togawa, Tsuyoshi Yamamoto
Application of Squeak/Croquet Environment for Embedded Systems Development. C5 (2004)