Concepedia

Andrew Ireland

AI

Statistics

Publications

10

Citations

558

H-Index

10

Active since

1993

Affiliations

Heriot-Watt University(Current)

University of Edinburgh

Andrew Ireland is an author at Heriot-Watt University specializing in computing, formal methods, and computer science.

Publications per year

1993–2012

10

Publications

10

Rippling: A heuristic for guiding inductive proofs

Alan Bundy, Andrew Stevens, Frank van Harmelen et al. · Artificial Intelligence · 1993 · 226 citations · Full text

Computing, Computer Science, Algorithms +11

Productive use of failure in inductive proof

Andrew Ireland, Alan Bundy · Journal of Automated Reasoning · 1996 · 164 citations · Full text

Computing, Computer Science, Mathematics +12

Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on

Ewen Maclean, Andrew Ireland, Gudmund Grov · 2011 · 52 citations

Computing, Computer Engineering, Computer Science +14

Automatic verification of functions with accumulating parameters

Andrew Ireland, Alan Bundy · Journal of Functional Programming · 1999 · 24 citations · Full text

Computing, Computer Science, Compilers +16

Interactive Proof Critics

Andrew Ireland, Michael Jackson, Gordon Reid · Formal Aspects of Computing · 1999 · 21 citations

Computing, Computer Science, Algorithms +15

1–5 of 10