| 1995 | GD | Generating Customized Layouts. | Xiaobo Wang, Isao Miyamoto |
| 1993 | COMPSAC | Integrating abstraction flexibility with diverse program perspectives. | Javed I. Khan, Isao Miyamoto |
| 1993 | SEKE | Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge. | Javed I. Khan, Isao Miyamoto |
| 1992 | SEKE | A Rule-Based Tool for Reverse Engineering from Source Code to Graphical Models. | Hai Huang, Kazuo Sugihara, Isao Miyamoto |
| 1992 | SEKE | Automatic Layout of Diagrams for Software Specification. | Kazuo Sugihara, Kazunari Yamamoto, Isao Miyamoto |
| 1992 | SEKE | MERA: Meta Language for Software Engineering. | Koji Takeda, David N. Chin, Isao Miyamoto |
| 1990 | SEKE | Toward Verification and Validation of Software Requirements. | G. M. Shi, Isao Miyamoto |
| 1989 | ICTAI | Using natural language and stereotypical knowledge for acquisition of software models. | David N. Chin, Koji Takea, Isao Miyamoto |
| 1988 | ICSE | SDA: A Novel Approach to Software Environment Design and Construction. | Kouichi Kishida, Takuya Katayama, Masatoshi Matsuo, Isao Miyamoto, Koichiro Ochimizu, Nobuo Saito, John H. Sayler, Koji Torii, Lloyd G. Williams |
| 1978 | ICSE | Toward an Effective Software Reliability Evaluation. | Isao Miyamoto |
| 1976 | ICSE | Some Considerations in Database Application Programming. | Isao Miyamoto |
| 1975 | VLDB | Hierarchical Performance Analysis Models for Data Base Systems. | Isao Miyamoto |