A symbolic functional description language. - Gotaro Odawara; Jun Sato; Masahiro Tomita (DAC, 1984)

Diagrammatic function description of microprocessor and data-flow processor. - Gotaro Odawara; Masahiro Tomita; Ichiro Ogata (DAC, 1985)

A logic verifier based on Boolean comparison. - Gotaro Odawara; Masahiro Tomita; Osamu Okuzawa; Tomomichi Ohta; Zhen-quan Zhuang (DAC, 1986)

A Human Machine Interface for Silicon Compilation. - Gotaro Odawara; Masahiro Tomita; Kazuhiko Hattori; Osamu Okuzawa; Toshiaki Hirata; Masayasu Ochiai (DAC, 1988)

An Algorithm for Locating Logic Design Errors. - Masahiro Tomita; Hong-Hai Jiang; Tamotsu Yamamoto; Yoshihiro Hayashi (ICCAD, 1990)

A multiprocessor system for multiple image recognition-application to automatic routing system. - Gotaro Odawara; Masahiro Tomita; Honghai Jiang; Yutaka Tamiya; Taisei Yoshino; Yoshihiro Hayashi; Satoru Maruyama; Guixin Cheng; Hidetoshi Sakaki (ICPR (2), 1990)

Reconfigurable machine and its application to logic diagnosis. - Naoaki Suganuma; Yukihiro Murata; Satoru Nakata; Shinichi Nagata; Masahiro Tomita; Kotaro Hirano (ICCAD, 1992)

Rectification of Multiple Logic Design Errors in Multiple Output Circuits. - Masahiro Tomita; Tamotsu Yamamoto; Fuminori Sumikawa; Kotaro Hirano (DAC, 1994)

Augmented Coliseum: An Augmented Game Environment with Small Vehicles. - Minoru Kojima; Maki Sugimoto; Akihiro Nakamura; Masahiro Tomita; Masahiko Inami; Hideaki Nii (Tabletop, 2006)

Tiny dancing robots: Display-based computing for multi-robot control systems. - Maki Sugimoto; Masahiro Tomita; Tomohisa Aruga; Naohisa Nagaya; Noriyoshi Shimizu; Masahiko Inami (SIGGRAPH Posters, 2007)

Giant liposomes as microcapsules with large trapping volumes: Downsizing through various membrane filters and analysis with a calcein quenching method. - Kanta Tsumoto; Yuki Nakamura; Mina Yamazoe; Masahiro Tomita (MHS, 2011)