Diagnostic test generation for transition faults using a stuck-at ATPG tool. - Yoshinobu Higami; Yosuke Kurose; Satoshi Ohno; Hironori Yamaoka; Hiroshi Takahashi; Yoshihiro Shimizu; Takashi Aikyo; Yuzo Takamatsu (ITC, 2009)

Note on Layout-Aware Weighted Probabilistic Bridge Fault Coverage. - Masayuki Arai; Yoshihiro Shimizu; Kazuhiko Iwasaki (Asian Test Symposium, 2012)

Generation of Diagnostic Tests for Transition Faults Using a Stuck-At ATPG Tool. - Yoshinobu Higami; Satoshi Ohno; Hironori Yamaoka; Hiroshi Takahashi; Yoshihiro Shimizu; Takashi Aikyo (IEICE Trans. Inf. Syst., 2012)

Reconstitution of the protein synthesis system on a glass microchip. - Yoshihiro Shimizu; Yo Tanaka (ECAL, 2013)

Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157). - François Fages; Katsumi Inoue; Heinz Koeppl; Chris Myers; Yoshihiro Shimizu (NII Shonan Meet. Rep., 2019)