Thomas Henzinger

Institute of Science and Technology Austria
Austria

H-Index & Metrics

Google H-index 103
Number of Google Citations 48,822
Guide2Research World Ranking 91st
Guide2Research National Ranking (Austria) 1st
Number of Articles on DBLP 466

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 February 13, 2019, 6:00 pm
Guide2Research Ranking is based on Google Scholar H-Index.