Verification of asynchronous circuits based on zero-suppressed BDDs. - Koichi Masukura; Minoru Tomisaka; Tomohiro Yoneda (Syst. Comput. Jpn., 2001)

Description method for spatio-temporal regions in a video and its application. - Toshimitsu Kaneko; Koichi Masukura; Osamu Hori (Int. J. Imaging Syst. Technol., 2003)