Science Explorer Back to mapMap
Discussion
Researcher · Microsoft (United States) · United States

Thomas J. Ball

Thomas J. Ball publishes mostly in Software, Artificial Intelligence and Information Systems, on topics such as Software Testing and Debugging Techniques, Formal Methods in Verification and Software Reliability and Analysis Research.

OpenAlex
World rank
#35,811
of 7,710,434 ranked researchers
Rank in United States
#13,672
of 1,627,098
Works
191
Citations
16k
Citations per work
84.9
h-index
58
i10-index 120Top 0.6% in Software
Thomas J. Ball

What does Thomas J. Ball research?

Thomas J. Ball's work is mostly in Computer Science (80%).

Physical Sciences: 152 works · 79.8% of their workComputer Science: 152 works · 79.8% of their workSoftware: 49 works · 25.8% of their workArtificial Intelligence: 23 works · 12.1% of their workInformation Systems: 22 works · 11.5% of their workComputational Theory and Mathematics: 22 works · 11.4% of their workHardware and Architecture: 20 works · 10.4% of their workComputer Networks and Communications: 16 works · 8.6% of their workEverything else: 39 works · 20.2% of their workTHEIR WORKThomas J. Ball191works
Physical Sciences80%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science15279.8%
  2. Everything else3920.2%
  1. 1Software26% of their works
  2. 2Artificial Intelligence12% of their works
  3. 3Information Systems12% of their works
  4. 4Computational Theory and Mathematics11% of their works
  5. 5Hardware and Architecture10% of their works
  6. 6Computer Networks and Communications9% of their works

Research topics

Which keywords describe Thomas J. Ball's research?

The keywords of their largest research topics: Model Checking, Automated Testing, Software Fault Localization, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling and Code Clone Detection.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 17 words, with their numbers
  1. Model Checking822 topics
  2. Automated Testing801 topic
  3. Software Fault Localization801 topic
  4. Satisfiability Modulo Theories521 topic
  5. Symbolic Model Checker521 topic
  6. Architecture-Based Approach431 topic
  7. Software Reliability Modeling431 topic
  8. Code Clone Detection381 topic
  9. Refactoring381 topic
  10. Formal Verification301 topic
  11. Parallel Computing301 topic
  12. Performance Optimization301 topic
  13. Static Analysis301 topic
  14. Computational Thinking221 topic
  15. Programming Education221 topic
  16. Log Analysis171 topic
  17. Performance Prediction171 topic

Where does Thomas J. Ball work?

Thomas J. Ball's main affiliation in the publication record is Microsoft (United States), United States.

How many publications and citations does Thomas J. Ball have?

OpenAlex counts 191 works and 16,218 citations for Thomas J. Ball, an h-index of 58, ranking #35,811 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Thomas J. Ball. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.