dblp.uni-trier.dewww.uni-trier.de

Jane Hesketh Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1998
10 Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy: Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. 5(2): 183-210 (1998)
1994
9 David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. Fundam. Inform. 21(3): 163-182 (1994)
1993
8EEDavid Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. ISMIS 1993: 245-254
7 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: 64-66
6 Richard Barnett, David A. Basin, Jane Hesketh: A Recursion Planning Analysis of Inductive Completion. Ann. Math. Artif. Intell. 8(3-4): 363-381 (1993)
1992
5EEJane Hesketh, Alan Bundy, Alan Smaill: Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. CADE 1992: 310-324
4 Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh: Automated Reasoning with Uncertainties. Logic at Work 1992: 57-79
1991
3 Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh: Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. LOPSTR 1991: 27-45
2 Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill: Experiments with Proof Plans for Induction. J. Autom. Reasoning 7(3): 303-324 (1991)
1989
1 Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens: A Rational Reconstruction and Extension of Recursion Analysis. IJCAI 1989: 359-365

Coauthor Index

1Jaume Agustí-Cullell [8] [9]
2Richard Barnett [6]
3David A. Basin [6]
4Alan Bundy [1] [2] [3] [5] [7] [10]
5Norbert E. Fuchs [10]
6Ian Green [7]
7Frank van Harmelen [1] [2]
8Ina Kraan [3]
9Jordi Levy [8] [9]
10Peter Madden [7]
11David Stuart Robertson (David Robertson) [4] [8] [9] [10]
12Flávio S. Corrêa da Silva [4]
13Alan Smaill [1] [2] [5]
14Andrew Stevens [1]
15Geraint A. Wiggins [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)