The SCEAS System
| |||||||

## Search the dblp DataBase
Andrew Ireland:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland
**Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs.**[Citation Graph (0, 0)][DBLP] CADE, 1990, pp:132-146 [Conf] - Andrew Ireland, Alan Bundy
**Extensions to a Generalization Critic for Inductive Proof.**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:47-61 [Conf] - Bill J. Ellis, Andrew Ireland
**An Integration of Program Analysis and Automated Theorem Proving.**[Citation Graph (0, 0)][DBLP] IFM, 2004, pp:67-86 [Conf] - Andrew Cook, Andrew Ireland, Greg Michaelson
**Higher Order Function Synthesis Through Proof Planning.**[Citation Graph (0, 0)][DBLP] ASE, 2001, pp:307-310 [Conf] - Bill J. Ellis, Andrew Ireland
**Automation for Exception Freedom Proofs.**[Citation Graph (0, 0)][DBLP] ASE, 2003, pp:343-346 [Conf] - Andrew Ireland
**Towards Automatic Assertion Refinement for Separation Logic.**[Citation Graph (0, 0)][DBLP] ASE, 2006, pp:309-312 [Conf] - Jamie Stark, Andrew Ireland
**Towards Automatic Imperative Program Synthesis Through Proof Planning.**[Citation Graph (0, 0)][DBLP] ASE, 1999, pp:44-51 [Conf] - Jamie Stark, Andrew Ireland
**Invariant Discovery via Failed Proof Attempts.**[Citation Graph (0, 0)][DBLP] LOPSTR, 1998, pp:271-288 [Conf] - Siani Baker, Andrew Ireland, Alan Smaill
**On the Use of the Constructive Omega-Rule within Automated Deduction.**[Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:214-225 [Conf] - Andrew Ireland
**The Use of Planning Critics in Mechanizing Inductive Proofs.**[Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:178-189 [Conf] - Alistair Manning, Andrew Ireland, Alan Bundy
**Incresing the Versatility of Heuristic Based Theorem Provers.**[Citation Graph (0, 0)][DBLP] LPAR, 1993, pp:194-204 [Conf] - Raul Monroy, Alan Bundy, Andrew Ireland
**Proof Plans for the Correction of False Conjectures.**[Citation Graph (0, 0)][DBLP] LPAR, 1994, pp:54-68 [Conf] - Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen
**Invariant Patterns for Program Reasoning.**[Citation Graph (0, 0)][DBLP] MICAI, 2004, pp:190-201 [Conf] - Andrew Ireland
**On Exploiting the Structure of Martin-Löf's Theory of Types.**[Citation Graph (0, 0)][DBLP] ÖGAI, 1991, pp:126-136 [Conf] - Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
**Rippling: A Heuristic for Guiding Inductive Proofs.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 1993, v:62, n:2, pp:185-253 [Journal] - Andrew Ireland, Jamie Stark
**Proof planning for strategy development.**[Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:65-97 [Journal] - Andrew Ireland, Jamie Stark
**Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.**[Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2006, v:13, n:1, pp:65-105 [Journal] - Andrew Ireland
**On Exploiting the Structure of Martin-Löf's Theory of Types.**[Citation Graph (0, 0)][DBLP] Comput. J., 1993, v:36, n:4, pp:387-298 [Journal] - Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife
**Discovering applications of higher order functions through proof planning.**[Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2005, v:17, n:1, pp:38-57 [Journal] - Andrew Ireland, Michael Jackson, Gordon Reid
**Interactive Proof Critics.**[Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1999, v:11, n:3, pp:302-325 [Journal] - Andrew Ireland
**Productive Use of Failure in Inductive Proof.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:16, n:1-2, pp:79-111 [Journal] - Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
**An Integrated Approach to High Integrity Software Verification.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:36, n:4, pp:379-410 [Journal] - Andrew Ireland, Alan Bundy
**Automatic Verification of Functions with Accumulating Parameters.**[Citation Graph (0, 0)][DBLP] J. Funct. Program., 1999, v:9, n:2, pp:225-245 [Journal] - Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
**Low-Level Programming in Hume: An Exploration of the HW-Hume Level.**[Citation Graph (0, 0)][DBLP] IFL, 2006, pp:91-107 [Conf] **Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.**[Citation Graph (, )][DBLP]**Formal verification of concurrent scheduling strategies using TLA.**[Citation Graph (, )][DBLP]**PARTES: Performance Analysis of Real-Time Embedded Systems.**[Citation Graph (, )][DBLP]**Preserving coordination properties when transforming concurrent system components.**[Citation Graph (, )][DBLP]**Tool Integration for Reasoned Programming.**[Citation Graph (, )][DBLP]**Guest Editorial.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |