Thomas HenzingerInstitute of Science and Technology Austria
H-Index & Metrics
|Number of Google Citations||50,879|
|Guide2Research World Ranking||105th|
|Guide2Research National Ranking (Austria)||1st|
|Number of Articles on DBLP||482|
Awards & Achievements
- 2015 - The Royal Society Milner Award For fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems.
- 2006 - ACM Fellow
- 2006 - IEEE Fellow For contributions to the verification of real-time and hybrid systems.
View other scientists in:
Profile was last updated at October 3, 2019, 12:00 pm
Guide2Research Ranking is based on Google Scholar H-Index.