| 2006 |
|---|
| 5 | EE | Andrew Ireland,
Jamie Stark:
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.
Autom. Softw. Eng. 13(1): 65-105 (2006) |
| 2001 |
|---|
| 4 | EE | Giovanni Caire,
Wim Coulier,
Francisco J. Garijo,
Jorge J. Gómez-Sanz,
Juan Pavón,
Francisco Leal,
Paulo Chainho,
Paul E. Kearney,
Jamie Stark,
Richard Evans,
Philippe Massonet:
Agent Oriented Analysis Using Message/UML.
AOSE 2001: 119-135 |
| 2000 |
|---|
| 3 | | Andrew Ireland,
Jamie Stark:
Proof planning for strategy development.
Ann. Math. Artif. Intell. 29(1-4): 65-97 (2000) |
| 1999 |
|---|
| 2 | EE | Jamie Stark,
Andrew Ireland:
Towards Automatic Imperative Program Synthesis Through Proof Planning.
ASE 1999: 44-51 |
| 1998 |
|---|
| 1 | EE | Jamie Stark,
Andrew Ireland:
Invariant Discovery via Failed Proof Attempts.
LOPSTR 1998: 271-288 |
