Alan Bundy

Cited by

	All	Since 2015
Citations	9067	1306
h-index	43	16
i10-index	167	30

380

190

285

198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202034 21 44 44 86 109 150 136 169 178 193 243 288 360 162 263 212 276 330 244 244 253 229 312 302 302 375 260 280 295 258 276 287 243 199 174 260 245 254 172

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
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at disi.unitn.it
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
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	554	1988
The computer modelling of mathematical reasoning A Bundy Academic Press, 1983	455	1983
Rippling: A heuristic for guiding inductive proofs A Bundy, A Stevens, F Van Harmelen, A Ireland, A Smaill Elsevier, 1993	372	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	330	1990
Computational thinking is pervasive A Bundy Journal of Scientific and Practical Computing 1 (2), 67-69, 2007	255	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	192	2005
The automation of proof by mathematical induction A Bundy	188	1999
A science of reasoning A Bundy International conference on automated reasoning with analytic tableaux and …, 1998	184	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	175	1985
An analytical comparison of some rule-learning programs A Bundy, B Silver, D Plummer Artificial Intelligence 27 (2), 137-181, 1985	170	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	123	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