Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Verified email at eecs.berkeley.edu
Cited by 77250
Mihalis Yannakakis
Percy K. and Vida LW Hudson Professor of Computer Science, Columbia University
Verified email at cs.columbia.edu
Cited by 41799
Diego Calvanese
Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof …
Verified email at unibz.it
Cited by 38993
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …
Verified email at cims.nyu.edu
Cited by 29065
Alex Aiken
Professor of Computer Science, Stanford University
Verified email at cs.stanford.edu
Cited by 28340
Rolf Drechsler
Professor at University of Bremen, Director DFKI Bremen, Germany
Verified email at uni-bremen.de
Cited by 22831
Dawson Engler
Associate Professor of Computer Science, Stanford University
Verified email at stanford.edu
Cited by 22064
