Edmund Clarke
University Professor Emeritus at Carnegie Mellon University
Dirección de correo verificada de cs.cmu.edu
Citado por 73096
Orna Grumberg
Professor of Computer Science, Technion
Dirección de correo verificada de cs.technion.ac.il
Citado por 27832
Doron A. Peled
Professor Of Computer Science
Dirección de correo verificada de cs.biu.ac.il
Citado por 22874
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
Dirección de correo verificada de forsyte.tuwien.ac.at
Citado por 21402
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 18776
Alessandro Cimatti
Head of Unit, Fondazione Bruno Kessler
Dirección de correo verificada de fbk.eu
Citado por 18534
Kurt Jensen
Professor of Computer Science, Aarhus University
Dirección de correo verificada de cs.au.dk
Citado por 15474
Pierre Wolper
Professor of Computer Science, Université de Liège, Belgium
Dirección de correo verificada de ulg.ac.be
Citado por 15278
Bernhard Steffen
Professor für Informatik, TU Dortmund
Dirección de correo verificada de cs.uni-dortmund.de
Citado por 13446