Jane Hesketh

Publication Activity (10 Years)

Years Active: 1989-1998
Publications (10 Years): 0

Publications

Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy
Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. 5 (2) (1998)
Paul J. Krause, Jane Hesketh, Dave Robertson
Reliable and accountable system design. Knowl. Eng. Rev. 12 (3) (1997)
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
Expressing Program Requirements Using Refinement Lattices. Fundam. Informaticae 21 (3) (1994)
Richard Barnett, David A. Basin, Jane Hesketh
A Recursion Planning Analysis of Inductive Completion. Ann. Math. Artif. Intell. 8 (3-4) (1993)
Peter Madden, Jane Hesketh, Ian Green, Alan Bundy
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). LOPSTR (1993)
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
Expressing Program Requirements Using Refinement Lattices. ISMIS (1993)
Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh
Automated Reasoning with Uncertainties. Logic at Work (1992)
Jane Hesketh, Alan Bundy, Alan Smaill
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. CADE (1992)
Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
Experiments with Proof Plans for Induction. J. Autom. Reason. 7 (3) (1991)
Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. LOPSTR (1991)
Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
A Rational Reconstruction and Extension of Recursion Analysis. IJCAI (1989)