Obtenir mon propre profil
Citée par
Toutes | Depuis 2020 | |
---|---|---|
Citations | 7166 | 1658 |
indice h | 39 | 16 |
indice i10 | 73 | 32 |
Accès public
Tout afficher8 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Daniel KroeningAmazonAdresse e-mail validée de amazon.com
Armin BiereProfessor of Computer Science, University of FreiburgAdresse e-mail validée de informatik.uni-freiburg.de
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresse e-mail validée de mpi-sws.org
Vadim RyvchinAdresse e-mail validée de tx.technion.ac.il
Arie GurfinkelUniversity of WaterlooAdresse e-mail validée de uwaterloo.ca
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Hana ChocklerKing's College LondonAdresse e-mail validée de kcl.ac.uk
Randal BryantCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityAdresse e-mail validée de nau.edu
Alessandro CimattiFondazione Bruno KesslerAdresse e-mail validée de fbk.eu
Alexander NadelReseach Scientist, Intel & TechnionAdresse e-mail validée de intel.com
Roderick BloemGraz University of TechnologyAdresse e-mail validée de iaik.tugraz.at
Suivre