Science Explorer Back to mapMap
Discussion
Researcher · TU Wien · Austria

Helmut Veith

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.

OpenAlex
World rank
#273,590
of 7,710,434 ranked researchers
Rank in Austria
#1,979
of 43,330
Works
178
Citations
6.7k
Citations per work
37.8
h-index
39
i10-index 78Top 2.3% in Computational Theory and Mathematics
Helmut Veith

What does Helmut Veith research?

Helmut Veith's work is mostly in Computer Science (88%).

Physical Sciences: 157 works · 88.2% of their workComputer Science: 157 works · 88.2% of their workComputational Theory and Mathematics: 48 works · 26.7% of their workArtificial Intelligence: 38 works · 21.1% of their workSoftware: 32 works · 17.7% of their workComputer Networks and Communications: 24 works · 13.7% of their workInformation Systems: 9 works · 5.2% of their workHardware and Architecture: 7 works · 3.8% of their workEverything else: 21 works · 11.8% of their workTHEIR WORKHelmut Veith178works
Physical Sciences88%

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 Science15788.2%
  2. Everything else2111.8%
  1. 1Computational Theory and Mathematics27% of their works
  2. 2Artificial Intelligence21% of their works
  3. 3Software18% of their works
  4. 4Computer Networks and Communications14% of their works
  5. 5Information Systems5% of their works
  6. 6Hardware and Architecture4% of their works

Research topics

Which keywords describe Helmut Veith's research?

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.

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 Checking1443 topics
  2. Temporal Logic1072 topics
  3. Automata1022 topics
  4. Satisfiability Modulo Theories881 topic
  5. Symbolic Model Checker881 topic
  6. Automated Testing581 topic
  7. Software Fault Localization581 topic
  8. Formal Verification371 topic
  9. Static Analysis371 topic
  10. Distributed Systems301 topic
  11. Fault Tolerance301 topic
  12. Architecture-Based Approach221 topic
  13. Software Reliability Modeling221 topic
  14. Answer Set Programming191 topic
  15. Modal Logic191 topic
  16. Security Policies161 topic
  17. Side-Channel Attacks161 topic
  18. Formal Languages141 topic
  19. Regular Expressions141 topic

Where does Helmut Veith work?

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

How many publications and citations does Helmut Veith have?

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.

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.

Other researchers named Helmut Veith

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 Helmut Veith. Posts are plain text and can be reported.