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) |