Thomas Henzinger

Institute of Science and Technology Austria

H-Index & Metrics

Google H-index 104
Number of Google Citations 50,502
Guide2Research World Ranking 93rd
Guide2Research National Ranking (Austria) 1st
Number of Articles on DBLP 474

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.

External Links

View other scientists in:

Profile was last updated at August 9, 2019, 11:40 am
Guide2Research Ranking is based on Google Scholar H-Index.