Alan Bundy (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Alan Bundy" in English language version.

Last modified: 16:22:09, 29 August 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

53wikidata.org

10^th place

98^th place

55ed.ac.uk

1,867^th place

1,129^th place

33doi.org

2^nd place

33hdl.handle.net

66^th place

34^th place

32web.archive.org

1^st place

22worldcat.org

4^th place

21scholar.google.com

1,418^th place

768^th place

21mathgenealogy.org

1,849^th place

1,732^nd place

22acm.org

1,200^th place

821^st place

21royalsociety.org

1,939^th place

1,533^rd place

11ukwhoswho.com

724^th place

361^st place

11dblp.org

low place

11scopus.com

6,900^th place

4,763^rd place

11semanticscholar.org

15^th place

8^th place

11le.ac.uk

5,679^th place

3,495^th place

11bl.uk

1,181^st place

639^th place

11raeng.org.uk

low place

8,406^th place

11hp.com

4,971^st place

3,200^th place

11thegazette.co.uk

151^st place

84^th place

acm.org (Global: 1,200^th place; English: 821^st place)

dl.acm.org

Alan Bundy author profile page at the ACM Digital Library

awards.acm.org

ACM Fellows 2014

bl.uk (Global: 1,181^st place; English: 639^th place)

ethos.bl.uk

Bundy, Alan Richard (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester. hdl:2381/34566. OCLC 1063438754. EThOS uk.bl.ethos.674029.

dblp.org (Global: low place; English: low place)

Alan Bundy at DBLP Bibliography Server

doi.org (Global: 2^nd place; English: 2^nd place)

Anon (2015). "Bundy, Prof. Alan Richard". Who's Who (online Oxford University Press ed.). A & C Black. doi:10.1093/ww/9780199540884.013.U9391. (Subscription or UK public library membership required.)
Bundy, Alan Richard (1988). "The use of explicit plans to guide inductive proofs" (PDF). 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 111–120. doi:10.1007/BFb0012826. hdl:1842/4561. ISBN 978-3-540-19343-2.
Bundy, A.; Stevens, A.; Van Harmelen, F.; Ireland, A.; Smaill, A. (1993). "Rippling: A heuristic for guiding inductive proofs". Artificial Intelligence. 62 (2): 185. doi:10.1016/0004-3702(93)90079-Q. hdl:1842/4748. S2CID 7169278.

ed.ac.uk (Global: 1,867^th place; English: 1,129^th place)

homepages.inf.ed.ac.uk

http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website

dream.inf.ed.ac.uk

http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group

pure.ed.ac.uk

Bundy, Alan Richard (1988). "The use of explicit plans to guide inductive proofs" (PDF). 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 111–120. doi:10.1007/BFb0012826. hdl:1842/4561. ISBN 978-3-540-19343-2.

inf.ed.ac.uk

Bundy, Alan (1986). Computer modelling of mathematical reasoning (PDF). OCLC 59289386.

research.ed.ac.uk

"Alan Bundy". research.ed.ac.uk. Retrieved 7 September 2021.

hdl.handle.net (Global: 66^th place; English: 34^th place)

Bundy, Alan Richard (1988). "The use of explicit plans to guide inductive proofs" (PDF). 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 111–120. doi:10.1007/BFb0012826. hdl:1842/4561. ISBN 978-3-540-19343-2.
Bundy, A.; Stevens, A.; Van Harmelen, F.; Ireland, A.; Smaill, A. (1993). "Rippling: A heuristic for guiding inductive proofs". Artificial Intelligence. 62 (2): 185. doi:10.1016/0004-3702(93)90079-Q. hdl:1842/4748. S2CID 7169278.
Bundy, Alan Richard (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester. hdl:2381/34566. OCLC 1063438754. EThOS uk.bl.ethos.674029.

hp.com (Global: 4,971^st place; English: 3,200^th place)

"HP Press Release: HP Selects 41 Professors for Innovation Research Awards".

le.ac.uk (Global: 5,679^th place; English: 3,495^th place)

lra.le.ac.uk

Bundy, Alan Richard (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester. hdl:2381/34566. OCLC 1063438754. EThOS uk.bl.ethos.674029.

mathgenealogy.org (Global: 1,849^th place; English: 1,732^nd place)

Alan Bundy at the Mathematics Genealogy Project

raeng.org.uk (Global: low place; English: 8,406^th place)

"List of Fellows". raeng.org.uk. Royal Academy of Engineering. Archived from the original on 8 June 2016. Retrieved 14 October 2014.

royalsociety.org (Global: 1,939^th place; English: 1,533^rd place)

"Professor Alan Bundy CBE FREng FRS". London: Royal Society. Archived from the original on 5 November 2015.

scholar.google.com (Global: 1,418^th place; English: 768^th place)

Alan Bundy publications indexed by Google Scholar

scopus.com (Global: 6,900^th place; English: 4,763^rd place)

Alan Bundy publications indexed by the Scopus bibliographic database. (subscription required)

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Bundy, A.; Stevens, A.; Van Harmelen, F.; Ireland, A.; Smaill, A. (1993). "Rippling: A heuristic for guiding inductive proofs". Artificial Intelligence. 62 (2): 185. doi:10.1016/0004-3702(93)90079-Q. hdl:1842/4748. S2CID 7169278.

thegazette.co.uk (Global: 151^st place; English: 84^th place)

"No. 60009". The London Gazette (Supplement). 31 December 2011. p. 7.

ukwhoswho.com (Global: 724^th place; English: 361^st place)

Anon (2015). "Bundy, Prof. Alan Richard". Who's Who (online Oxford University Press ed.). A & C Black. doi:10.1093/ww/9780199540884.013.U9391. (Subscription or UK public library membership required.)

web.archive.org (Global: 1^st place; English: 1^st place)

"List of Fellows". raeng.org.uk. Royal Academy of Engineering. Archived from the original on 8 June 2016. Retrieved 14 October 2014.
"Professor Alan Bundy CBE FREng FRS". London: Royal Society. Archived from the original on 5 November 2015.

wikidata.org (Global: 10^th place; English: 98^th place)

Alan Bundy publications indexed by Google Scholar
Alan Bundy at the Mathematics Genealogy Project
Alan Bundy at DBLP Bibliography Server

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Bundy, Alan (1986). Computer modelling of mathematical reasoning (PDF). OCLC 59289386.
Bundy, Alan Richard (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester. hdl:2381/34566. OCLC 1063438754. EThOS uk.bl.ethos.674029.

Alan Bundy (English Wikipedia)

acm.org (Global: 1,200th place; English: 821st place)

dl.acm.org

awards.acm.org

bl.uk (Global: 1,181st place; English: 639th place)

ethos.bl.uk

dblp.org (Global: low place; English: low place)

doi.org (Global: 2nd place; English: 2nd place)

ed.ac.uk (Global: 1,867th place; English: 1,129th place)

homepages.inf.ed.ac.uk

dream.inf.ed.ac.uk

pure.ed.ac.uk

inf.ed.ac.uk

research.ed.ac.uk

hdl.handle.net (Global: 66th place; English: 34th place)

hp.com (Global: 4,971st place; English: 3,200th place)

le.ac.uk (Global: 5,679th place; English: 3,495th place)

lra.le.ac.uk

mathgenealogy.org (Global: 1,849th place; English: 1,732nd place)

raeng.org.uk (Global: low place; English: 8,406th place)

royalsociety.org (Global: 1,939th place; English: 1,533rd place)

scholar.google.com (Global: 1,418th place; English: 768th place)

scopus.com (Global: 6,900th place; English: 4,763rd place)

semanticscholar.org (Global: 15th place; English: 8th place)