Question 1

What does Helmut Veith research?

Accepted Answer

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

Question 2

Which keywords describe Helmut Veith's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Software Fault Localization and Formal Verification.

Question 3

Where does Helmut Veith work?

Accepted Answer

Helmut Veith's main affiliation in the publication record is TU Wien, Austria.

Question 4

How many publications and citations does Helmut Veith have?

Accepted Answer

OpenAlex counts 178 works and 6,726 citations for Helmut Veith, an h-index of 39, ranking #273,590 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Helmut Veith's h-index high?

Accepted Answer

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