Search the dblp DataBase
Jane Hesketh: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Jane Hesketh, Alan Bundy, Alan Smaill
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. [Citation Graph (0, 0)][DBLP]
CADE, 1992, pp:310-324 [Conf] - Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
A Rational Reconstruction and Extension of Recursion Analysis. [Citation Graph (0, 0)][DBLP]
IJCAI, 1989, pp:359-365 [Conf] - David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
Expressing Program Requirements Using Refinement Lattices. [Citation Graph (0, 0)][DBLP]
ISMIS, 1993, pp:245-254 [Conf] - Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh
Automated Reasoning with Uncertainties. [Citation Graph (0, 0)][DBLP]
Logic at Work, 1992, pp:57-79 [Conf] - Peter Madden, Jane Hesketh, Ian Green, Alan Bundy
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). [Citation Graph (0, 0)][DBLP]
LOPSTR, 1993, pp:64-66 [Conf] - Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. [Citation Graph (0, 0)][DBLP]
LOPSTR, 1991, pp:27-45 [Conf] - Richard Barnett, David A. Basin, Jane Hesketh
A Recursion Planning Analysis of Inductive Completion. [Citation Graph (0, 0)][DBLP]
Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:363-381 [Journal] - Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy
Lightweight Formalisation in Support of Requirements Engineering. [Citation Graph (0, 0)][DBLP]
Autom. Softw. Eng., 1998, v:5, n:2, pp:183-210 [Journal] - David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
Expressing Program Requirements Using Refinement Lattices. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1994, v:21, n:3, pp:163-182 [Journal] - Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
Experiments with Proof Plans for Induction. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1991, v:7, n:3, pp:303-324 [Journal]
Search in 0.001secs, Finished in 0.002secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002