A variational path integral molecular dynamics study of a solid helium-4. - Shinichi Miura (Comput. Phys. Commun., 2011)

Numerical backward simulation model with case branching capability. - Yukio Hiranaka; Houjin Sakaki; Kenta Ito; Toshihiro Taketa; Shinichi Miura (SIMULTECH, 2014)

Backward range simulation of Java bytecodes and reduction of its processing time. - Yukio Hiranaka; Tetsuya Inafune; Shinichi Miura; Toshihiro Taketa (ICCMS, 2017)

Symbolic backward simulation of Java bytecode program. - Tetsuya Inafune; Shinichi Miura; Toshihiro Taketa; Yukio Hiranaka (ICCMS, 2018)