Obtenir mon propre profil
Citée par
Toutes | Depuis 2017 | |
---|---|---|
Citations | 6041 | 2139 |
indice h | 38 | 21 |
indice i10 | 103 | 58 |
Accès public
Tout afficher35 articles
6 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
axel legayUCLouvainAdresse e-mail validée de uclouvain.be
Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Adresse e-mail validée de laas.fr
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityAdresse e-mail validée de cs.biu.ac.il
Stavros TripakisAssociate Professor, Northeastern UniversityAdresse e-mail validée de northeastern.edu
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéAdresse e-mail validée de irif.fr
Natarajan ShankarSRI International Computer Science LaboratoryAdresse e-mail validée de csl.sri.com
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Andreas GriesmayerImperial College LondonAdresse e-mail validée de arm.com
Grigore RosuUniversity of Illinois at Urbana ChampaignAdresse e-mail validée de illinois.edu
Amedeo CestaCNR -- National Research Council of Italy, ISTCAdresse e-mail validée de istc.cnr.it
Barbara JobstmannScientist at EPFLAdresse e-mail validée de epfl.ch
Ashish TiwariComputer Scientist, SRI InternationalAdresse e-mail validée de csl.sri.com
Thomas HenzingerISTAustriaAdresse e-mail validée de ist.ac.at
matthew hennessyProfessor of Computer ScienceAdresse e-mail validée de cs.tcd.ie
Moshe Y. VardiRice UniversityAdresse e-mail validée de cs.rice.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
Suivre
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Adresse e-mail validée de univ-grenoble-alpes.fr