George W. Ernst - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

1994

Modular Verification of Data Abstractions with Shared RealizationsGeorge W. Ernst, Raymond J. Hookway, William F. Ogden. TSE, 20(4):288-307, 1994. [doi]

1991

Modular Verification of Ada GenericsGeorge W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden. Comp. Lang., Syst. \& Struct., 16(3/4):259-280, 1991.

1990

Learning Problem Solving Strategies Using Refinement and Macro GenerationH. Altay Güvenir, George W. Ernst. ai, 44(1-2):209-243, 1990.

1989

An Expert System which Intelligently Accesses an External DatabaseXiaoping He, George W. Ernst, Fred Discenzo. SLP 1989: 209-223

Knowledge based system to diagnose faults in discrete event systemsMuralidhar Sitaram, George W. Ernst, John Marcuse. ieaaie 1989: 171-177 [doi]

1986

CaseDE Design Environment Centers on SpecificationsPrabhaker Mateti, Frances Hunt, George W. Ernst, Gerald M. Radack. IEEE Software, 3(1):72, 1986.

1983

On the Relationship Between Strong and Weak Problem SolversGeorge W. Ernst, Ranan B. Banerji. aim, 4(2):25-29, 1983.

1982

1980

Procedure semantics and language definitionFranklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden. SIGPLAN, 15(6):28-33, 1980. [doi]

Specification of Abstract Data Types in ModulaGeorge W. Ernst, William F. Ogden. TOPLAS, 2(4):522-543, 1980. [doi]

1977

A Comparsion of Three Problem-Solving MethodsRanan B. Banerji, George W. Ernst. IJCAI 1977: 442-449

A Theory for the Complete Mechanization of a GPS-Type Problem SolverRanan B. Banerji, George W. Ernst. IJCAI 1977: 450-456

Rules of Inference for Procedure CallsGeorge W. Ernst. ACTA, 8:145-152, 1977.

1976

1973

A Definition-Driven Theorem ProverGeorge W. Ernst. IJCAI 1973: 51-55

1972

Strategy Construction Using Homomorphisms Between GamesRanan B. Banerji, George W. Ernst. ai, 3(1-3):223-249, 1972.

Limitations in pattern recognition and problem solvingRanan B. Banerji, George W. Ernst. acm 1972: 28-38 [doi]

1971

Changes in Representation which Preserve Strategies in GamesRanan B. Banerji, George W. Ernst. IJCAI 1971: 651

The Utility of Independent Subgoals in Theorem ProvingGeorge W. Ernst. iandc, 18(3):237-252, April 1971.

1969

Sufficient Conditions for the Success of GPSGeorge W. Ernst. JACM, 16(1):517-533, 1969. [doi]

Learning patterns in terms of other patternsR. Sherman, George W. Ernst. PR, 1(4):301-313, 1969. [doi]

1967

Some issues of representation in a general problem solverGeorge W. Ernst, Allen Newell. afips 1968: 583-600 [doi]

Sign in or sign up to see more results.

runs on WebDSL