Alan Bundy
About
In The Last Decade
Alan Bundy
186 papers receiving 3.2k citations
Hit Papers
Peers
Comparison fields: 5 of 153
- Artificial Intelligence 2.4k
- Computational Theory and Mathematics 1.1k
- Computer Networks and Communications 655
- Information Systems 621
- Software 475
Countries citing papers authored by Alan Bundy
This map shows the geographic impact of Alan Bundy's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Alan Bundy with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Alan Bundy more than expected).
Fields of papers citing papers by Alan Bundy
This network shows the impact of papers produced by Alan Bundy. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Alan Bundy. The network helps show where Alan Bundy may publish in the future.
Co-authorship network of co-authors of Alan Bundy
This figure shows the co-authorship network connecting the top 25 collaborators of Alan Bundy. A scholar is included among the top collaborators of Alan Bundy based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Alan Bundy. Alan Bundy is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project | 1 |
| 2 | Using linked data for semi-automatic guesstimation | 1 |
| 3 | KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development | 6 |
| 4 | Harnessing the power of folksonomies for formal ontology matching on-the-fly | 2 |
| 5 | Ideas for a high-level proof strategy language | 1 |
| 6 | Learning from experts to aid the automation of proof search | 4 |
| 7 | Why Ontology Evolution Is Essential in Modelling Scientific Discovery | 2 |
| 8 | Automated Discovery of Inductive Theorems | 12 |
| 9 | Combining Knowledge and Search to Solve Single-Suit Bridge | 7 |
| 10 | Automation of Diagrammatic Reasoning | 5 |
| 11 | Computing abstraction hierarchies by numerical simulation | 3 |
| 12 | Proceedings of the Third International Conference on Artificial Intelligence Planning Systems | 4 |
| 13 | A broader interpretation of logic in logic programming | 4 |
| 14 | What stories should we tell novice PROLOG programmers | 22 |
| 15 | Programming tools for Prolog environments | 9 |
| 16 | Raising the standards of AI products | 4 |
| 17 | An intelligent front end for ecological modelling | 12 |
| 18 | Can domain specific knowledge be generalized | 2 |
| 19 | Analyzing mathematical proofs (or reading between the lines) | 8 |
| 20 | Doing arithmetic with diagrams | 50 |
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.