George W. Ernst

Publication Activity (10 Years)

Years Active: 1967-1994
Publications (10 Years): 0

Publications

George W. Ernst, Raymond J. Hookway, William F. Ogden
Modular Verification of Data Abstractions with Shared Realizations. IEEE Trans. Software Eng. 20 (4) (1994)
George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden
Modular Verification of Ada Generics. Comput. Lang. 16 (3/4) (1991)
H. Altay Güvenir, George W. Ernst
Learning Problem Solving Strategies Using Refinement and Macro Generation. Artif. Intell. 44 (1-2) (1990)
Muralidhar Sitaram, George W. Ernst, John Marcuse
Knowledge based system to diagnose faults in discrete event systems. IEA/AIE (1) (1989)
Xiaoping He, George W. Ernst, Fred Discenzo
An Expert System which Intelligently Accesses an External Database. NACLP (1989)
Prabhaker Mateti, Frances Hunt, George W. Ernst, Gerald M. Radack
CaseDE Design Environment Centers on Specifications. IEEE Softw. 3 (1) (1986)
George W. Ernst, Ranan B. Banerji
On the Relationship Between Strong and Weak Problem Solvers. AI Mag. 4 (2) (1983)
George W. Ernst, Jainendra K. Navlakha, William F. Ogden
Verification of Programs with Procedure-Type Parameter. Acta Informatica 18 (1982)
Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway
Use of data abstraction in process specification. ACM SIGSOFT Softw. Eng. Notes 7 (3) (1982)
George W. Ernst, Michael M. Goldstein
Mechanical Discovery of Classes of Problem-Solving Strategies. J. ACM 29 (1) (1982)
Roger B. Dannenberg, George W. Ernst
Formal Program Verification Using Symbolic Execution. IEEE Trans. Software Eng. 8 (1) (1982)
Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden
Procedure semantics and language definition. ACM SIGPLAN Notices 15 (6) (1980)
George W. Ernst, William F. Ogden
Specification of Abstract Data Types in Modula. ACM Trans. Program. Lang. Syst. 2 (4) (1980)
George W. Ernst
Rules of Inference for Procedure Calls. Acta Informatica 8 (1977)
Ranan B. Banerji, George W. Ernst
A Theory for the Complete Mechanization of a GPS-Type Problem Solver. IJCAI (1977)
Ranan B. Banerji, George W. Ernst
A Comparsion of Three Problem-Solving Methods. IJCAI (1977)
George W. Ernst
A Definition-Driven Theorem Prover. IEEE Trans. Computers 25 (4) (1976)
Burt M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors, J. C. Huang
SICSOFT (Paper Session). ACM Annual Conference (1976)
George W. Ernst, Raymond J. Hookway
The Use of Higher Order Logic in Program Verification. IEEE Trans. Computers 25 (8) (1976)
Raymond J. Hookway, George W. Ernst
A program verification system. ACM Annual Conference (1976)
George W. Ernst
A Definition-Driven Theorem Prover. IJCAI (1973)
Ranan B. Banerji, George W. Ernst
Strategy Construction Using Homomorphisms Between Games. Artif. Intell. 3 (1-3) (1972)
Ranan B. Banerji, George W. Ernst
Limitations in pattern recognition and problem solving. ACM Annual Conference (1) (1972)
George W. Ernst
The Utility of Independent Subgoals in Theorem Proving Inf. Control. 18 (3) (1971)
Ranan B. Banerji, George W. Ernst
Changes in Representation which Preserve Strategies in Games. IJCAI (1971)
George W. Ernst
Sufficient Conditions for the Success of GPS. J. ACM 16 (1) (1969)
R. Sherman, George W. Ernst
Learning patterns in terms of other patterns. Pattern Recognit. 1 (4) (1969)
George W. Ernst, Allen Newell
Some issues of representation in a general problem solver. AFIPS Spring Joint Computing Conference (1967)