Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Verified email at eecs.berkeley.edu
Cited by 76103
![Mihalis Yannakakis](/citations/images/avatar_scholar_56.png)
Mihalis Yannakakis
Percy K. and Vida LW Hudson Professor of Computer Science, Columbia University
Verified email at cs.columbia.edu
Cited by 41178
Diego Calvanese
Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof …
Verified email at unibz.it
Cited by 35634
![Patrick Cousot](/citations/images/avatar_scholar_56.png)
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …
Verified email at cims.nyu.edu
Cited by 28556
Alex Aiken
Professor of Computer Science, Stanford University
Verified email at cs.stanford.edu
Cited by 27578
![Roger Harbord](/citations/images/avatar_scholar_56.png)
Rolf Drechsler
Professor at University of Bremen, Director DFKI Bremen, Germany
Verified email at uni-bremen.de
Cited by 22181
![Dawson Engler](/citations/images/avatar_scholar_56.png)
Dawson Engler
Associate Professor of Computer Science, Stanford University
Verified email at stanford.edu
Cited by 21618