Masayuki Mizuno
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1997–2019
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | APLAS | Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. | Masayuki Mizuno, Eijiro Sumii |
| 2018 | FLOPS | Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. | Masayuki Mizuno, Eijiro Sumii |
| 2010 | VTS | Gate-oxide early-life failure identification using delay shifts. | Young Moon Kim, Tze Wee Chen, Yoshio Kameda, Masayuki Mizuno, Subhasish Mitra |
| 2009 | IROS | Basis-motion torque composition approach: generation of feedforward inputs for control of multi-joint robots. | Masahiro Sekimoto, Sadao Kawamura, Tomoya Ishitsubo, Shinsuke Akizuki, Masayuki Mizuno |
| 1997 | ICASSP | An MPEG-2 encoder architecture based on a single-chip dedicated LSI with a control MPU. | Yasushi Ooi, Osamu Ohnishi, Yutaka Yokoyama, Yoichi Katayama, Masayuki Mizuno, Masakazu Yamashina, Hideo Takano, Naoya Hayashi, Ichiro Tamitani |