dblp.uni-trier.dewww.uni-trier.de

George W. Ernst Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1994
22EEGeorge 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
19EEMuralidhar 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)
13EEGeorge W. Ernst, Michael M. Goldstein: Mechanical Discovery of Classes of Problem-Solving Strategies. J. ACM 29(1): 1-23 (1982)
1980
12EEGeorge 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
2EEGeorge W. Ernst: Sufficient Conditions for the Success of GPS. J. ACM 16(1): 517-533 (1969)
1EER. Sherman, George W. Ernst: Learning patterns in terms of other patterns. Pattern Recognition 1(4): 301-313 (1969)

Coauthor Index

1Ranan B. Banerji [4] [5] [10] [11] [16]
2Roger B. Dannenberg [14]
3Fred Discenzo [18]
4Michael M. Goldstein [13]
5H. Altay Güvenir [20]
6Xiaoping He [18]
7Raymond J. Hookway [7] [21] [22]
8Frances Hunt [17]
9John Marcuse [19]
10Prabhaker Mateti [17]
11James A. Menegay [21]
12Jainendra K. Navlakha [15]
13William F. Ogden [12] [15] [21] [22]
14Gerald M. Radack [17]
15R. Sherman [1]
16Muralidhar Sitaram [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)