A Formal Verification Methodology for Checking Data Integrity. - Yasushi Umezawa; Takeshi Shimizu (DATE, 2004)

Credit risk evaluation in power market with random forest. - Hiroyuki Mori; Yasushi Umezawa (SMC, 2007)

A Single-Chip, 10-Gigabit Ethernet Switch LSI for Energy-Efficient Blade Servers. - Yukihiro Nakagawa; Takeshi Shimizu; Yoichi Koyanagi; Osamu Shiraki; Shinji Kobayashi; Kazuki Hyoudou; Takashi Miyoshi; Yuuki Ogata; Yasushi Umezawa; Takeshi Horie; Akira Hattori (GreenCom/CPSCom, 2010)

A 4-channel 10.3Gb/s transceiver with adaptive phase equalizer for 4-to-41dB loss PCB channel. - Yasuo Hidaka; Takeshi Horie; Yoichi Koyanagi; Takashi Miyoshi; Hideki Osone; Samir Parikh; Subodh M. Reddy; Toshiyuki Shibuya; Yasushi Umezawa; William W. Walker (ISSCC, 2011)