Adam Betts

655 total citations
16 papers, 300 citations indexed

About

Adam Betts is a scholar working on Hardware and Architecture, Artificial Intelligence and Electrical and Electronic Engineering. According to data from OpenAlex, Adam Betts has authored 16 papers receiving a total of 300 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Hardware and Architecture, 6 papers in Artificial Intelligence and 5 papers in Electrical and Electronic Engineering. Recurrent topics in Adam Betts's work include Parallel Computing and Optimization Techniques (10 papers), Real-Time Systems Scheduling (7 papers) and Radiation Effects in Electronics (5 papers). Adam Betts is often cited by papers focused on Parallel Computing and Optimization Techniques (10 papers), Real-Time Systems Scheduling (7 papers) and Radiation Effects in Electronics (5 papers). Adam Betts collaborates with scholars based in United Kingdom, United States and Sweden. Adam Betts's co-authors include Alastair F. Donaldson, Paul Thomson, Nathan Chong, Shaz Qadeer, Guillem Bernat, Jeroen Ketema, John Wickerson, Michael B. Giles, Paul H. J. Kelly and Gihan R. Mudalige and has published in prestigious journals such as IEEE Transactions on Software Engineering, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Adam Betts

16 papers receiving 289 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Adam Betts United Kingdom 8 243 128 110 58 52 16 300
Jeroen Ketema United Kingdom 7 167 0.7× 139 1.1× 59 0.5× 55 0.9× 64 1.2× 25 250
Amir Hossein Ghamarian Netherlands 8 302 1.2× 254 2.0× 50 0.5× 55 0.9× 48 0.9× 14 392
John S. O’Donnell United States 4 304 1.3× 171 1.3× 55 0.5× 18 0.3× 56 1.1× 6 331
Steven Tjiang United States 5 287 1.2× 123 1.0× 72 0.7× 58 1.0× 137 2.6× 6 354
Ahmed Rezine Sweden 9 81 0.3× 78 0.6× 64 0.6× 70 1.2× 72 1.4× 28 215
B. Sarikaya Canada 9 83 0.3× 129 1.0× 209 1.9× 108 1.9× 56 1.1× 27 329
José G. F. Coutinho United Kingdom 9 178 0.7× 86 0.7× 21 0.2× 46 0.8× 56 1.1× 39 250
Kent Wilken United States 11 339 1.4× 221 1.7× 56 0.5× 58 1.0× 96 1.8× 22 444
David W. L. Yen United States 5 358 1.5× 255 2.0× 37 0.3× 30 0.5× 37 0.7× 10 391
Markus Schordan United States 11 214 0.9× 118 0.9× 44 0.4× 88 1.5× 65 1.3× 34 282

Countries citing papers authored by Adam Betts

Since Specialization
Citations

This map shows the geographic impact of Adam Betts'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 Adam Betts with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Adam Betts more than expected).

Fields of papers citing papers by Adam Betts

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Adam Betts. 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 Adam Betts. The network helps show where Adam Betts may publish in the future.

Co-authorship network of co-authors of Adam Betts

This figure shows the co-authorship network connecting the top 25 collaborators of Adam Betts. A scholar is included among the top collaborators of Adam Betts 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 Adam Betts. Adam Betts is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

16 of 16 papers shown
1.
Betts, Adam, et al.. (2017). Implementing and Evaluating Candidate-Based Invariant Generation. IEEE Transactions on Software Engineering. 44(7). 631–650. 1 indexed citations
2.
Thomson, Paul, Alastair F. Donaldson, & Adam Betts. (2016). Concurrency Testing Using Controlled Schedulers. Spiral (Imperial College London). 2(4). 1–37. 16 indexed citations
3.
Betts, Adam, Nathan Chong, Alastair F. Donaldson, et al.. (2015). The Design and Implementation of a Verification Technique for GPU Kernels. ACM Transactions on Programming Languages and Systems. 37(3). 1–49. 38 indexed citations
4.
Thomson, Paul, Alastair F. Donaldson, & Adam Betts. (2014). Concurrency testing using schedule bounding. ACM SIGPLAN Notices. 49(8). 15–28. 5 indexed citations
5.
Thomson, Paul, Alastair F. Donaldson, & Adam Betts. (2014). Concurrency testing using schedule bounding. 15–28. 50 indexed citations
6.
Betts, Adam & Alastair F. Donaldson. (2013). Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis. Spiral (Imperial College London). 193–202. 40 indexed citations
7.
Bertolli, Carlo, Adam Betts, Paul H. J. Kelly, Gihan R. Mudalige, & Michael B. Giles. (2012). Mesh independent loop fusion for unstructured mesh applications. 43–52. 3 indexed citations
8.
Betts, Adam, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, & Paul Thomson. (2012). GPUVerify. ACM SIGPLAN Notices. 47(10). 113–132. 22 indexed citations
9.
Betts, Adam. (2012). Reducing the Size of the Constraint Model in Implicit Path Enumeration Using Super Blocks. Zenodo (CERN European Organization for Nuclear Research). 18. 383–392. 1 indexed citations
10.
Betts, Adam, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, & Paul Thomson. (2012). GPUVerify. 113–132. 80 indexed citations
11.
Betts, Adam, et al.. (2011). Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code. 1526. 127–135. 1 indexed citations
12.
Betts, Adam & Guillem Bernat. (2011). Identifying irreducible loops in the Instrumentation Point Graph. Journal of Systems Architecture. 57(7). 720–733. 1 indexed citations
13.
Betts, Adam, et al.. (2011). WCET Analysis of Component-Based Systems Using Timing Traces. 1. 13–22. 4 indexed citations
14.
Betts, Adam, et al.. (2010). Hybrid measurement-based WCET analysis at the source level using object-level traces. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 63. 18 indexed citations
15.
Hall, Michael, et al.. (2006). The Visible Radio: Process Visualization of a Software-Defined Radio. 21–21. 1 indexed citations
16.
Betts, Adam & Guillem Bernat. (2006). Tree-Based WCET Analysis on Instrumentation Point Graphs. 558–565. 19 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

Breakdown of academic impact, for papers by Jeroen Ketema Breakdown of academic impact, for papers by Amir Hossein Ghamarian Breakdown of academic impact, for papers by John S. O’Donnell Breakdown of academic impact, for papers by Steven Tjiang Breakdown of academic impact, for papers by Ahmed Rezine Breakdown of academic impact, for papers by B. Sarikaya Breakdown of academic impact, for papers by José G. F. Coutinho Breakdown of academic impact, for papers by Kent Wilken Breakdown of academic impact, for papers by David W. L. Yen Breakdown of academic impact, for papers by Markus Schordan
Rankless by CCL
2026