Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 6546 | 1820 |
h-index | 40 | 19 |
i10-index | 107 | 50 |
Acces public
Afișați-le pe toate34 de articole
8 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- axel legayUCLouvainAdresă de e-mail confirmată pe uclouvain.be
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Adresă de e-mail confirmată pe laas.fr
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityAdresă de e-mail confirmată pe cs.biu.ac.il
- Stavros TripakisAssociate Professor, Northeastern UniversityAdresă de e-mail confirmată pe northeastern.edu
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéAdresă de e-mail confirmată pe irif.fr
- Natarajan ShankarSRI International Computer Science LaboratoryAdresă de e-mail confirmată pe csl.sri.com
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftAdresă de e-mail confirmată pe csl.sri.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
- Andreas GriesmayerImperial College LondonAdresă de e-mail confirmată pe arm.com
- Grigore RosuUniversity of Illinois at Urbana ChampaignAdresă de e-mail confirmată pe illinois.edu
- Amedeo CestaCNR -- National Research Council of Italy, ISTCAdresă de e-mail confirmată pe istc.cnr.it
- Barbara JobstmannScientist at EPFLAdresă de e-mail confirmată pe epfl.ch
- Thomas HenzingerIST AustriaAdresă de e-mail confirmată pe ist.ac.at
- matthew hennessyProfessor of Computer ScienceAdresă de e-mail confirmată pe cs.tcd.ie
- Moshe Y. VardiRice UniversityAdresă de e-mail confirmată pe cs.rice.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghAdresă de e-mail confirmată pe inf.ed.ac.uk
Urmăriți
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Adresă de e-mail confirmată pe univ-grenoble-alpes.fr