Giles Reger
- Artificial Intelligence
- Software top 5%
- Computational Theory and Mathematics top 10%
- Information Systems
- Computer Networks and Communications
- Co-authors
- Howard BarringerDavid RydeheardYlìès FalconeMartin SudaDmitriy TraytelSrđan KrstićАндрей ВоронковAina Niemetz
- Topics
- Software Testing and Debugging Techniques (12 papers)Logic, programming, and type systems (11 papers)Logic, Reasoning, and Knowledge (8 papers)
- Journals
- SHILAP Revista de lepidopterologíaInternational Journal on Software Tools for Technology TransferResearch Explorer (The University of Manchester)
- Partner nations
- United KingdomAustriaSwitzerland
In The Last Decade
Giles Reger
28 papers receiving 147 citations
Peers
Comparison fields: 5 of 24
- Artificial Intelligence 79
- Software 70
- Computational Theory and Mathematics 52
- Information Systems 40
- Computer Networks and Communications 39
Countries citing papers authored by Giles Reger
This map shows the geographic impact of Giles Reger'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 Giles Reger with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Giles Reger more than expected).
Fields of papers citing papers by Giles Reger
This network shows the impact of papers produced by Giles Reger. 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 Giles Reger. The network helps show where Giles Reger may publish in the future.
Co-authorship network of co-authors of Giles Reger
This figure shows the co-authorship network connecting the top 25 collaborators of Giles Reger. A scholar is included among the top collaborators of Giles Reger 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 Giles Reger. Giles Reger is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 1 | |
| 2 | 1 | |
| 3 | 1 | |
| 4 | Directed Graph Networks for Logical Reasoning (Extended Abstract). | 1 |
| 5 | 5 | |
| 6 | 3 | |
| 7 | 1 | |
| 8 | 12 | |
| 9 | Set of support for higher-order reasoning | 3 |
| 10 | Dynamic strategy priority: Empower the strong and abandon the weak | 2 |
| 11 | Some thoughts about FOL-translations in vampire | 1 |
| 12 | 8 | |
| 13 | 0 | |
| 14 | 2 | |
| 15 | 0 | |
| 16 | 4 | |
| 17 | 2 | |
| 18 | 1 | |
| 19 | 8 | |
| 20 | Automata-based Pattern Mining from Imperfect Traces | 2 |
About Giles Reger
Giles Reger is a scholar working on Software, Artificial Intelligence and Computational Theory and Mathematics, having authored 32 papers that have together received 151 indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (12 papers), Logic, programming, and type systems (11 papers) and Logic, Reasoning, and Knowledge (8 papers). The work is most often cited by research in Software (70 citations), Computational Theory and Mathematics (52 citations) and Artificial Intelligence (79 citations). Giles Reger has collaborated with scholars based in United Kingdom, Austria and Switzerland. Frequent co-authors include Howard Barringer, David Rydeheard, Ylìès Falcone, Martin Suda, Dmitriy Traytel, Srđan Krstić, Андрей Воронков, Aina Niemetz, David Déharbe and Tjark Weber. Their work appears in journals such as SHILAP Revista de lepidopterología, International Journal on Software Tools for Technology Transfer and Research Explorer (The University of Manchester).
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.