Free Handwriting in Home-Care Workers Support System using Personal Digital Assistants. - Takuji Suzuki; Masafumi Kondo (APCHI, 1998)

An 18mW 90 to 770MHz synthesizer with agile auto-tuning for digital TV-tuners. - Masazumi Marutani; Hideaki Anbutsu; Masafumi Kondo; Noriaki Shirai; Hiroshi Yamazaki; Yuu Watanabe (ISSCC, 2006)

Bounded model checking of Time Petri Nets using SAT solver. - Tomoyuki Yokogawa; Masafumi Kondo; Hisashi Miyazaki; Sousuke Amasaki; Yoichiro Sato; Kazutami Arimoto (IEICE Electron. Express, 2015)

A Serial Booth Multiplier Using Ring Oscillator. - Daichi Okamoto; Masafumi Kondo; Tomoyuki Yokogawa; Yoshihiro Sejima; Kazutami Arimoto; Yoichiro Sato (CANDAR, 2016)

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking. - Nao Igawa; Tomoyuki Yokogawa; Sousuke Amasaki; Masafumi Kondo; Yoichiro Sato; Kazutami Arimoto (IEICE Trans. Inf. Syst., 2020)