Jane Hesketh

According to our database, Jane Hesketh authored at least 10 papers between 1989 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Lightweight Formalisation in Support of Requirements Engineering.

Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy

Autom. Softw. Eng., 1998

1997

Reliable and accountable system design.

Paul J. Krause, Jane Hesketh, Dave Robertson

Knowl. Eng. Rev., 1997

1994

Expressing Program Requirements Using Refinement Lattices.

David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy

Fundam. Informaticae, 1994

1993

A Recursion Planning Analysis of Inductive Completion.

Richard Barnett, David A. Basin, Jane Hesketh

Ann. Math. Artif. Intell., 1993

A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).

Peter Madden, Jane Hesketh, Ian Green, Alan Bundy

Proceedings of the Logic Program Synthesis and Transformation, 1993

1992

Automated Reasoning with Uncertainties.

Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh

Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992

Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs.

Jane Hesketh, Alan Bundy, Alan Smaill

Proceedings of the Automated Deduction, 1992

1991

Experiments with Proof Plans for Induction.

Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill

J. Autom. Reason., 1991

Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.

Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh

Proceedings of the Logic Program Synthesis and Transformation, 1991

1989

A Rational Reconstruction and Extension of Recursion Analysis.

Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989