Search the dblp DataBase
George W. Ernst :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Muralidhar Sitaram , George W. Ernst , John Marcuse Knowledge based system to diagnose faults in discrete event systems. [Citation Graph (0, 0)][DBLP ] IEA/AIE (1), 1989, pp:171-177 [Conf ] Ranan B. Banerji , George W. Ernst Changes in Representation which Preserve Strategies in Games. [Citation Graph (0, 0)][DBLP ] IJCAI, 1971, pp:651- [Conf ] Ranan B. Banerji , George W. Ernst A Comparsion of Three Problem-Solving Methods. [Citation Graph (0, 0)][DBLP ] IJCAI, 1977, pp:442-449 [Conf ] Ranan B. Banerji , George W. Ernst A Theory for the Complete Mechanization of a GPS-Type Problem Solver. [Citation Graph (0, 0)][DBLP ] IJCAI, 1977, pp:450-456 [Conf ] George W. Ernst A Definition-Driven Theorem Prover. [Citation Graph (0, 0)][DBLP ] IJCAI, 1973, pp:51-55 [Conf ] Xiaoping He , George W. Ernst , Fred Discenzo An Expert System which Intelligently Accesses an External Database. [Citation Graph (0, 0)][DBLP ] NACLP, 1989, pp:209-223 [Conf ] George W. Ernst Rules of Inference for Procedure Calls [Citation Graph (0, 0)][DBLP ] Acta Inf., 1977, v:8, n:, pp:145-152 [Journal ] George W. Ernst , Jainendra K. Navlakha , William F. Ogden Verification of Programs with Procedure-Type Parameter. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1982, v:18, n:, pp:149-169 [Journal ] Ranan B. Banerji , George W. Ernst Strategy Construction Using Homomorphisms Between Games. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1972, v:3, n:1-3, pp:223-249 [Journal ] H. Altay Güvenir , George W. Ernst Learning Problem Solving Strategies Using Refinement and Macro Generation. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1990, v:44, n:1-2, pp:209-243 [Journal ] George W. Ernst , Ranan B. Banerji On the Relationship Between Strong and Weak Problem Solvers. [Citation Graph (0, 0)][DBLP ] AI Magazine, 1983, v:4, n:2, pp:25-29 [Journal ] George W. Ernst , Raymond J. Hookway , James A. Menegay , William F. Ogden Modular Verification of Ada Generics. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1991, v:16, n:3/4, pp:259-280 [Journal ] George W. Ernst The Utility of Independent Subgoals in Theorem Proving [Citation Graph (0, 0)][DBLP ] Information and Control, 1971, v:18, n:3, pp:237-252 [Journal ] George W. Ernst Sufficient Conditions for the Success of GPS. [Citation Graph (0, 0)][DBLP ] J. ACM, 1969, v:16, n:1, pp:517-533 [Journal ] George W. Ernst , Michael M. Goldstein Mechanical Discovery of Classes of Problem-Solving Strategies. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:1, pp:1-23 [Journal ] R. Sherman , George W. Ernst Learning patterns in terms of other patterns. [Citation Graph (0, 0)][DBLP ] Pattern Recognition, 1969, v:1, n:4, pp:301-313 [Journal ] Prabhaker Mateti , Frances Hunt , George W. Ernst , Gerald M. Radack CaseDE Design Environment Centers on Specifications. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1986, v:3, n:1, pp:72- [Journal ] George W. Ernst A Definition-Driven Theorem Prover. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1976, v:25, n:4, pp:317-322 [Journal ] George W. Ernst , Raymond J. Hookway The Use of Higher Order Logic in Program Verification. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1976, v:25, n:8, pp:844-851 [Journal ] George W. Ernst , William F. Ogden Specification of Abstract Data Types in Modula. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1980, v:2, n:4, pp:522-543 [Journal ] Roger B. Dannenberg , George W. Ernst Formal Program Verification Using Symbolic Execution. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1982, v:8, n:1, pp:43-52 [Journal ] George W. Ernst , Raymond J. Hookway , William F. Ogden Modular Verification of Data Abstractions with Shared Realizations. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:4, pp:288-307 [Journal ] Search in 0.005secs, Finished in 0.006secs