2005 |
52 | EE | Raymond T. Yeh:
Building 21st Century Enterprises.
SERA 2005: 4 |
2003 |
51 | EE | Raymond T. Yeh:
Why Great Organizations Are Great? The Art of Business.
SERA 2003: 3 |
1999 |
50 | EE | Raymond T. Yeh:
Professor Ramamoorthy: A Personal Introduction.
IEEE Trans. Knowl. Data Eng. 11(1): 2 (1999) |
1997 |
49 | EE | 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- |
1993 |
48 | | 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 |
1992 |
47 | EE | Raymond T. Yeh:
Notes on Concurrent Engineering.
IEEE Trans. Knowl. Data Eng. 4(5): 407-414 (1992) |
1991 |
46 | | 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) |
45 | EE | Raymond T. Yeh:
System Development as a Wicked Problem.
International Journal of Software Engineering and Knowledge Engineering 1(2): 117-130 (1991) |
44 | EE | Raymond T. Yeh:
Editorial.
Journal of Systems Integration 1(3-4): 263-264 (1991) |
43 | EE | 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) |
1990 |
42 | | Peter A. Ng,
C. V. Ramamoorthy,
Laurence C. Seifert,
Raymond T. Yeh:
Proceedings of the First International Conference on Systems Integration, Morristown, NJ, USA, April 1990
IEEE Computer Society 1990 |
1989 |
41 | | Murat M. Tanik,
Raymond T. Yeh:
Guest Editors' Introduction: Rapid Prototyping in Software Development.
IEEE Computer 22(5): 9-10 (1989) |
1988 |
40 | EE | Raymond T. Yeh:
Report on a business definition language system.
ICCL 1988: 177-183 |
39 | EE | 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) |
38 | EE | Luqi,
Valdis Berzins,
Raymond T. Yeh:
A Prototyping Language for Real-Time Software.
IEEE Trans. Software Eng. 14(10): 1409-1423 (1988) |
1986 |
37 | | Bosheng Zhou,
Raymond T. Yeh,
Peter A. Ng:
Principle of Deadlock Detection in Ada Programs.
ICDCS 1986: 572-579 |
1985 |
36 | | Nick Roussopoulos,
Raymond T. Yeh:
SEES - A Software Testing Environment Support System.
IEEE Trans. Software Eng. 11(4): 355-366 (1985) |
1984 |
35 | EE | J. C. Huang,
Peter Valdes,
Raymond T. Yeh:
A tool-based approach for software testing and validation.
AFIPS National Computer Conference 1984: 411-421 |
34 | EE | Raymond T. Yeh,
Roland Mittermeir,
Nick Roussopoulos,
Joylyn Reed:
A Programming Environment Framework Based on Reusability.
ICDE 1984: 277-280 |
33 | | 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 |
32 | EE | Nick Roussopoulos,
Raymond T. Yeh:
An Adaptable Methodology for Database Design.
IEEE Computer 17(5): 64-80 (1984) |
31 | EE | 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) |
30 | EE | 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) |
1983 |
29 | | Carl G. Davis,
Sushil Jajodia,
Peter A. Ng,
Raymond T. Yeh:
Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83)
North-Holland 1983 |
28 | | Bo-Shoe Chen,
Raymond T. Yeh:
Formal Specification and Verification of Distributed Systems.
IEEE Trans. Software Eng. 9(6): 710-722 (1983) |
1982 |
27 | | Bo-Shoe Chen,
Raymond T. Yeh:
Formal Specification and Verification of Distributed Systems.
ICDCS 1982: 380-387 |
1981 |
26 | EE | Isao Miyamoto,
Raymond T. Yeh:
A software requirements analysis and definition methodology for business data processing.
AFIPS National Computer Conference 1981: 571-580 |
25 | | Pamela Zave,
Raymond T. Yeh:
Executable Requirements for Embedded Systems.
ICSE 1981: 295-304 |
1980 |
24 | | T. William Mao,
Raymond T. Yeh:
Communication Port: A Language Concept for Concurrent Programming.
IEEE Trans. Software Eng. 6(2): 194-204 (1980) |
1979 |
23 | EE | Raymond T. Yeh,
Nick Roussopoulos,
Philip Chang:
Systematic Derivation of Software Requirements.
ER 1979: 403-404 |
22 | | Raymond T. Yeh:
In Memory of Maurice H. Halstead.
IEEE Trans. Software Eng. 5(2): 74 (1979) |
1978 |
21 | EE | Raymond T. Yeh:
Data Base and Software Engineering - A Design Viewpoint.
VLDB 1978: 22 |
20 | | Raymond T. Yeh,
Agustin A. Araya,
Philip Chang:
Software and Data Base Engineering - Towards a Common Design Methodology.
VLDB Surveys 1978: 109-123 |
1977 |
19 | EE | Raymond T. Yeh,
Jerry W. Baker:
Toward a Design Methodology for DBMS: A Software Engineering Approach.
VLDB 1977: 16-27 |
1976 |
18 | | Charles Reynolds,
Raymond T. Yeh:
Induction as the Basis for Program Verification (Abstract).
ICSE 1976: 389 |
17 | | Raymond T. Yeh:
Guest Editorial - Special Issue on Reliable Software: Part I: Software Validation.
ACM Comput. Surv. 8(3): 301-303 (1976) |
16 | | Raymond T. Yeh:
Guest Editorial - Special Issue on Reliable Software: Part II: Fault-Tolerant Software.
ACM Comput. Surv. 8(4): 355-357 (1976) |
15 | | Charles Reynolds,
Raymond T. Yeh:
Induction as the Basis for Program Verification.
IEEE Trans. Software Eng. 2(4): 244-252 (1976) |
1975 |
14 | | Peter A. Ng,
Pei Hsia,
Raymond T. Yeh:
Graph Walking Automata.
MFCS 1975: 330-336 |
13 | | Sanat K. Basu,
Raymond T. Yeh:
Strong Verification of Programs.
IEEE Trans. Software Eng. 1(3): 339-346 (1975) |
12 | EE | Pei Hsia,
Raymond T. Yeh:
Marker automata.
Inf. Sci. 8(1): 71-88 (1975) |
1974 |
11 | | Ratan K. Guha,
Raymond T. Yeh:
Erratum: ``Periodic Representation of Equal Matrix Grammars''
Information and Control 24(4): 399 (1974) |
10 | | Ratan K. Guha,
Raymond T. Yeh:
On Periodicity of Sequential Machines.
J. Comput. Syst. Sci. 8(1): 41-70 (1974) |
1973 |
9 | | Peter A. Ng,
Raymond T. Yeh:
Tree Transformations via Finite Recursive Transition Machines.
MFCS 1973: 273-277 |
8 | | Ratan K. Guha,
Raymond T. Yeh:
Periodic Representation of Equal Matrix Grammars
Information and Control 22(5): 435-446 (1973) |
1972 |
7 | | Pei Hsia,
Raymond T. Yeh:
Finite Automata with Markers.
ICALP 1972: 443-451 |
6 | | Franco P. Preparata,
Raymond T. Yeh:
Continuously Valued Logic.
J. Comput. Syst. Sci. 6(5): 397-418 (1972) |
1971 |
5 | | Raymond T. Yeh:
Some Structural Properties of Generalized Automata and Algebras.
Mathematical Systems Theory 5(4): 306-318 (1971) |
1970 |
4 | | Raymond T. Yeh:
Structural Equivalence of Automata.
Mathematical Systems Theory 4(3): 198-211 (1970) |
1968 |
3 | | Raymond T. Yeh:
Structural Equivalence of Automata
FOCS 1968: 405-412 |
2 | | Raymond T. Yeh:
On Relational Homomorphisms of Automata
Information and Control 13(2): 140-155 (1968) |
1 | EE | Raymond T. Yeh:
Generalized Pair Algebra With Applications to Automata Theory.
J. ACM 15(2): 304-316 (1968) |