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

Elaine Kant Vis

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

*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
15EERobert 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)
7EEGail E. Kaiser, Elaine Kant: Incremental parsing without a parser. Journal of Systems and Software 5(2): 121-144 (1985)
1984
6EEElaine 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

Coauthor Index

1Larry A. Akers [15]
2Robert L. Akers [16] [17]
3David R. Barstow [1] [2]
4Ion Bica [16] [17]
5Tom Cain [13]
6Gail E. Kaiser [7]
7Allen Newell [3] [5] [6]
8Curt Randall [16] [17]
9Dorothy E. Setliff [13]
10David M. Steier [8] [10]
11Robert L. Young [15] [16] [17]

Colors in the list of coauthors

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