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