# | | Year | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
| | 1999 | Madden, Peter
[Bundy, Alan]
[Smaill, Alan] | | | Recursive Program Optimization Through Inductive Synthesis Proof Transformation
In: Journal of Automated Reasoning [22], 65-115 | Journal Article | |
| | 1996 | [Cantu, Francisco]
[Bundy, Alan]
[Smaill, Alan]
Basin, David A. | [Srivas, M.]
[Camilleri, A.] | | Experiments in Automating Hardware Verification using Inductive Proof Planning
In: Proceedings of the Formal Methods for Computer-Aided Design Conference (FMCAD'96), 94-108 | Proceedings Article | |
| | 1996 | [Kraan, Ina]
Basin, David A.
[Bundy, Alan] | | | Middle-out reasoning for synthesis and induction
In: Journal of Automated Reasoning [16], 113-145 | Journal Article | |
| | 1996 | [Kraan, Ina]
Basin, David A.
[Bundy, Alan] | Zhang, Hantao | | Middle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145 | Part of a Book | |
| | 1995 | Bundy, Alan
[Lombart, V.] | Mellish, C. | | Relational Rippling: a General Approach
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 175-181 | Proceedings Article | |
| | 1994 | [Yoshida, Tetsuja]
Bundy, Alan
[Green, Ian]
[Walsh, Toby]
Basin, David A. | Cohn, Tony | | Coloured Rippling: An Extension of a Theorem Proving Heuristic
In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89 | Proceedings Article | |
| | 1993 | Basin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán | | | A Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171 | Proceedings Article | |
| | 1993 | Kraan, Ina
Basin, David A.
Bundy, Alan | | | Middle-Out Reasoning for Logic Program Synthesis
In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), 441-455 | Proceedings Article | |
| | 1993 | Kraan, Ina
Basin, David A.
Bundy, Alan | Lau, K. K.
Clement, T. | | Logic Program Synthesis via Proof Planning
In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), 1-14 | Proceedings Article | |
| | 1993 | Madden, Peter
[Bundy, Alan] | | | General Proof Theoretic Techniques for Automatic
Programing
In: Proceedings of the EAST-WEST AI CONFERENCE: From
Theory to Practice - EWAIC'93, | Proceedings Article | |
| | 1992 | Frank, Ian
Basin, David A.
Bundy, Alan | Neuman, B.
Horn, W. | | Finesse: An Adaptation of Proof-Planning to Declarer Play in Bridge
In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), 72-76 | Proceedings Article | |
7 |
| |
1 |
| Burchardt, Aljoscha |
| |
3 |
| Bürckert, Hans-Jürgen (ed.) |
| |
1 |
| Burkard, Rainer E. (ed.) |
| |
1 |
| Buttazzo, Giorgio C. (ed.) |
| |
1 |
| Cachro, Jacek (ed.) |
| |
2 |
| |
1 |
| Calvanese, Diego (ed.) |
| |
1 |
| |
1 |
| Campbell, John A. (ed.) |
| |
1 |
| |
1 |
| Carbonell, J. G. (ed.) |
| |
2 |
| Carlucci-Aiello, Luigia (ed.) |
| |
1 |
| Cassandras, Christos (ed.) |
| |
2 |
| |
1 |
| Cavalcanti, Marcos (ed.) |
| |
1 |
| |
2 |
| Cerone, Antonio (ed.) |
| |
2 |
| |