Search the dblp DataBase
Raymond T. Yeh :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Raymond T. Yeh , Jerry W. Baker Toward a Design Methodology for DBMS: A Software Engineering Approach. [Citation Graph (8, 14)][DBLP ] VLDB, 1977, pp:16-27 [Conf ] Raymond T. Yeh , Nick Roussopoulos , Philip Chang Systematic Derivation of Software Requirements. [Citation Graph (1, 0)][DBLP ] ER, 1979, pp:403-404 [Conf ] Raymond T. Yeh Guest Editorial - Special Issue on Reliable Software: Part I: Software Validation. [Citation Graph (1, 0)][DBLP ] ACM Comput. Surv., 1976, v:8, n:3, pp:301-303 [Journal ] Raymond T. Yeh , David A. Naumann , Roland Mittermeir , Reinhard A. Schlemmer , William S. Gilmore , George E. Sumrall , John T. Lebaron A Commonsense Management Model. [Citation Graph (1, 0)][DBLP ] IEEE Software, 1991, v:8, n:6, pp:23-33 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] ECBS, 1997, pp:376-0 [Conf ] Raymond T. Yeh Structural Equivalence of Automata [Citation Graph (0, 0)][DBLP ] FOCS, 1968, pp:405-412 [Conf ] Pei Hsia , Raymond T. Yeh Finite Automata with Markers. [Citation Graph (0, 0)][DBLP ] ICALP, 1972, pp:443-451 [Conf ] Raymond T. Yeh Report on a business definition language system. [Citation Graph (0, 0)][DBLP ] ICCL, 1988, pp:177-183 [Conf ] Bo-Shoe Chen , Raymond T. Yeh Formal Specification and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP ] ICDCS, 1982, pp:380-387 [Conf ] Bosheng Zhou , Raymond T. Yeh , Peter A. Ng Principle of Deadlock Detection in Ada Programs. [Citation Graph (0, 0)][DBLP ] ICDCS, 1986, pp:572-579 [Conf ] Raymond T. Yeh , Roland Mittermeir , Nick Roussopoulos , Joylyn Reed A Programming Environment Framework Based on Reusability. [Citation Graph (0, 0)][DBLP ] ICDE, 1984, pp:277-280 [Conf ] Charles Reynolds , Raymond T. Yeh Induction as the Basis for Program Verification (Abstract). [Citation Graph (0, 0)][DBLP ] ICSE, 1976, pp:389- [Conf ] Pamela Zave , Raymond T. Yeh Executable Requirements for Embedded Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 1981, pp:295-304 [Conf ] Peter A. Ng , Raymond T. Yeh Tree Transformations via Finite Recursive Transition Machines. [Citation Graph (0, 0)][DBLP ] MFCS, 1973, pp:273-277 [Conf ] Peter A. Ng , Pei Hsia , Raymond T. Yeh Graph Walking Automata. [Citation Graph (0, 0)][DBLP ] MFCS, 1975, pp:330-336 [Conf ] Bruce I. Blum , Victor R. Basili , S. K. Chang , Michael Evangelist , C. V. Ramamoorthy , Raymond T. Yeh Software Engineering in the Year 2000. [Citation Graph (0, 0)][DBLP ] SEKE, 1993, pp:473- [Conf ] Raymond T. Yeh Why Great Organizations Are Great? The Art of Business. [Citation Graph (0, 0)][DBLP ] SERA, 2003, pp:3- [Conf ] Raymond T. Yeh Building 21st Century Enterprises. [Citation Graph (0, 0)][DBLP ] SERA, 2005, pp:4- [Conf ] Bosheng Zhou , Raymond T. Yeh , Peter A. Ng An Algebraic System for Deadlock Detection and its Applications. [Citation Graph (0, 0)][DBLP ] Symposium on Reliability in Distributed Software and Database Systems, 1984, pp:177-184 [Conf ] Raymond T. Yeh , Agustin A. Araya , Philip Chang Software and Data Base Engineering - Towards a Common Design Methodology. [Citation Graph (0, 0)][DBLP ] VLDB Surveys, 1978, pp:109-123 [Conf ] Raymond T. Yeh Data Base and Software Engineering - A Design Viewpoint. [Citation Graph (0, 1)][DBLP ] VLDB, 1978, pp:22- [Conf ] Murat M. Tanik , Raymond T. Yeh Guest Editors' Introduction: Rapid Prototyping in Software Development. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1989, v:22, n:5, pp:9-10 [Journal ] Raymond T. Yeh Guest Editorial - Special Issue on Reliable Software: Part II: Fault-Tolerant Software. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1976, v:8, n:4, pp:355-357 [Journal ] Ratan K. Guha , Raymond T. Yeh Periodic Representation of Equal Matrix Grammars [Citation Graph (0, 0)][DBLP ] Information and Control, 1973, v:22, n:5, pp:435-446 [Journal ] Ratan K. Guha , Raymond T. Yeh Erratum: ``Periodic Representation of Equal Matrix Grammars'' [Citation Graph (0, 0)][DBLP ] Information and Control, 1974, v:24, n:4, pp:399- [Journal ] Raymond T. Yeh On Relational Homomorphisms of Automata [Citation Graph (0, 0)][DBLP ] Information and Control, 1968, v:13, n:2, pp:140-155 [Journal ] Pei Hsia , Raymond T. Yeh Marker automata. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1975, v:8, n:1, pp:71-88 [Journal ] Raymond T. Yeh Generalized Pair Algebra With Applications to Automata Theory. [Citation Graph (0, 0)][DBLP ] J. ACM, 1968, v:15, n:2, pp:304-316 [Journal ] Ratan K. Guha , Raymond T. Yeh On Periodicity of Sequential Machines. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1974, v:8, n:1, pp:41-70 [Journal ] Franco P. Preparata , Raymond T. Yeh Continuously Valued Logic. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1972, v:6, n:5, pp:397-418 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1984, v:4, n:2-3, pp:95-98 [Journal ] Raymond T. Yeh Structural Equivalence of Automata. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1970, v:4, n:3, pp:198-211 [Journal ] Raymond T. Yeh Some Structural Properties of Generalized Automata and Algebras. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1971, v:5, n:4, pp:306-318 [Journal ] Raymond T. Yeh Notes on Concurrent Engineering. [Citation Graph (0, 1)][DBLP ] IEEE Trans. Knowl. Data Eng., 1992, v:4, n:5, pp:407-414 [Journal ] Raymond T. Yeh Professor Ramamoorthy: A Personal Introduction. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 1999, v:11, n:1, pp:2- [Journal ] Joylyn Reed , Raymond T. Yeh Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1988, v:10, n:1, pp:156-177 [Journal ] Sanat K. Basu , Raymond T. Yeh Strong Verification of Programs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1975, v:1, n:3, pp:339-346 [Journal ] Bo-Shoe Chen , Raymond T. Yeh Formal Specification and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1983, v:9, n:6, pp:710-722 [Journal ] T. William Mao , Raymond T. Yeh Communication Port: A Language Concept for Concurrent Programming. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1980, v:6, n:2, pp:194-204 [Journal ] Luqi , Valdis Berzins , Raymond T. Yeh A Prototyping Language for Real-Time Software. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:10, pp:1409-1423 [Journal ] Charles Reynolds , Raymond T. Yeh Induction as the Basis for Program Verification. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1976, v:2, n:4, pp:244-252 [Journal ] Nick Roussopoulos , Raymond T. Yeh SEES - A Software Testing Environment Support System. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1985, v:11, n:4, pp:355-366 [Journal ] Raymond T. Yeh In Memory of Maurice H. Halstead. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1979, v:5, n:2, pp:74- [Journal ] A tool-based approach for software testing and validation. [Citation Graph (, )][DBLP ] A software requirements analysis and definition methodology for business data processing. [Citation Graph (, )][DBLP ] An Adaptable Methodology for Database Design. [Citation Graph (, )][DBLP ] Software Engineering Practices in the US and Japan. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.008secs