Edmund Clarke
University Professor Emeritus at Carnegie Mellon University
Dirección de correo verificada de cs.cmu.edu
Citado por 90024
Lijun Zhang
Institute of Software, Chinese Academy of Sciences
Dirección de correo verificada de ios.ac.cn
Citado por 56050
Zhen Zhang
Assistant Professor, Utah State University
Dirección de correo verificada de usu.edu
Citado por 35449
Orna Grumberg
Professor of Computer Science, Technion
Dirección de correo verificada de cs.technion.ac.il
Citado por 33235
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of …
Dirección de correo verificada de cs.rwth-aachen.de
Citado por 29961
Doron A. Peled
Professor Of Computer Science, Bar Ilan University
Dirección de correo verificada de cs.biu.ac.il
Citado por 27504
Armin Biere
Professor of Computer Science, University of Freiburg
Dirección de correo verificada de informatik.uni-freiburg.de
Citado por 25366
Aravinda Prasad Sistla
Professor of Computer Science, University of Illinois at Chicago
Dirección de correo verificada de uic.edu
Citado por 18746