Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 6600 | 1893 |
indice h | 40 | 21 |
indice i10 | 107 | 52 |
Accès public
Tout afficher36 articles
7 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
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftAdresse 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
Barbara JobstmannScientist at EPFLAdresse e-mail validée de epfl.ch
Amedeo CestaCNR -- National Research Council of Italy, ISTCAdresse e-mail validée de istc.cnr.it
Thomas HenzingerIST AustriaAdresse 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](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=UxarTKgAAAAJ&citpid=5)
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Adresse e-mail validée de univ-grenoble-alpes.fr