Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 182 | 182 |
h-index | 6 | 6 |
i10-index | 4 | 4 |
Acces public
Afișați-le pe toate5 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
- 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
- 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
- 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 PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaAdresă de e-mail confirmată pe ens.fr
- Rob van GlabbeekUNSWAdresă de e-mail confirmată pe cs.stanford.edu
- Mingen PanColumbia UniversityAdresă de e-mail confirmată pe columbia.edu
- Kelly KostopoulouColumbia UniversityAdresă de e-mail confirmată pe cs.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
- Huseyin A. InanMicrosoft Research AIAdresă de e-mail confirmată pe microsoft.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