Science Explorer Back to mapMap
Discussion
Researcher · Indiana University Bloomington · United States

Christopher T. Haynes

Christopher T. Haynes publishes mostly in Artificial Intelligence, Astronomy and Astrophysics and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Solar and Space Plasma Dynamics.

OpenAlex
World rank
#1,016,899
of 7,710,434 ranked researchers
Rank in United States
#331,433
of 1,627,098
Works
49
Citations
2.1k
Citations per work
43.5
h-index
19
i10-index 24Top 14% in Artificial Intelligence
Christopher T. Haynes

What does Christopher T. Haynes research?

Christopher T. Haynes's work is mostly in Computer Science (51%), Physics and Astronomy (21%).

Physical Sciences: 35 works · 71.3% of their workComputer Science: 25 works · 50.7% of their workArtificial Intelligence: 12 works · 25.0% of their workComputational Theory and Mathematics: 8 works · 16.2% of their workInformation Systems: 2 works · 5.1% of their workHardware and Architecture: 2 works · 4.4% of their workPhysics and Astronomy: 10 works · 20.6% of their workAstronomy and Astrophysics: 8 works · 16.2% of their workNuclear and High Energy Physics: 2 works · 4.4% of their workEverything else: 14 works · 28.7% of their workTHEIR WORKChristopher T.Haynes49works
Physical Sciences71%

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 Science2550.7%
    2. Physics and Astronomy1020.6%
  2. Everything else1428.7%
  1. 1Artificial Intelligence25% of their works
  2. 2Astronomy and Astrophysics16% of their works
  3. 3Computational Theory and Mathematics16% of their works
  4. 4Information Systems5% of their works
  5. 5Nuclear and High Energy Physics4% of their works
  6. 6Hardware and Architecture4% of their works

Research topics

Which keywords describe Christopher T. Haynes's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Solar Wind, Static Analysis, Temporal Logic, Coronal Mass Ejections, Satisfiability Modulo Theories and Solar Dynamics Observatory.

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.

All 19 words, with their numbers
  1. Model Checking403 topics
  2. Formal Verification221 topic
  3. Solar Wind222 topics
  4. Static Analysis221 topic
  5. Temporal Logic182 topics
  6. Coronal Mass Ejections131 topic
  7. Satisfiability Modulo Theories131 topic
  8. Solar Dynamics Observatory131 topic
  9. Symbolic Model Checker131 topic
  10. Ionosphere91 topic
  11. Magnetosphere91 topic
  12. Parallel Computing61 topic
  13. Performance Optimization61 topic
  14. Answer Set Programming51 topic
  15. Modal Logic51 topic
  16. Tokamak51 topic
  17. Turbulence51 topic
  18. Computational Thinking41 topic
  19. Programming Education41 topic

Where does Christopher T. Haynes work?

Christopher T. Haynes's main affiliation in the publication record is Indiana University Bloomington, United States.

How many publications and citations does Christopher T. Haynes have?

OpenAlex counts 49 works and 2,132 citations for Christopher T. Haynes, an h-index of 19, ranking #1,016,899 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised 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 Christopher T. Haynes. Posts are plain text and can be reported.