Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 182 | 182 |
indice h | 6 | 6 |
indice i10 | 4 | 4 |
Accès public
Tout afficher5 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Vincent GramoliUniversity of Sydney and EPFLAdresse e-mail validée de sydney.edu.au
- Josef WidderInformal SystemsAdresse e-mail validée de informal.systems
- Marijana LazićPostdoc, TU MünchenAdresse e-mail validée de in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherAdresse e-mail validée de konnov.phd
- Asaf CidonColumbia UniversityAdresse e-mail validée de columbia.edu
- Mathias LécuyerUniversity of British ColumbiaAdresse e-mail validée de ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityAdresse e-mail validée de columbia.edu
- Francis BachInria - Ecole Normale SupérieureAdresse e-mail validée de inria.fr
- Théo RyffelEcole Normale SupérieureAdresse e-mail validée de ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaAdresse e-mail validée de ens.fr
- Rob van GlabbeekUNSWAdresse e-mail validée de cs.stanford.edu
- Mingen PanColumbia UniversityAdresse e-mail validée de columbia.edu
- Kelly KostopoulouColumbia UniversityAdresse e-mail validée de cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityAdresse e-mail validée de cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganAdresse e-mail validée de umich.edu
- Huseyin A. InanMicrosoft Research AIAdresse e-mail validée de microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondAdresse e-mail validée de cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftAdresse e-mail validée de microsoft.com