Helmut Veith

7.2k citations

60 papers · 1.6k indexed · 2 hit papers · h-index 19

Impact in

Software top 0.5%
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Model-Driven Software Engineering Techniques
Computational Theory and Mathematics top 0.5%
- Formal Methods in Verification

Papers in ⓘ

Computational Theory and Mathematics 34
- Formal Methods in Verification 27
Artificial Intelligence 30
- Logic, programming, and type systems 11
- Logic, Reasoning, and Knowledge 7
- Security and Verification in Computing 6

Co-authors: Edmund M. Clarke (6 shared papers)Orna Grümberg (2 shared papers)Somesh Jha (5 shared papers)Yuan Lu (1 shared paper)Roderick Bloem (3 shared papers)Thomas A. Henzinger (1 shared paper)Stefan Katzenbeisser (9 shared papers)Andreas Holzer (11 shared papers)
Journals: Annals of Pure and Applied Logic (2 papers)Information and Computation (2 papers)Formal Methods in System Design (2 papers)ACM Transactions on Software Engineering and Methodology (1 paper)Discrete Applied Mathematics (1 paper)
Partner nations: Austria Germany United States

In The Last Decade

Helmut Veith

55 papers receiving 1.5k citations

Hit Papers

align trajectories log scale

Handbook of Model Checking 2018 · 302 citations

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if any of the following hold:

it has ≥500 total citations;
it reaches ≥1.5× the top-1% citation threshold for papers in the same subfield and year (the threshold is the minimum needed to enter the top 1%, not the average within it);
it reaches the top citation threshold in at least one of its specific research topics.

2018 Handbook of Model Checking
2003 Journal of the ACM

Peers

Countries citing papers authored by Helmut Veith

Since Specialization

Citations

This map shows the geographic impact of Helmut Veith's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Helmut Veith with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Helmut Veith more than expected).

Fields of papers citing papers by Helmut Veith

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Helmut Veith. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Helmut Veith. The network helps show where Helmut Veith may publish in the future.

Co-authors

The 25 scholars most cited alongside Helmut Veith, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Helmut Veith Line = papers co-authored together Helmut Veith links everyone, so they are left out of the graph.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Showing the 20 most-cited of 60 papers — load more, or switch the sort, to bring in the rest.

#	Work
1	Counterexample-guided abstraction refinement for symbolic model checking Journal of the ACM ·Edmund M. Clarke, Orna Grümberg, Somesh Jha, Yuan Lu, Helmut Veith Hit paper breakdown →	2003	461
2	Handbook of Model Checking Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem Hit paper breakdown →	2018	302
3	Efficient filtering in publish-subscribe systems using binary decision diagrams International Conference on Software Engineering ·Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith	2001	90
4	Secure two-party computations in ANSI C Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith	2012	65
5	25 Years of Model Checking: History, Achievements, Perspectives Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) ·Orna Grümberg, Helmut Veith	2008	54
6	Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning International Conference on Logic Programming ·Iliano Cervesato, Helmut Veith, Андрей Воронков	2010	45
7	Con2colic testing Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith	2013	45
8	Datalog LITE ACM Transactions on Computational Logic ·Georg Gottlob, Erich Grädel, Helmut Veith	2002	38
9	Complexity of t-tautologies Annals of Pure and Applied Logic ·Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith	2001	35
10	Parameterized model checking of fault-tolerant distributed algorithms by abstraction Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder	2013	31
11	Interpolation in fuzzy logic Archive for Mathematical Logic ·Matthias Baaz, Helmut Veith	1999	30
12	Proactive Detection of Computer Worms Using Model Checking IEEE Transactions on Dependable and Secure Computing ·Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith	2008	29
13	Watermarking schemes provably secure against copy and ambiguity attacks André Adelsbach, Stefan Katzenbeisser, Helmut Veith	2003	25
14	Software transformations to improve malware detection Infoscience (Ecole Polytechnique Fédérale de Lausanne) ·Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith	2007	24
15	Decidability in Parameterized Verification ACM SIGACT News ·Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder	2016	23
16	Succinctness as a source of complexity in logical formalisms Annals of Pure and Applied Logic ·Georg Gottlob, Nicola Leone, Helmut Veith	1999	21
17	On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability Information and Computation ·Igor Konnov, Helmut Veith, Josef Widder	2016	21
18	<title>Securing symmetric watermarking schemes against protocol attacks</title> Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE ·Stefan Katzenbeisser, Helmut Veith	2002	19
19	Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints Journal of Automated Reasoning ·Moritz Sinn, Florian Zuleger, Helmut Veith	2017	18
20	Decidability of Parameterized Verification Roderick Bloem, Ayrat Khalimov, Swen Jacobs, Igor Konnov, Helmut Veith, Josef Widder, Sasha Rubin	2015	17

About Helmut Veith

Helmut Veith is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Software, Computer Networks and Communications and Information Systems, having authored 60 papers that have together received 1.6k indexed citations. Recurring topics across this work include Formal Methods in Verification (27 papers), Software Testing and Debugging Techniques (19 papers), Logic, programming, and type systems (11 papers), Distributed systems and fault tolerance (9 papers), Software Reliability and Analysis Research (7 papers), Logic, Reasoning, and Knowledge (7 papers), Security and Verification in Computing (6 papers) and Software Engineering Research (5 papers). The work is most often cited by research in Software (547 citations), Computational Theory and Mathematics (865 citations), Hardware and Architecture (175 citations), Artificial Intelligence (802 citations) and Computer Networks and Communications (384 citations). Helmut Veith has collaborated with scholars based in Austria, Germany and United States. Frequent co-authors include Edmund M. Clarke, Orna Grümberg, Somesh Jha, Yuan Lu, Roderick Bloem, Thomas A. Henzinger, Stefan Katzenbeisser, Andreas Holzer, Matthias Baaz and Igor Konnov. Their work appears in journals such as Annals of Pure and Applied Logic, Information and Computation, Formal Methods in System Design, ACM Transactions on Software Engineering and Methodology and Discrete Applied Mathematics.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact