André Platzer

Carnegie Mellon University
United States

G2R World Ranking 4907th

G2R United States Ranking 2164th

H-Index & Metrics

Google H-index 41
Number of Google Citations 5,945
Number of Articles on DBLP 145

Awards & Achievements

  • 2009 - ACM Doctoral Dissertation Award For his dissertation ,"Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems," nominated by the University of Oldenburg, Germany.
Profile was last updated at October 28, 2020, 12:29 am
Guide2Research Ranking is based on Google Scholar H-Index.
Report Missing or Incorrect Information