Authors: Shonai, T Higuchi, M Kodaira, K

Citation: T. Shonai et al., High-speed float zone growth of heavily Nd-doped YVO4 single crystals, J CRYST GR, 233(3), 2001, pp. 477-482

Authors: Shonai, T Koito, K Ichimura, T Hirokawa, N Sakata, K Hareyama, M

Citation: T. Shonai et al., Renal artery aneurysm: Evaluation with color Doppler ultrasonography before and after percutaneous transarterial embolization, J ULTR MED, 19(4), 2000, pp. 277-280

Authors: Shonai, T Higuchi, M Kodaira, K

Citation: T. Shonai et al., Preparation of thin Nd-doped YVO4 single crystal rods by the floating zonemethod, MATER RES B, 35(2), 2000, pp. 225-232

Authors: Shonai, T Shimizu, T

Citation: T. Shonai et T. Shimizu, Invariant-free formal verification of pipelined and superscalar controls by behavior-covering and partial unfolding, IEICE T INF, E82D(2), 1999, pp. 376-388

Authors: Shonai, T Matsumoto, K

Citation: T. Shonai et K. Matsumoto, Proposal for incremental formal verification, IEICE T INF, E81D(11), 1998, pp. 1172-1185