Creați-vă propriul profil
Citat de
| Toate | Din 2020 | |
|---|---|---|
| Referințe bibliografice | 254 | 253 |
| h-index | 7 | 7 |
| i10-index | 6 | 6 |
Acces public
Afișați-le pe toate6 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
Vincent GramoliUniversity of Sydney and EPFLAdresă de e-mail confirmată pe sydney.edu.au- Asaf CidonColumbia UniversityAdresă de e-mail confirmată pe columbia.edu
- Mathias LécuyerUniversity of British ColumbiaAdresă de e-mail confirmată pe ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityAdresă de e-mail confirmată pe columbia.edu
- Kelly KostopoulouColumbia UniversityAdresă de e-mail confirmată pe cs.columbia.edu
- Francis BachInria - Ecole Normale SupérieureAdresă de e-mail confirmată pe inria.fr
- Théo RyffelEcole Normale SupérieureAdresă de e-mail confirmată pe ens.fr
- David PointchevalChief Scientific Officer at CosmianAdresă de e-mail confirmată pe ens.fr
- Rob van GlabbeekUNSWAdresă de e-mail confirmată pe cs.stanford.edu
- Josef WidderInformal SystemsAdresă de e-mail confirmată pe informal.systems
- Marijana LazićPostdoc, TU MünchenAdresă de e-mail confirmată pe in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherAdresă de e-mail confirmată pe konnov.phd
- Mingen PanColumbia UniversityAdresă de e-mail confirmată pe columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityAdresă de e-mail confirmată pe cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganAdresă de e-mail confirmată pe umich.edu
- Benjamin M CaseResearch Scientist, MetaAdresă de e-mail confirmată pe meta.com
- Janardhan KulkarniMicrosoft Research, RedmondAdresă de e-mail confirmată pe cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftAdresă de e-mail confirmată pe microsoft.com
- Huseyin A. InanMicrosoft Research AIAdresă de e-mail confirmată pe microsoft.com
