Helmut Veith
Helmut Veith publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Software Reliability and Analysis Research.
- World rank
- #20,131 of 1,633,909 ranked researchers
- Rank in Austria
- #161 of 10,230
- Works
- 48
- Citations
- 611
- Citations per work
- 12.7
What does Helmut Veith research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence22% of their works
- 2Computational Theory and Mathematics18% of their works
- 3Computer Networks and Communications16% of their works
- 4Software14% of their works
- 5Information Systems9% of their works
- 6Signal Processing6% of their works
Research topics
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Security and Verification in Computing
- Distributed systems and fault tolerance
- Logic, programming, and type systems
- Advanced Database Systems and Queries
- Physical Unclonable Functions (PUFs) and Hardware Security
Which keywords describe Helmut Veith's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Automated Testing, Software Fault Localization, Software Reliability Modeling and Distributed Systems.
- Physical Unclonable Functions
- Formal Verification
- Continuous Queries
- Security Policies
- Distributed Systems
- Software Fault Localization
- Architecture-Based Approach
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Automated Testing
- Software Reliability Modeling
- Fault Tolerance
- Side-Channel Attacks
- Data Stream Management
- Hardware Trojans
- Static Analysis
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 17 words, with their numbers
- Model Checking92 topics
- Satisfiability Modulo Theories71 topic
- Symbolic Model Checker71 topic
- Architecture-Based Approach41 topic
- Automated Testing41 topic
- Software Fault Localization41 topic
- Software Reliability Modeling41 topic
- Distributed Systems31 topic
- Fault Tolerance31 topic
- Security Policies31 topic
- Side-Channel Attacks31 topic
- Continuous Queries21 topic
- Data Stream Management21 topic
- Formal Verification21 topic
- Hardware Trojans21 topic
- Physical Unclonable Functions21 topic
- Static Analysis21 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?
Science Explorer counts 48 works and 611 citations for Helmut Veith, ranking #20,131 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.