Question 1

What does Thomas S. Hune research?

Accepted Answer

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.

Question 2

Which keywords describe Thomas S. Hune's research?

Accepted Answer

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.

Question 3

Where does Thomas S. Hune work?

Accepted Answer

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

Question 4

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

Accepted Answer

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.

Question 5

Is Thomas S. Hune's h-index high?

Accepted Answer

An h-index of 14 is at or above that of 76% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 27%.