Raymond T. Yeh

Raymond T. Yeh: Building 21st Century Enterprises. SERA 2005: 4

Raymond T. Yeh: Why Great Organizations Are Great? The Art of Business. SERA 2003: 3

Raymond T. Yeh: Professor Ramamoorthy: A Personal Introduction. IEEE Trans. Knowl. Data Eng. 11(1): 2 (1999)

Michael Bieber, Michael R. Bartolacci, Jerry Fjermestad, Franz J. Kurfess, Qianhong Liu, Marvin K. Nakayama, Ajaz Rana, Wilhelm Rossak, Richard B. Scherl, Murat M. Tanik, Jason Tsong-Li Wang, Raymond T. Yeh, Peter A. Ng, Richard Sweeney, Fabio Vitali: Electronic enterprise engineering: an outline of an architecture. ECBS 1997: 376-

Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh: Software Engineering in the Year 2000. SEKE 1993: 473

Raymond T. Yeh: Notes on Concurrent Engineering. IEEE Trans. Knowl. Data Eng. 4(5): 407-414 (1992)

Raymond T. Yeh: System Development as a Wicked Problem. International Journal of Software Engineering and Knowledge Engineering 1(2): 117-130 (1991)

Raymond T. Yeh: Editorial. Journal of Systems Integration 1(3-4): 263-264 (1991)

Raymond T. Yeh, Reinhard A. Schlemmer, Roland T. Mittermeir: A systemic approach to process modeling. Journal of Systems Integration 1(3-4): 265-282 (1991)

Raymond T. Yeh, David A. Naumann, Roland Mittermeir, Reinhard A. Schlemmer, William S. Gilmore, George E. Sumrall, John T. Lebaron: A Commonsense Management Model. IEEE Software 8(6): 23-33 (1991)

Peter A. Ng, C. V. Ramamoorthy, Laurence C. Seifert, Raymond T. Yeh (Eds.): Proceedings of the First International Conference on Systems Integration, Morristown, NJ, USA, April 1990. IEEE Computer Society 1990, isbn 0-8186-9027-5

Murat M. Tanik, Raymond T. Yeh: Guest Editors' Introduction: Rapid Prototyping in Software Development. IEEE Computer 22(5): 9-10 (1989)

Murat M. Tanik, Raymond T. Yeh: Guest Editors' Introduction: Expert Systems. IEEE Software 5(6): 15-16 (1988)

Joylyn Reed, Raymond T. Yeh: Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes. ACM Trans. Program. Lang. Syst. 10(1): 156-177 (1988)

Luqi, Valdis Berzins, Raymond T. Yeh: A Prototyping Language for Real-Time Software. IEEE Trans. Software Eng. 14(10): 1409-1423 (1988)

Raymond T. Yeh: Report on a business definition language system. ICCL 1988: 177-183

Bosheng Zhou, Raymond T. Yeh, Peter A. Ng: Principle of Deadlock Detection in Ada Programs. ICDCS 1986: 572-579

Nick Roussopoulos, Raymond T. Yeh: SEES - A Software Testing Environment Support System. IEEE Trans. Software Eng. 11(4): 355-366 (1985)

Nick Roussopoulos, Raymond T. Yeh: An Adaptable Methodology for Database Design. IEEE Computer 17(5): 64-80 (1984)

Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili: Software Engineering Practices in the US and Japan. IEEE Computer 17(6): 57-66 (1984)

Sushil Jajodia, Peter Ann-Beng Ng, Raymond T. Yeh: Introduction to the special issue on the use of entity-relationship concepts in databases and related software. Journal of Systems and Software 4(2-3): 95-98 (1984)

J. C. Huang, Peter Valdes, Raymond T. Yeh: A tool-based approach for software testing and validation. AFIPS National Computer Conference 1984: 411-421

Raymond T. Yeh, Roland Mittermeir, Nick Roussopoulos, Joylyn Reed: A Programming Environment Framework Based on Reusability. ICDE 1984: 277-280

Bosheng Zhou, Raymond T. Yeh, Peter A. Ng: An Algebraic System for Deadlock Detection and its Applications. Symposium on Reliability in Distributed Software and Database Systems 1984: 177-184

Bo-Shoe Chen, Raymond T. Yeh: Formal Specification and Verification of Distributed Systems. IEEE Trans. Software Eng. 9(6): 710-722 (1983)

Carl G. Davis, Sushil Jajodia, Peter A. Ng, Raymond T. Yeh (Eds.): Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83). North-Holland 1983, isbn 0-444-86777-5

