Helmut Veith

Helmut Veith

Technische Universität Wien

H-index: 47

Europe-Austria

About Helmut Veith

Helmut Veith, With an exceptional h-index of 47 and a recent h-index of 24 (since 2020), a distinguished researcher at Technische Universität Wien, specializes in the field of Formal Methods, Model Checking, Software Engineering, Logic in Computer Science, Computer Security.

His recent articles reflect a diverse array of research interests and contributions to the field:

Pebble-Intervals Automata and FO with Two Orders

Helmut Veith Information

University

Position

Professor of Computer Science / TU Wien

Citations(all)

11146

Citations(since 2020)

3127

Cited By

23730

hIndex(all)

47

hIndex(since 2020)

24

i10Index(all)

92

i10Index(since 2020)

51

Email

University Profile Page

Technische Universität Wien

Google Scholar

View Google Scholar Profile

Helmut Veith Skills & Research Interests

Formal Methods

Model Checking

Software Engineering

Logic in Computer Science

Computer Security

Top articles of Helmut Veith

Title

Journal

Author(s)

Publication Date

Pebble-Intervals Automata and FO with Two Orders

Nadia Labai

Tomer Kotek

Magdalena Ortiz

Helmut Veith

2020/3/4

See List of Professors in Helmut Veith University(Technische Universität Wien)

Co-Authors

H-index: 117
Thomas Henzinger

Thomas Henzinger

Institute of Science and Technology Austria

H-index: 86
Somesh Jha

Somesh Jha

University of Wisconsin-Madison

H-index: 83
Georg Gottlob

Georg Gottlob

University of Oxford

H-index: 74
Thomas Eiter

Thomas Eiter

Technische Universität Wien

H-index: 62
Armin Biere

Armin Biere

Johannes Kepler Universität Linz

H-index: 60
Nicola Leone

Nicola Leone

Università della Calabria

academic-engine