Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 6503 | 1789 |
h-індекс | 40 | 19 |
i10-індекс | 106 | 50 |
Доступні для всіх
Переглянути всі35 статей
6 статей
доступні
недоступні
За умовами фінансування
Співавтори
- axel legayUCLouvainПідтверджена електронна адреса в uclouvain.be
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Підтверджена електронна адреса в laas.fr
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityПідтверджена електронна адреса в cs.biu.ac.il
- Stavros TripakisAssociate Professor, Northeastern UniversityПідтверджена електронна адреса в northeastern.edu
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéПідтверджена електронна адреса в irif.fr
- Natarajan ShankarSRI International Computer Science LaboratoryПідтверджена електронна адреса в csl.sri.com
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftПідтверджена електронна адреса в csl.sri.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyПідтверджена електронна адреса в eecs.berkeley.edu
- Andreas GriesmayerImperial College LondonПідтверджена електронна адреса в arm.com
- Grigore RosuUniversity of Illinois at Urbana ChampaignПідтверджена електронна адреса в illinois.edu
- Amedeo CestaCNR -- National Research Council of Italy, ISTCПідтверджена електронна адреса в istc.cnr.it
- Barbara JobstmannScientist at EPFLПідтверджена електронна адреса в epfl.ch
- Thomas HenzingerIST AustriaПідтверджена електронна адреса в ist.ac.at
- matthew hennessyProfessor of Computer ScienceПідтверджена електронна адреса в cs.tcd.ie
- Moshe Y. VardiRice UniversityПідтверджена електронна адреса в cs.rice.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghПідтверджена електронна адреса в inf.ed.ac.uk
Підписатись
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Підтверджена електронна адреса в univ-grenoble-alpes.fr