Concepedia

Author

Stefan Hetzl

TU WienORCID

Also Known As

Hetzl, Stefan, STEFAN HETZL, Stefan Hetzl

78

Publications

632

Citations

12

H-Index

19

Concepts

All Affiliations

TU WienLaboratory Preuves, Programmes et SystèmesUniversité Paris CitéDélégation Paris 7
SH

About

Stefan Hetzl is an author at TU Wien specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

100

2

Computer Science

3

3

60

3

Natural Sciences

1

1

29

4

Classics

1

1

39

5

Combinatorial Optimization

1

1

29

Stefan Hetzl

×

7

Publications

151

Citations

7

H-Index

YearCitations

Page 1