Science Explorer Back to mapMap
Discussion
Researcher · Aarhus University · Denmark

Thomas S. Hune

Thomas S. Hune publishes mostly in Computational Theory and Mathematics, Software and Hardware and Architecture, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Real-Time Systems Scheduling.

OpenAlex
World rank
#1,120,184
of 7,710,434 ranked researchers
Rank in Denmark
#8,413
of 43,819
Works
24
Citations
1.3k
Citations per work
53.7
h-index
14
i10-index 17Top 27% in Computational Theory and Mathematics
Thomas S. Hune

What does Thomas S. Hune research?

Thomas S. Hune's work is mostly in Computer Science (90%), Health Professions (3%), Decision Sciences (3%).

Physical Sciences: 22 works · 90.0% of their workComputer Science: 22 works · 90.0% of their workComputational Theory and Mathematics: 10 works · 40.0% of their workSoftware: 5 works · 20.0% of their workHardware and Architecture: 4 works · 15.7% of their workArtificial Intelligence: 3 works · 14.3% of their workEverything else: 1 works · 4.2% of their workHealth Sciences: 1 works · 2.9% of their workHealth Professions: 1 works · 2.9% of their workGeneral Health Professions: 1 works · 2.9% of their workSocial Sciences: 1 works · 2.9% of their workDecision Sciences: 1 works · 2.9% of their workManagement Science and Operations Research: 1 works · 2.9% of their workTHEIR WORKThomas S. Hune24works
Physical Sciences90%Health Sciences3%Social Sciences3%

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 Science2290.0%
  2. Everything else14.2%
    1. Health Professions12.9%
    1. Decision Sciences12.9%
  1. 1Computational Theory and Mathematics40% of their works
  2. 2Software20% of their works
  3. 3Hardware and Architecture16% of their works
  4. 4Artificial Intelligence14% of their works
  5. 5General Health Professions3% of their works
  6. 6Management Science and Operations Research3% of their works

Research topics

Which keywords describe Thomas S. Hune's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Formal Verification, Static Analysis, Hard Real-Time Systems and Scheduling Algorithms.

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 18 words, with their numbers
  1. Model Checking312 topics
  2. Satisfiability Modulo Theories221 topic
  3. Symbolic Model Checker221 topic
  4. Embedded Systems112 topics
  5. Formal Verification91 topic
  6. Static Analysis91 topic
  7. Hard Real-Time Systems71 topic
  8. Scheduling Algorithms71 topic
  9. Automated Testing51 topic
  10. Domain-Specific Languages51 topic
  11. Model-Driven Engineering51 topic
  12. Software Fault Localization51 topic
  13. Architecture-Based Approach41 topic
  14. Deadlock Prevention41 topic
  15. High-Level Synthesis41 topic
  16. Petri Nets41 topic
  17. Reconfigurable Computing41 topic
  18. Software Reliability Modeling41 topic

Where does Thomas S. Hune work?

Thomas S. Hune's main affiliation in the publication record is Aarhus University, Denmark.

How many publications and citations does Thomas S. Hune have?

OpenAlex counts 24 works and 1,288 citations for Thomas S. Hune, an h-index of 14, ranking #1,120,184 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 Thomas S. Hune. Posts are plain text and can be reported.