Edmund Clarke
University Professor Emeritus at Carnegie Mellon University
Zweryfikowany adres z cs.cmu.edu
Cytowane przez 89381
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Zweryfikowany adres z seas.upenn.edu
Cytowane przez 53476
Somesh Jha
Lubar Chair of Computer Science, University of Wisconsin
Zweryfikowany adres z cs.wisc.edu
Cytowane przez 51308
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Zweryfikowany adres z seas.upenn.edu
Cytowane przez 48237
Jeannette M Wing
Executive Vice President for Research, Professor of Computer Science, Columbia University
Zweryfikowany adres z columbia.edu
Cytowane przez 43354
David McAllester
Professor, Toyota Technological Institute at Chicago
Zweryfikowany adres z ttic.edu
Cytowane przez 42189
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of …
Zweryfikowany adres z cs.rwth-aachen.de
Cytowane przez 29233
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …
Zweryfikowany adres z cims.nyu.edu
Cytowane przez 28849
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Zweryfikowany adres z eecs.berkeley.edu
Cytowane przez 24367
Gul Agha
Professor of Computer Science, University of Illinois at Urbana-Champaign and CEO …
Zweryfikowany adres z illinois.edu
Cytowane przez 22940