Bo-Shoe Chen, Raymond T. Yeh: Formal Specification and Verification of Distributed Systems. ICDCS 1982: 380-387

Yutaka Ohno, Victor R. Basili, Hajime Enomoto, Koji Kobayashi, Raymond T. Yeh (Eds.): Proceedings, 6th International Conference on Software Engineering, Tokyo, Japan, September 13-16, 1982. IEEE Computer Society 1982

Isao Miyamoto, Raymond T. Yeh: A software requirements analysis and definition methodology for business data processing. AFIPS National Computer Conference 1981: 571-580

Pamela Zave, Raymond T. Yeh: Executable Requirements for Embedded Systems. ICSE 1981: 295-304

T. William Mao, Raymond T. Yeh: Communication Port: A Language Concept for Concurrent Programming. IEEE Trans. Software Eng. 6(2): 194-204 (1980)

Raymond T. Yeh: In Memory of Maurice H. Halstead. IEEE Trans. Software Eng. 5(2): 74 (1979)

Raymond T. Yeh, Nick Roussopoulos, Philip Chang: Systematic Derivation of Software Requirements. ER 1979: 403-404

Raymond T. Yeh: Data Base and Software Engineering - A Design Viewpoint. VLDB 1978: 22

Raymond T. Yeh, Agustin A. Araya, Philip Chang: Software and Data Base Engineering - Towards a Common Design Methodology. VLDB Surveys 1978: 109-123

Raymond T. Yeh, Jerry W. Baker: Toward a Design Methodology for DBMS: A Software Engineering Approach. VLDB 1977: 16-27

Raymond T. Yeh: Guest Editorial - Special Issue on Reliable Software: Part I: Software Validation. ACM Comput. Surv. 8(3): 301-303 (1976)

Raymond T. Yeh: Guest Editorial - Special Issue on Reliable Software: Part II: Fault-Tolerant Software. ACM Comput. Surv. 8(4): 355-357 (1976)

Charles Reynolds, Raymond T. Yeh: Induction as the Basis for Program Verification. IEEE Trans. Software Eng. 2(4): 244-252 (1976)

Raymond T. Yeh: An approach to program verification. DAC 1976: 295-300

Charles Reynolds, Raymond T. Yeh: Induction as the Basis for Program Verification (Abstract). ICSE 1976: 389

Raymond T. Yeh, C. V. Ramamoorthy (Eds.): Proceedings of the 2nd International Conference on Software Engineering, San Francisco, California, USA, October 13-15, 1976. IEEE Computer Society 1976

Pei Hsia, Raymond T. Yeh: Marker automata. Inf. Sci. 8(1): 71-88 (1975)

Sanat K. Basu, Raymond T. Yeh: Strong Verification of Programs. IEEE Trans. Software Eng. 1(3): 339-346 (1975)

Peter A. Ng, Pei Hsia, Raymond T. Yeh: Graph Walking Automata. MFCS 1975: 330-336

Ratan K. Guha, Raymond T. Yeh: Erratum: ``Periodic Representation of Equal Matrix Grammars''. Information and Control 24(4): 399 (1974)

Ratan K. Guha, Raymond T. Yeh: On Periodicity of Sequential Machines. J. Comput. Syst. Sci. 8(1): 41-70 (1974)

Ratan K. Guha, Raymond T. Yeh: Periodic Representation of Equal Matrix Grammars. Information and Control 22(5): 435-446 (1973)

Peter A. Ng, Raymond T. Yeh: Tree Transformations via Finite Recursive Transition Machines. MFCS 1973: 273-277

Franco P. Preparata, Raymond T. Yeh: Continuously Valued Logic. J. Comput. Syst. Sci. 6(5): 397-418 (1972)

Pei Hsia, Raymond T. Yeh: Finite Automata with Markers. ICALP 1972: 443-451

Raymond T. Yeh: Some Structural Properties of Generalized Automata and Algebras. Mathematical Systems Theory 5(4): 306-318 (1971)

Raymond T. Yeh: Structural Equivalence of Automata. Mathematical Systems Theory 4(3): 198-211 (1970)

Raymond T. Yeh: On Relational Homomorphisms of Automata. Information and Control 13(2): 140-155 (1968)

Raymond T. Yeh: Generalized Pair Algebra With Applications to Automata Theory. J. ACM 15(2): 304-316 (1968)

Raymond T. Yeh: Structural Equivalence of Automata. SWAT (FOCS) 1968: 405-412