Mike Dodds

37 papers receiving 731 citations

Peers

Mike Dodds
Comparison fields: 5 of 38
  • Hardware and Architecture 342
  • Computer Networks and Communications 501
  • Computational Theory and Mathematics 278
  • Artificial Intelligence 542
  • Software 61
Replace Matthew T. Fluet with:
Matthew T. Fluet United States
Jeehoon Kang South Korea
Aaron Joseph Turon United States
Nicholas Ng United Kingdom
Kayvan Memarian United Kingdom
Richard A. Kelsey United States
Anthony C. J. Fox United Kingdom
Christopher Pulte United Kingdom
Carl Bruggeman United States
Jorge A. Pérez Netherlands
Mike Dodds relative to Matthew T. Fluet United States Matthew T. Fluet's profile →
Citations per field
00.5×2×2.7×
Matthew T. Fluet · 1×
Citations per year

Countries citing papers authored by Mike Dodds

Since Specialization
Citations

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

Fields of papers citing papers by Mike Dodds

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authors

The 25 scholars most cited alongside Mike Dodds, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Mike Dodds Line = papers co-authored together Mike Dodds links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown

Showing the 20 most-cited of 39 papers — load more, or switch the sort, to bring in the rest.

#Work
1 2010166
2 2010115
3 200990
4 201375
5 201435
6 201120
7 201119
8 201119
9 201718
10 201018
11 201317
12 201515
13 202012
14 201612
15 201310
16 201710
17 20068
18 20148
19 20157
20 20137

About Mike Dodds

Mike Dodds is a scholar working on Hardware and Architecture, Computer Networks and Communications, Artificial Intelligence, Computational Theory and Mathematics and Software, having authored 39 papers that have together received 754 indexed citations. Recurring topics across this work include Distributed systems and fault tolerance (20 papers), Parallel Computing and Optimization Techniques (19 papers), Logic, programming, and type systems (18 papers), Formal Methods in Verification (12 papers), Security and Verification in Computing (6 papers), Software Testing and Debugging Techniques (4 papers), Advanced Malware Detection Techniques (4 papers) and Model-Driven Software Engineering Techniques (3 papers). The work is most often cited by research in Hardware and Architecture (342 citations), Computer Networks and Communications (501 citations), Computational Theory and Mathematics (278 citations), Artificial Intelligence (542 citations) and Software (61 citations). Mike Dodds has collaborated with scholars based in United Kingdom, United States and Spain. Frequent co-authors include Matthew Parkinson, Viktor Vafeiadis, Thomas Dinsdale-Young, Philippa Anne Gardner, Alexey Gotsman, Mark Batty, Suresh Jagannathan, Xinyu Feng, Christoph Meyer Kirsch and Detlef Plump. Their work appears in journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems, Proceedings of the ACM on Programming Languages, Lecture notes in computer science and Journal of Pharmaceutical Sciences.

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