George W. Ernst

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	1994
j16		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
j15		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
j14		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
c7		Muralidhar Sitaram, George W. Ernst, John Marcuse: Knowledge based system to diagnose faults in discrete event systems. IEA/AIE (1) 1989: 171-177
c6		Xiaoping He, George W. Ernst, Fred Discenzo: An Expert System which Intelligently Accesses an External Database. NACLP 1989: 209-223
	1986
j13		Prabhaker Mateti, Frances Hunt, George W. Ernst, Gerald M. Radack: CaseDE Design Environment Centers on Specifications. IEEE Software 3(1): 72 (1986)
	1983
j12		George W. Ernst, Ranan B. Banerji: On the Relationship Between Strong and Weak Problem Solvers. AI Magazine 4(2): 25-29 (1983)
	1982
j11		George W. Ernst, Jainendra K. Navlakha, William F. Ogden: Verification of Programs with Procedure-Type Parameter. Acta Inf. 18: 149-169 (1982)
j10		George W. Ernst, Michael M. Goldstein: Mechanical Discovery of Classes of Problem-Solving Strategies. J. ACM 29(1): 1-23 (1982)
j9		Roger B. Dannenberg, George W. Ernst: Formal Program Verification Using Symbolic Execution. IEEE Trans. Software Eng. 8(1): 43-52 (1982)
	1980
j8		George W. Ernst, William F. Ogden: Specification of Abstract Data Types in Modula. ACM Trans. Program. Lang. Syst. 2(4): 522-543 (1980)
	1977
j7		George W. Ernst: Rules of Inference for Procedure Calls. Acta Inf. 8: 145-152 (1977)
c5		Ranan B. Banerji, George W. Ernst: A Comparsion of Three Problem-Solving Methods. IJCAI 1977: 442-449
c4		Ranan B. Banerji, George W. Ernst: A Theory for the Complete Mechanization of a GPS-Type Problem Solver. IJCAI 1977: 450-456
	1976
j6		George W. Ernst: A Definition-Driven Theorem Prover. IEEE Trans. Computers 25(4): 317-322 (1976)
j5		George W. Ernst, Raymond J. Hookway: The Use of Higher Order Logic in Program Verification. IEEE Trans. Computers 25(8): 844-851 (1976)
	1973
c3		George W. Ernst: A Definition-Driven Theorem Prover. IJCAI 1973: 51-55
	1972
j4		Ranan B. Banerji, George W. Ernst: Strategy Construction Using Homomorphisms Between Games. Artif. Intell. 3(1-3): 223-249 (1972)
	1971
j3		George W. Ernst: The Utility of Independent Subgoals in Theorem Proving. Information and Control 18(3): 237-252 (1971)
c2		Ranan B. Banerji, George W. Ernst: Changes in Representation which Preserve Strategies in Games. IJCAI 1971: 651
	1969
j2		George W. Ernst: Sufficient Conditions for the Success of GPS. J. ACM 16(1): 517-533 (1969)
j1		R. Sherman, George W. Ernst: Learning patterns in terms of other patterns. Pattern Recognition 1(4): 301-313 (1969)
	1967
c1		George W. Ernst, Allen Newell: Some issues of representation in a general problem solver. AFIPS Spring Joint Computing Conference 1967: 583-600

Coauthor Index

1	Ranan B. Banerji	[j12] [c5] [c4] [j4] [c2]
2	Roger B. Dannenberg	[j9]
3	Frederick M. Discenzo (Fred Discenzo)	[c6]
4	Michael M. Goldstein	[j10]
5	H. Altay Güvenir	[j14]
6	Xiaoping He	[c6]
7	Raymond J. Hookway	[j16] [j15] [j5]
8	Frances Hunt	[j13]
9	John Marcuse	[c7]
10	Prabhaker Mateti	[j13]
11	James A. Menegay	[j15]
12	Jainendra K. Navlakha	[j11]
13	Allen Newell	[c1]
14	William F. Ogden	[j16] [j15] [j11] [j8]
15	Gerald M. Radack	[j13]
16	R. Sherman	[j1]
17	Muralidhar Sitaram	[c7]

Colors in the list of coauthors

Last update Mon May 20 10:37:03 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page