George W. Ernst

According to our database, George W. Ernst authored at least 27 papers between 1967 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Modular Verification of Data Abstractions with Shared Realizations.

George W. Ernst, Raymond J. Hookway, William F. Ogden

IEEE Trans. Software Eng., 1994

1991

Modular Verification of Ada Generics.

George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden

Comput. Lang., 1991

1990

Learning Problem Solving Strategies Using Refinement and Macro Generation.

H. Altay Güvenir, George W. Ernst

Artif. Intell., 1990

1989

An Expert System which Intelligently Accesses an External Database.

Xiaoping He, George W. Ernst, Fred Discenzo

Proceedings of the Logic Programming, 1989

Knowledge based system to diagnose faults in discrete event systems.

Muralidhar Sitaram, George W. Ernst, John Marcuse

Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA, 1989

1986

CaseDE Design Environment Centers on Specifications.

Prabhaker Mateti, Frances Hunt, George W. Ernst, Gerald M. Radack

IEEE Softw., 1986

1983

On the Relationship Between Strong and Weak Problem Solvers.

George W. Ernst, Ranan B. Banerji

AI Mag., 1983

1982

Formal Program Verification Using Symbolic Execution.

Roger B. Dannenberg, George W. Ernst

IEEE Trans. Software Eng., 1982

Use of data abstraction in process specification.

Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway

ACM SIGSOFT Softw. Eng. Notes, 1982

Mechanical Discovery of Classes of Problem-Solving Strategies.

George W. Ernst, Michael M. Goldstein

J. ACM, 1982

Verification of Programs with Procedure-Type Parameter.

George W. Ernst, Jainendra K. Navlakha, William F. Ogden

Acta Informatica, 1982

1980

Specification of Abstract Data Types in Modula.

George W. Ernst, William F. Ogden

ACM Trans. Program. Lang. Syst., 1980

Procedure semantics and language definition.

Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden

ACM SIGPLAN Notices, 1980

1977

Rules of Inference for Procedure Calls.

George W. Ernst

Acta Informatica, 1977

A Theory for the Complete Mechanization of a GPS-Type Problem Solver.

Ranan B. Banerji, George W. Ernst

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

A Comparsion of Three Problem-Solving Methods.

Ranan B. Banerji, George W. Ernst

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

The Use of Higher Order Logic in Program Verification.

George W. Ernst, Raymond J. Hookway

IEEE Trans. Computers, 1976

A Definition-Driven Theorem Prover.

George W. Ernst

IEEE Trans. Computers, 1976

SICSOFT (Paper Session).

Burt M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors, J. C. Huang

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

A program verification system.

Raymond J. Hookway, George W. Ernst

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1972

Strategy Construction Using Homomorphisms Between Games.

Ranan B. Banerji, George W. Ernst

Artif. Intell., 1972

Limitations in pattern recognition and problem solving.

Ranan B. Banerji, George W. Ernst

Proceedings of the ACM annual conference, 1972

1971

The Utility of Independent Subgoals in Theorem Proving

George W. Ernst

Inf. Control., April, 1971

Changes in Representation which Preserve Strategies in Games.

Ranan B. Banerji, George W. Ernst

Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971

1969

Learning patterns in terms of other patterns.

R. Sherman, George W. Ernst

Pattern Recognit., 1969

Sufficient Conditions for the Success of GPS.

George W. Ernst

J. ACM, 1969

1967

Some issues of representation in a general problem solver.

George W. Ernst, Allen Newell

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, 1967