Login / Signup
Shinichi Miura
ORCID
Publication Activity (10 Years)
Years Active: 2011-2018
Publications (10 Years): 2
Top Topics
Java Bytecode
Matlab Simulink
Simulation Models
Forward Backward
Top Venues
ICCMS
SIMULTECH
</>
Publications
</>
Tetsuya Inafune
,
Shinichi Miura
,
Toshihiro Taketa
,
Yukio Hiranaka
Symbolic backward simulation of Java bytecode program.
ICCMS
(2018)
Yukio Hiranaka
,
Tetsuya Inafune
,
Shinichi Miura
,
Toshihiro Taketa
Backward range simulation of Java bytecodes and reduction of its processing time.
ICCMS
(2017)
Yukio Hiranaka
,
Houjin Sakaki
,
Kenta Ito
,
Toshihiro Taketa
,
Shinichi Miura
Numerical backward simulation model with case branching capability.
SIMULTECH
(2014)
Shinichi Miura
A variational path integral molecular dynamics study of a solid helium-4.
Comput. Phys. Commun.
182 (1) (2011)