Application of Squeak/Croquet Environment for Embedded Systems Development. - Masahiro Sakai; Yasutaka Ishizaki; Atsushi Togawa; Tsuyoshi Yamamoto (C5, 2004)

3D Environments Utilization Effects in Development Processes of Embedded IT Devices. - Masahiro Sakai; Yasutaka Ishizaki; Atsushi Togawa; Tsuyoshi Yamamoto (C5, 2006)

Improvement Rendering of Web3D Using the Shading Language. - Masahiro Sakai; Noriyuki Ichijo; Yoshinori Dobashi; Tsuyoshi Yamamoto (EGVE (Posters), 2008)

Model-Checking C Programs against JML-like Specification Language. - Masahiro Sakai; Kohei Maruchi; Takeo Imai (APSEC, 2012)

Effect of Impurity in Discharge Gas on High γ Properties of Newly Developed CeSrO Film for Novel Plasma Display Panel. - Yasuhiro Yamauchi; Yusuke Fukui; Yosuke Honda; Michiko Okafuji; Masahiro Sakai; Mikihiko Nishitani; Yasushi Yamauchi (IEICE Trans. Electron., 2012)

MC/DC-Like Structural Coverage Criteria for Function Block Diagrams. - Kohei Maruchi; Hiromasa Shin; Masahiro Sakai (ICST Workshops, 2014)

Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning. - Mitsuru Kusumoto; Keisuke Yahata; Masahiro Sakai (CoRR, 2018)

Semi-static type, shape, and symbolic shape inference for dynamic computation graphs. - Momoko Hattori; Shimpei Sawada; Shinichiro Hamaji; Masahiro Sakai; Shunsuke Shimizu (MAPL@PLDI, 2020)