World's Best Scientists 2026 revealed!
Helmut Veith

Helmut Veith

D-Index & Metrics

Computer Science

D-Index
45
Citations
8671
World Ranking
7175
National Ranking
58

Overview

Helmut Veith is affiliated with TU Wien in Austria and has contributed to the field of Computer Science with a focus on multiple subfields. Their research spans Computer Networks and Communications, Artificial Intelligence, Hardware and Architecture, and Computational Theory and Mathematics.

Their work covers a range of topics including Distributed systems and fault tolerance, Parallel Computing and Optimization Techniques, Advanced Data Storage Technologies, semigroups and automata theory, as well as Logic, Reasoning, and Knowledge, and Logic, programming, and type systems.

Among their recent publications, they co-authored the paper titled Engineering MultiQueues: Fast Relaxed Concurrent Priority Queues in 2021, published by Leibniz-Zentrum für Informatik (Schloss Dagstuhl). This publication received a number of citations, reflecting its recognition within the research community.

  • Andreas Haas
  • Thomas A. Henzinger
  • Andreas Holzer
  • Christoph Kirsch
  • Michael Lippautz

  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

Helmut Veith's main research involves extensive work in the domain of Computer Science with six publications attributed to this field, indicating a broad engagement with core computer science challenges and innovations.

Best Publications

  • Counterexample-guided abstraction refinement for symbolic model checking

    Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu

  • Handbook of Model Checking

    Edmund M. Clarke;Thomas A. Henzinger;Helmut Veith;Roderick Bloem

  • Modular verification of software components in C

    S. Chaki;E.M. Clarke;A. Groce;S. Jha

  • Progress on the State Explosion Problem in Model Checking

    Edmund M. Clarke;Orna Grumberg;Somesh Jha;Yuan Lu

  • Efficient filtering in publish-subscribe systems using binary decision diagrams

    Alexis Campailla;Sagar Chaki;Edmund Clarke;Somesh Jha

  • Detecting malicious code by model checking

    Johannes Kinder;Stefan Katzenbeisser;Christian Schallhart;Helmut Veith

  • Modular verification of software components in C

    Sagar Chaki;Edmund Clarke;Alex Groce;Somesh Jha

  • Jakstab: A Static Analysis Platform for Binaries

    Johannes Kinder;Helmut Veith

  • Tree-like counterexamples in model checking

    E. Clarke;S. Jha;Yuan Lu;H. Veith

  • Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis

    Pankaj Chauhan;Edmund M. Clarke;James H. Kukula;Samir Sapra

  • 25 Years of Model Checking: History, Achievements, Perspectives

    Orna Grumberg;Helmut Veith

  • Secure two-party computations in ANSI C

    Andreas Holzer;Martin Franz;Stefan Katzenbeisser;Helmut Veith

  • 25 Years of Model Checking

    Orna Grumberg;Helmut Veith

  • An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

    Johannes Kinder;Florian Zuleger;Helmut Veith

  • Environment abstraction for parameterized verification

    Edmund Clarke;Muralidhar Talupur;Helmut Veith

  • Bound analysis of imperative programs with the size-change abstraction

    Florian Zuleger;Sumit Gulwani;Moritz Sinn;Helmut Veith

  • Decidability of Parameterized Verification

    Roderick Bloem;Swen Jacobs;Ayrat Khalimov;Igor Konnov

  • A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis

    Moritz Sinn;Florian Zuleger;Helmut Veith

  • Datalog LITE: a deductive query language with linear time model checking

    Georg Gottlob;Erich Grädel;Helmut Veith

  • Parameterized model checking of rendezvous systems

    Benjamin Aminof;Tomer Kotek;Sasha Rubin;Francesco Spegni

  • Counterexample-Guide dAbstractio nRefinemen t ?

    Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu

Frequent Co-Authors

Edmund M. Clarke
Edmund M. Clarke Carnegie Mellon University
Stefan Katzenbeisser
Stefan Katzenbeisser University of Passau
Somesh Jha
Somesh Jha University of Wisconsin–Madison
Sagar Chaki
Sagar Chaki Siemens (United States)
Georg Gottlob
Georg Gottlob University of Calabria
Orna Grumberg
Orna Grumberg Technion – Israel Institute of Technology
Andrei Voronkov
Andrei Voronkov University of Manchester
Nicola Leone
Nicola Leone University of Calabria

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to many flexible academic and professional routes. Online degrees offer incredible opportunities for those seeking to start, advance, or specialize in their careers—often at their own pace and budget.

For those beginning their journey or looking for a quick career boost, an associate degree online can be earned in as little as six months. If you're interested in leadership roles and want a business-oriented edge, consider the best online business management degree programs, which offer both affordability and flexibility.

Graduate and postgraduate options are also widely available. If time is a major factor, accelerated edd programs online provide a fast-track path to doctoral credentials. Moreover, numerous most affordable online doctoral programs make it financially feasible to earn the highest degree in your field.

With these accessible options, you can tailor your Computer Science education—and future career—to fit your ambitions and life circumstances.

Best Scientists Citing Helmut Veith

Trending Scientists