Thomas Henzinger

Institute of Science and Technology Austria

H-Index & Metrics

Google H-index 104
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.

External Links

View other scientists in:

Profile was last updated at October 3, 2019, 12:00 pm
Guide2Research Ranking is based on Google Scholar H-Index.