Question 1

What does Thomas A. Henzinger research?

Accepted Answer

Thomas A. Henzinger publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.

Question 2

Which keywords describe Thomas A. Henzinger's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Embedded Systems and Automated Testing.

Question 3

Where does Thomas A. Henzinger work?

Accepted Answer

Thomas A. Henzinger's main affiliation in the publication record is Institute of Science and Technology Austria, Austria.

Question 4

How many publications and citations does Thomas A. Henzinger have?

Accepted Answer

OpenAlex counts 733 works and 43,818 citations for Thomas A. Henzinger, an h-index of 98, ranking #34,041 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Thomas A. Henzinger's h-index high?

Accepted Answer

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