Concepedia

Elaine Kant

EK

17

Publications

511

Citations

14

H-Index

1976

Active since

Affiliations

Carnegie Mellon University(Current)

Schlumberger (United States)

Stanford University

Elaine Kant is an author at Carnegie Mellon University specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisSoftware EngineeringSoftware DesignComputer EngineeringDesignAutomated Reasoning

Publications per year

1976–1998

17

Publications

17

Problem solving techniques for the design of algorithms

Elaine Kant, Allen Newell · Information Processing & Management · 1984 · 102 citations · Full text

Mathematical Programming, Engineering, Algorithm Engineering +8

The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis

Elaine Kant, D Barstow · IEEE Transactions on Software Engineering · 1981 · 54 citations

Program Synthesis Paradigm, Engineering, Software Engineering +22

Synthesis of mathematical-modeling software

Elaine Kant · IEEE Software · 1993 · 51 citations

Engineering, Modeling Method, Software Engineering +22

On the efficient synthesis of efficient programs

Elaine Kant · Artificial Intelligence · 1983 · 48 citations

Mathematical Programming, Engineering, Program Analysis +10

SciNapse: a problem-solving environment for partial differential equations

Robert L. Akers, Elaine Kant, C. J. Randall et al. · IEEE Computational Science and Engineering · 1997 · 47 citations

Numerical Analysis, Mathematical Programming, Engineering +20

Rows per page

1–5 of 17