Alan Bundy

Cited by

	All	Since 2016
Citations	9134	1161
h-index	43	15
i10-index	166	28

380

190

285

19831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202144 44 86 109 151 137 168 179 193 243 288 360 162 264 212 276 330 245 244 253 229 312 302 302 375 260 282 296 258 277 286 245 200 173 260 254 251 220 1

Co-authors

Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Fiona McNeillReader in Computing Education, University of EdinburghVerified email at ed.ac.uk
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
David RobertsonProfessor of Applied Logic, University of EdinburghVerified email at inf.ed.ac.uk
Graham SteelINRIAVerified email at cryptosense.com
Helen PainUniversity of EdinburghVerified email at inf.ed.ac.uk
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at disi.unitn.it
Leon SterlingSwinburne University of TechnologyVerified email at swin.edu.au
Weiru LiuProfessor of Artificial Intelligence, University of BristolVerified email at qub.ac.uk
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Dieter HutterGerman Research Center for Artificial IntelligenceVerified email at dfki.de
Raul MonroyProfessor of Computer Science, Tecnologico de Monterrey, Campus Estado de MexicoVerified email at tec.mx
Chris MellishComputing Science, University of AberdeenVerified email at abdn.ac.uk
John LevineSenior Lecturer, University of StrathclydeVerified email at strath.ac.uk
Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of BelgradeVerified email at matf.bg.ac.rs
Jon WhittleCSIRO's Data61Verified email at data61.csiro.au
Geraint WigginsProfessor of Computational Creativity, Vrije Universiteit Brussel / Queen Mary University of LondonVerified email at vub.ac.be

Alan Bundy

Professor of Automated Reasoning, University of Edinburgh

Verified email at ed.ac.uk - Homepage

Artificial Intelligence Automated Reasoning Formal Methods Ontology Evolution


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The use of explicit plans to guide inductive proofs A Bundy International conference on automated deduction, 111-120, 1988	555	1988
The computer modelling of mathematical reasoning A Bundy Academic Press, 1983	457	1983
Rippling: A heuristic for guiding inductive proofs A Bundy, A Stevens, F Van Harmelen, A Ireland, A Smaill Elsevier, 1993	373	1993
The O^YS^TER-CL^AM system A Bundy, F Van Harmelen, C Horn, A Smaill International Conference on Automated Deduction, 647-648, 1990	331	1990
Computational thinking is pervasive A Bundy Journal of Scientific and Practical Computing 1 (2), 67-69, 2007	266	2007
Productive use of failure in inductive proof A Ireland, A Bundy Automated Mathematical Induction, 79-111, 1996	234	1996
Experiments with proof plans for induction A Bundy, F Van Harmelen, J Hesketh, A Smaill Journal of Automated reasoning 7 (3), 303-324, 1991	204	1991
Rippling: meta-level guidance for mathematical reasoning A Bundy, D Basin, D Hutter, A Ireland Cambridge University Press, 2005	197	2005
The automation of proof by mathematical induction A Bundy	191	1999
A science of reasoning A Bundy International conference on automated reasoning with analytic tableaux and …, 1998	185	1998
Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation A Bundy, B Welham Artificial Intelligence 16 (2), 189-211, 1981	177	1981
Incidence calculus: a mechanism for probabilistic reasoning A Bundy Journal of automated reasoning 1 (3), 263-283, 1985	176	1985
An analytical comparison of some rule-learning programs A Bundy, B Silver, D Plummer Artificial Intelligence 27 (2), 137-181, 1985	171	1985
Explanation-based generalisation= partial evaluation F Van Harmelen, A Bundy Artificial Intelligence 36 (3), 401-412, 1988	169	1988
Solving mechanics problems using meta-level inference A Bundy, L Byrd, G Luger, C Mellish, M Palmer	154	1979
On the notion of interestingness in automated mathematical discovery S Colton, A Bundy, T Walsh International Journal of Human-Computer Studies 53 (3), 351-375, 2000	124	2000
Extensions to the rippling-out tactic for guiding inductive proofs A Bundy, F Van Harmelen, A Smaill, A Ireland International Conference on Automated Deduction, 132-146, 1990	97	1990
Eco-logic: logic-based approaches to ecological modelling D Robertson, A Bundy, R Muetzelfeldt, M Haggith, M Uschold MIT press, 1991	92	1991
Conjecture synthesis for inductive theories M Johansson, L Dixon, A Bundy Journal of Automated Reasoning 47 (3), 251-289, 2011	84	2011
Automatic verification of design patterns in Java A Blewitt, A Bundy, I Stark Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005	82	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors