Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 6534 | 1808 |
h-indeks | 40 | 19 |
i10-indeks | 107 | 50 |
Dostęp publiczny
Wyświetl wszystko34 artykuły
8 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- axel legayUCLouvainZweryfikowany adres z uclouvain.be
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Zweryfikowany adres z laas.fr
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityZweryfikowany adres z cs.biu.ac.il
- Stavros TripakisAssociate Professor, Northeastern UniversityZweryfikowany adres z northeastern.edu
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéZweryfikowany adres z irif.fr
- Natarajan ShankarSRI International Computer Science LaboratoryZweryfikowany adres z csl.sri.com
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftZweryfikowany adres z csl.sri.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
- Andreas GriesmayerImperial College LondonZweryfikowany adres z arm.com
- Grigore RosuUniversity of Illinois at Urbana ChampaignZweryfikowany adres z illinois.edu
- Amedeo CestaCNR -- National Research Council of Italy, ISTCZweryfikowany adres z istc.cnr.it
- Barbara JobstmannScientist at EPFLZweryfikowany adres z epfl.ch
- Thomas HenzingerIST AustriaZweryfikowany adres z ist.ac.at
- matthew hennessyProfessor of Computer ScienceZweryfikowany adres z cs.tcd.ie
- Moshe Y. VardiRice UniversityZweryfikowany adres z cs.rice.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
Obserwuj
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Zweryfikowany adres z univ-grenoble-alpes.fr