The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Elaine Kant: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002