Holger Hoos
RWTH Aachen University, Germany • Leiden University, Netherlands • University of British …
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.rwth-aachen.de
Viittausten määrä 44142
Armin Biere
Professor of Computer Science, University of Freiburg
Vahvistettu sähköpostiosoite verkkotunnuksessa informatik.uni-freiburg.de
Viittausten määrä 25952
Leonardo de Moura
Amazon Web Services
Vahvistettu sähköpostiosoite verkkotunnuksessa amazon.com
Viittausten määrä 24869
Uli Sattler
Professor, IMG, Department of Computer Science, University of Manchester
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.man.ac.uk
Viittausten määrä 23597
Clark Barrett
Stanford University
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.stanford.edu
Viittausten määrä 19790
Rupak Majumdar
MPI for Software Systems
Vahvistettu sähköpostiosoite verkkotunnuksessa mpi-sws.org
Viittausten määrä 18722
Joao Marques-Silva
Research Professor, ICREA, University of Lleida
Vahvistettu sähköpostiosoite verkkotunnuksessa icrea.cat
Viittausten määrä 18665
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Vahvistettu sähköpostiosoite verkkotunnuksessa uiowa.edu
Viittausten määrä 15280
Changbo Chen
Professor, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of …
Vahvistettu sähköpostiosoite verkkotunnuksessa cigit.ac.cn
Viittausten määrä 14863
Natarajan Shankar
SRI International Computer Science Laboratory
Vahvistettu sähköpostiosoite verkkotunnuksessa csl.sri.com
Viittausten määrä 14201