The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

George W. Ernst: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Ranan B. Banerji, George W. Ernst
    Changes in Representation which Preserve Strategies in Games. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1971, pp:651- [Conf]
  3. Ranan B. Banerji, George W. Ernst
    A Comparsion of Three Problem-Solving Methods. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:442-449 [Conf]
  4. 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]
  5. George W. Ernst
    A Definition-Driven Theorem Prover. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1973, pp:51-55 [Conf]
  6. 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]
  7. George W. Ernst
    Rules of Inference for Procedure Calls [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1977, v:8, n:, pp:145-152 [Journal]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002