Obtenir mon propre profil
Citée par
Toutes | Depuis 2020 | |
---|---|---|
Citations | 2268 | 932 |
indice h | 25 | 15 |
indice i10 | 36 | 25 |
Accès public
Tout afficher10 articles
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéAdresse e-mail validée de irif.fr
Rupak MajumdarMPI for Software SystemsAdresse e-mail validée de mpi-sws.org
Zvonimir RakamaricAmazon Web Services (AWS)Adresse e-mail validée de amazon.com
Jad HamzaLARA, EPFLAdresse e-mail validée de epfl.ch
Shaz QadeerMicrosoftAdresse e-mail validée de microsoft.com
Akash LalMicrosoft Research, IndiaAdresse e-mail validée de microsoft.com
Gabriela (Cretu) CiocarlieAssociate Professor at The University of Texas at San AntonioAdresse e-mail validée de cs.columbia.edu
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECAdresse e-mail validée de fc.up.pt
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoAdresse e-mail validée de di.uminho.pt
François DupressoirAssociate Professor in Cryptography, Department of Computer Science, University of BristolAdresse e-mail validée de bristol.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyAdresse e-mail validée de cs.berkeley.edu
Shaobo HeAmazon Web ServicesAdresse e-mail validée de cs.utah.edu
Eddie KohlerMicrosoft Professor of Computer Science, Harvard UniversityAdresse e-mail validée de seas.harvard.edu
Corina PasareanuCMU/NASA AmesAdresse e-mail validée de nasa.gov
Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyAdresse e-mail validée de unimol.it
SUHA ORHUN MutluergilSabanci UniversityAdresse e-mail validée de ku.edu.tr
Mohamed Faouzi AtigUppsala UniversityAdresse e-mail validée de it.uu.se
Arvind HaranSoftware Engineer, IBMAdresse e-mail validée de us.ibm.com
Roman ManevichArmAdresse e-mail validée de arm.com
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSAdresse e-mail validée de amazon.com