Andrew Ireland
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Advanced Software Engineering Methodologies, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Rippling: A heuristic for guiding inductive proofs(1993)225 cited
- → Extensions to the rippling-out tactic for guiding inductive proofs(1990)223 cited
- → Productive use of failure in inductive proof(1996)163 cited
- → Rippling: Meta-Level Guidance for Mathematical Reasoning(2005)141 cited
- → The use of planning critics in mechanizing inductive proofs(2005)67 cited
- Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on(2011)
- → Invariant Discovery via Failed Proof Attempts(1999)39 cited
- → On the use of the constructive omega-rule within automated deduction(2005)29 cited
- → Automatic verification of functions with accumulating parameters(1999)24 cited
- → Proof plans for the correction of false conjectures(1994)21 cited