Elaine Kant - RankMe

27 papers A* 6A 2Journal 12Unranked 6

Year	Rank	Type	Title / Venue / Authors
2011	—	`conf`	Domain specific languages and the acceleration of computational finance. WHPCF@SC Elaine Kant
2001	J	`jnl`	SciFinance: A Program Synthesis Tool for Financial Modeling. AI Mag. Robert L. Akers, Ion Bica, Elaine Kant, Curt Randall, Robert L. Young
2000	A	`conf`	A knowledge-based electronic information and documentation system. IUI Robert L. Young, Elaine Kant, Larry A. Akers
2000	—	`conf`	SciFinance: A Program Synthesis Tool for Financial Modeling. AAAI/IAAI Robert L. Akers, Ion Bica, Elaine Kant, Curt Randall, Robert L. Young
1999	J	`jnl`	Implementing option-pricing models using software synthesis. Comput. Sci. Eng. James Gatheral, Yonathan Epelbaum, Jining Han, Kishor Laud, Olga Lubovitsky, Elaine Kant, Curt Randall
1997	—	`conf`	Numerical options models without programming. CIFEr Curt Randall, Elaine Kant
1993	J	`jnl`	Practical Software Synthesis - Introduction. IEEE Softw. Dorothy E. Setliff, Elaine Kant, Tom Cain
1993	J	`jnl`	Synthesis of Mathematical Modeling Software. IEEE Softw. Elaine Kant
1992	—	`conf`	Knowledge-based support for scientific programming. KBSE Elaine Kant
1988	J	`jnl`	Interactive Problem Solving: Using Task Configuration and Control. IEEE Expert Elaine Kant
1985	J	`jnl`	Incremental parsing without a parser. J. Syst. Softw. Gail E. Kaiser, Elaine Kant
1985	A*	`conf`	Symbolic Execution in Algorithm Design. IJCAI David M. Steier, Elaine Kant
1985	J	`jnl`	The Roles of Execution and Analysis in Algorithm Design. IEEE Trans. Software Eng. David M. Steier, Elaine Kant
1985	A*	`conf`	Understanding and Automating Algorithm Design. IJCAI Elaine Kant
1985	J	`jnl`	Understanding and Automating Algorithm Design. IEEE Trans. Software Eng. Elaine Kant
1984	J	`jnl`	Problem solving techniques for the design of algorithms. Inf. Process. Manag. Elaine Kant, Allen Newell
1983	A*	`conf`	An Automatic Algorithm Designer: An Initial Implementation. AAAI Elaine Kant, Allen Newell
1983	J	`jnl`	On the Efficient Synthesis of Efficient Programs. Artif. Intell. Elaine Kant
1982	A	`conf`	Naive Algorithm Design Techniques: A Case Study. ECAI Elaine Kant, Allen Newell
1981	J	`jnl`	The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis. IEEE Trans. Software Eng. Elaine Kant, David R. Barstow
1980	J	`jnl`	Review of "Principles of Artificial Intelligence by Nils J. Nilsson", Tioga Publishing Co. SIGART Newsl. Elaine Kant
1979	A*	`conf`	A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis. IJCAI Elaine Kant
1979	—	`—`	Efficiency considerations in program synthesis : a knowledge-based approach. Elaine Kant
1979	A*	`conf`	Results in Knowledge-Based Program Synthesis. IJCAI C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold
1978	—	`conf`	Efficiency estimation - Controlling search in program synthesis. AFIPS National Computer Conference Elaine Kant
1977	—	`conf`	The selection of efficient implementations for a high-level language. Artificial Intelligence and Programming Languages Elaine Kant
1976	A*	`conf`	Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System. ICSE David R. Barstow, Elaine Kant