An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. - Weiqiang Kong; Tomohiro Shiraishi; Yuki Mizushima; Noriyuki Katahira; Akira Fukuda; Masahiko Watanabe (ICCSA Workshops, 2010)

Model Checking of Software Design in State Transition Matrix. - Tomohiro Shiraishi; Weiqiang Kong; Yuki Mizushima; Noriyuki Katahira; Michihiro Matsumoto; Masahiko Watanabe; Tetsuro Katayama; Akira Fukuda (Software Engineering Research and Practice, 2010)

A New Ray-Tracing-Assisted Calibration Method of a Fiber-Optic Thickness Probe for Measuring Liquid Film Flows. - Yuki Mizushima (IEEE Trans. Instrum. Meas., 2021)