Giles Reger

1.7k total citations
32 papers, 151 citations indexed

About

Giles Reger is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Giles Reger has authored 32 papers receiving a total of 151 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Artificial Intelligence, 12 papers in Software and 9 papers in Computational Theory and Mathematics. Recurrent topics in Giles Reger's work include Software Testing and Debugging Techniques (12 papers), Logic, programming, and type systems (11 papers) and Logic, Reasoning, and Knowledge (8 papers). Giles Reger is often cited by papers focused on Software Testing and Debugging Techniques (12 papers), Logic, programming, and type systems (11 papers) and Logic, Reasoning, and Knowledge (8 papers). Giles Reger collaborates with scholars based in United Kingdom, Austria and Switzerland. Giles Reger's 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 and has published in prestigious journals such as SHILAP Revista de lepidopterología, International Journal on Software Tools for Technology Transfer and Research Explorer (The University of Manchester).

In The Last Decade

Giles Reger

28 papers receiving 147 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Giles Reger United Kingdom	7	79	70	52	40	39	32	151
Srđan Krstić Switzerland	5	54 0.7×	49 0.7×	40 0.8×	33 0.8×	41 1.1×	16	129
Dennis Griffith United States	4	97 1.2×	83 1.2×	55 1.1×	42 1.1×	37 0.9×	7	179
Karl Meinke Sweden	7	79 1.0×	62 0.9×	52 1.0×	45 1.1×	28 0.7×	24	150
Jean-Paul Bodeveix France	8	62 0.8×	69 1.0×	57 1.1×	40 1.0×	25 0.6×	26	143
Vladimir Klebanov Germany	6	100 1.3×	66 0.9×	62 1.2×	57 1.4×	24 0.6×	23	152
Dmitriy Traytel Switzerland	6	100 1.3×	42 0.6×	82 1.6×	13 0.3×	27 0.7×	36	146
Lukáš Holík Czechia	9	80 1.0×	58 0.8×	41 0.8×	65 1.6×	36 0.9×	26	136
Gudmund Grov United Kingdom	6	77 1.0×	60 0.9×	40 0.8×	55 1.4×	36 0.9×	30	143
Fabrice Bouquet France	8	40 0.5×	102 1.5×	31 0.6×	49 1.2×	29 0.7×	23	136
Clément Pit-Claudel United States	7	108 1.4×	31 0.4×	42 0.8×	38 0.9×	29 0.7×	15	160

Countries citing papers authored by Giles Reger

Since Specialization

Citations

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

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Reger, Giles, et al.. (2024). LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling. Research Explorer (The University of Manchester). 1395–1407. 1 indexed citations

Cordeiro, Lucas C., Konstantin Korovin, Tom Melham, et al.. (2022). Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. Lirias (KU Leuven). 52–58. 1 indexed citations

Reger, Giles & David Rydeheard. (2021). From parametric trace slicing to rule systems. International Journal on Software Tools for Technology Transfer. 23(2). 209–228. 1 indexed citations

Reger, Giles, et al.. (2020). Directed Graph Networks for Logical Reasoning (Extended Abstract).. International Joint Conference on Artificial Intelligence. 109–119. 1 indexed citations

Javed, Omar, et al.. (2020). PerfCI. CERN Document Server (European Organization for Nuclear Research). 1344–1348. 5 indexed citations

Reger, Giles, et al.. (2020). Pattern Extraction for Behaviours of Multi-Stage Threats via Unsupervised Learning. 1–8. 3 indexed citations

Reger, Giles, et al.. (2020). Analysis Tools for the VyPR Performance Analysis Framework for Python. SHILAP Revista de lepidopterología. 245. 5013–5013. 1 indexed citations

Weber, Tjark, Sylvain Conchon, David Déharbe, et al.. (2019). The SMT Competition 2015–2018. FreiDok plus (Universitätsbibliothek Freiburg). 11(1). 221–259. 12 indexed citations

Reger, Giles, et al.. (2018). Set of support for higher-order reasoning. Research Explorer (The University of Manchester). 2162. 2–16. 3 indexed citations

10.

Reger, Giles, et al.. (2018). Dynamic strategy priority: Empower the strong and abandon the weak. Research Explorer (The University of Manchester). 2162. 58–71. 2 indexed citations

11.

Reger, Giles. (2018). Some thoughts about FOL-translations in vampire. Research Explorer (The University of Manchester). 2095. 11–25. 1 indexed citations

12.

Reger, Giles, Martin Suda, & Андрей Воронков. (2018). New Techniques in Clausal Form Generation. EPiC series in computing. 41. 11. 8 indexed citations

13.

Reger, Giles. (2018). Revisiting Question Answering in Vampire. EPiC series in computing. 53. 64–52.

14.

Reger, Giles & Martin Suda. (2018). Checkable Proofs for First-Order Theorem Proving. EPiC series in computing. 51. 55–45. 2 indexed citations

15.

Reger, Giles & Martin Suda. (2018). Incremental Solving with Vampire. EPiC series in computing. 53. 52–39.

16.

Reger, Giles & Martin Suda. (2018). Set of Support for Theory Reasoning. Research Explorer (The University of Manchester). 1. 124–112. 4 indexed citations

17.

Reger, Giles, Martin Suda, & Андрей Воронков. (2018). The Challenges of Evaluating a New Feature in Vampire. EPiC series in computing. 38. 70–64. 2 indexed citations

18.

Reger, Giles. (2017). A Story of Parametric Trace Slicing, Garbage and Static Analysis. SHILAP Revista de lepidopterología. 254. 1–14. 1 indexed citations

19.

Reger, Giles, Howard Barringer, & David Rydeheard. (2015). Automata-based Pattern Mining from Imperfect Traces. ACM SIGSOFT Software Engineering Notes. 40(1). 1–8. 8 indexed citations

20.

Reger, Giles, Howard Barringer, & David Rydeheard. (2013). Automata-based Pattern Mining from Imperfect Traces. Research Explorer (The University of Manchester). 2 indexed citations

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.

Explore authors with similar magnitude of impact