Thomas Henzinger

Institute of Science and Technology Austria
Austria

H-Index & Metrics

Google H-index 102
Number of Google Citations 48,176
Guide2Research World Ranking 89th
Guide2Research National Ranking (Austria) 1st
Number of Articles on DBLP 464

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 November 5, 2018, 2:55 pm
Guide2Research Ranking is based on Google Scholar H-Index.