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

Feature-Based Cloud Provisioning for Rehosting. - Misaki Mito; Takatoshi Ohara; Ryo Shimizu; Hideyuki Kanuka; Minoru Tomisaka (JCKBSE, 2022)