George W. Ernst

According to our database1, George W. Ernst
  • authored at least 25 papers between 1967 and 1994.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1994
Modular Verification of Data Abstractions with Shared Realizations.
IEEE Trans. Software Eng., 1994

1991
Modular Verification of Ada Generics.
Comput. Lang., 1991

1990
Learning Problem Solving Strategies Using Refinement and Macro Generation.
Artif. Intell., 1990

1989
An Expert System which Intelligently Accesses an External Database.
Proceedings of the Logic Programming, 1989

Knowledge based system to diagnose faults in discrete event systems.
IEA/AIE (1), 1989

1986
CaseDE Design Environment Centers on Specifications.
IEEE Software, 1986

1983
On the Relationship Between Strong and Weak Problem Solvers.
AI Magazine, 1983

1982
Formal Program Verification Using Symbolic Execution.
IEEE Trans. Software Eng., 1982

Mechanical Discovery of Classes of Problem-Solving Strategies.
J. ACM, 1982

Verification of Programs with Procedure-Type Parameter.
Acta Inf., 1982

1980
Specification of Abstract Data Types in Modula.
ACM Trans. Program. Lang. Syst., 1980

1977
Rules of Inference for Procedure Calls.
Acta Inf., 1977

A Theory for the Complete Mechanization of a GPS-Type Problem Solver.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

A Comparsion of Three Problem-Solving Methods.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
The Use of Higher Order Logic in Program Verification.
IEEE Trans. Computers, 1976

A Definition-Driven Theorem Prover.
IEEE Trans. Computers, 1976

SICSOFT (Paper Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

A program verification system.
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1973
A Definition-Driven Theorem Prover.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1972
Strategy Construction Using Homomorphisms Between Games.
Artif. Intell., 1972

1971
The Utility of Independent Subgoals in Theorem Proving
Information and Control, April, 1971

Changes in Representation which Preserve Strategies in Games.
Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971

1969
Learning patterns in terms of other patterns.
Pattern Recognition, 1969

Sufficient Conditions for the Success of GPS.
J. ACM, 1969

1967
Some issues of representation in a general problem solver.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, 1967


  Loading...