| 2006 | ||
|---|---|---|
| c8 | Minoru Kojima, Maki Sugimoto, Akihiro Nakamura, Masahiro Tomita, Masahiko Inami, Hideaki Nii: Augmented Coliseum: An Augmented Game Environment with Small Vehicles. Tabletop 2006: 3-8 | |
| 1994 | ||
| c7 | Masahiro Tomita, Tamotsu Yamamoto, Fuminori Sumikawa, Kotaro Hirano: Rectification of Multiple Logic Design Errors in Multiple Output Circuits. DAC 1994: 212-217 | |
| 1992 | ||
| c6 | Naoaki Suganuma, Yukihiro Murata, Satoru Nakata, Shinichi Nagata, Masahiro Tomita, Kotaro Hirano: Reconfigurable machine and its application to logic diagnosis. ICCAD 1992: 373-376 | |
| 1990 | ||
| c5 | Masahiro Tomita, Hong-Hai Jiang, Tamotsu Yamamoto, Yoshihiro Hayashi: An Algorithm for Locating Logic Design Errors. ICCAD 1990: 468-471 | |
| 1988 | ||
| c4 | Gotaro Odawara, Masahiro Tomita, Kazuhiko Hattori, Osamu Okuzawa, Toshiaki Hirata, Masayasu Ochiai: A Human Machine Interface for Silicon Compilation. DAC 1988: 115-120 | |
| 1986 | ||
| c3 | Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa, Tomomichi Ohta, Zhen-quan Zhuang: A logic verifier based on Boolean comparison. DAC 1986: 208-214 | |
| 1985 | ||
| c2 | Gotaro Odawara, Masahiro Tomita, Ichiro Ogata: Diagrammatic function description of microprocessor and data-flow processor. DAC 1985: 731-734 | |
| 1984 | ||
| c1 | Gotaro Odawara, Jun Sato, Masahiro Tomita: A symbolic functional description language. DAC 1984: 73-80 | |
Colors in the list of coauthors
Last update Thu May 23 04:18:19 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page