| 2001 |
|---|
| 17 | | Robert L. Akers,
Ion Bica,
Elaine Kant,
Curt Randall,
Robert L. Young:
SciFinance: A Program Synthesis Tool for Financial Modeling.
AI Magazine 22(2): 27-42 (2001) |
| 2000 |
|---|
| 16 | | Robert L. Akers,
Ion Bica,
Elaine Kant,
Curt Randall,
Robert L. Young:
SciFinance: A Program Synthesis Tool for Financial Modeling.
AAAI/IAAI 2000: 937-944 |
| 15 | EE | Robert L. Young,
Elaine Kant,
Larry A. Akers:
A knowledge-based electronic information and documentation system.
IUI 2000: 280-285 |
| 1993 |
|---|
| 14 | | Elaine Kant:
Synthesis of Mathematical Modeling Software.
IEEE Software 10(3): 30-41 (1993) |
| 13 | | Dorothy E. Setliff,
Elaine Kant,
Tom Cain:
Practical Software Synthesis - Introduction.
IEEE Software 10(3): 6-9 (1993) |
| 1988 |
|---|
| 12 | | Elaine Kant:
Interactive Problem Solving: Using Task Configuration and Control.
IEEE Expert 3(4): 36-49 (1988) |
| 1985 |
|---|
| 11 | | Elaine Kant:
Understanding and Automating Algorithm Design.
IJCAI 1985: 1243-1253 |
| 10 | | David M. Steier,
Elaine Kant:
Symbolic Execution in Algorithm Design.
IJCAI 1985: 225-231 |
| 9 | | Elaine Kant:
Understanding and Automating Algorithm Design.
IEEE Trans. Software Eng. 11(11): 1361-1374 (1985) |
| 8 | | David M. Steier,
Elaine Kant:
The Roles of Execution and Analysis in Algorithm Design.
IEEE Trans. Software Eng. 11(11): 1375-1386 (1985) |
| 7 | EE | Gail E. Kaiser,
Elaine Kant:
Incremental parsing without a parser.
Journal of Systems and Software 5(2): 121-144 (1985) |
| 1984 |
|---|
| 6 | EE | Elaine Kant,
Allen Newell:
Problem solving techniques for the design of algorithms.
Inf. Process. Manage. 20(1-2): 97-118 (1984) |
| 1983 |
|---|
| 5 | | Elaine Kant,
Allen Newell:
An Automatic Algorithm Designer: An Initial Implementation.
AAAI 1983: 177-181 |
| 4 | | Elaine Kant:
On the Efficient Synthesis of Efficient Programs.
Artif. Intell. 20(3): 253-305 (1983) |
| 1982 |
|---|
| 3 | | Elaine Kant,
Allen Newell:
Naive Algorithm Design Techniques: A Case Study.
ECAI 1982: 102-105 |
| 1981 |
|---|
| 2 | | Elaine Kant,
David R. Barstow:
The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis.
IEEE Trans. Software Eng. 7(5): 458-471 (1981) |
| 1976 |
|---|
| 1 | | David R. Barstow,
Elaine Kant:
Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System.
ICSE 1976: 19-31 |
