| 2005 | SERA | Building 21st Century Enterprises. | Raymond T. Yeh |
| 2003 | SERA | Why Great Organizations Are Great? The Art of Business. | Raymond T. Yeh |
| 1993 | SEKE | Software Engineering in the Year 2000. | Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh |
| 1986 | ICDCS | Principle of Deadlock Detection in Ada Programs. | Bosheng Zhou, Raymond T. Yeh, Peter A. Ng |
| 1984 | ICDE | A Programming Environment Framework Based on Reusability. | Raymond T. Yeh, Roland T. Mittermeir, Nick Roussopoulos, Joylyn Reed |
| 1984 | SRDS | An Algebraic System for Deadlock Detection and its Applications. | Bosheng Zhou, Raymond T. Yeh, Peter A. Ng |
| 1982 | ICDCS | Formal Specification and Verification of Distributed Systems. | Bo-Shoe Chen, Raymond T. Yeh |
| 1982 | ICDCS | Detection of Inherent Deadlocks in Distributed Programs. | Kegang Hao, Raymond T. Yeh |
| 1981 | ICSE | Executable Requirements for Embedded Systems. | Pamela Zave, Raymond T. Yeh |
| 1979 | COMPSAC | Structural locking for concurrency control in data base systems. | Sukho Lee, Raymond T. Yeh |
| 1979 | COMPSAC | An illustration of systematic design of parallel programs for real-time applications. | William T. Mao, Raymond T. Yeh |
| 1979 | ER | Systematic Derivation of Software Requirements. | Raymond T. Yeh, Nick Roussopoulos, Philip Chang |
| 1978 | COMPSAC | A multi-level approach to data base design. | Raymond T. Yeh, Philip Chang, C. Mohan |
| 1978 | VLDB | Data Base and Software Engineering - A Design Viewpoint. | Raymond T. Yeh |
| 1978 | VLDB | Software and Data Base Engineering - Towards a Common Design Methodology. | Raymond T. Yeh, Agustin A. Araya, Philip Chang |
| 1977 | VLDB | Toward a Design Methodology for DBMS: A Software Engineering Approach. | Raymond T. Yeh, Jerry W. Baker |
| 1976 | DAC | An approach to program verification. | Raymond T. Yeh |
| 1976 | ICSE | Induction as the Basis for Program Verification (Abstract). | Charles Reynolds, Raymond T. Yeh |
| 1975 | MFCS | Graph Walking Automata. | Peter A. Ng, Pei Hsia, Raymond T. Yeh |
| 1973 | MFCS | Tree Transformations via Finite Recursive Transition Machines. | Peter A. Ng, Raymond T. Yeh |
| 1973 | SIGCSE | New directions in teaching the fundamentals of computer science - discrete structures and computational analysis. | Raymond T. Yeh, Donald I. Good, David R. Musser |
| 1972 | ICALP | Finite Automata with Markers. | Pei Hsia, Raymond T. Yeh |
| 1968 | FOCS | Structural Equivalence of Automata | Raymond T. Yeh |