Skapa en profil
Offentlig åtkomst
Visa alla5 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Vincent GramoliUniversity of Sydney and EPFLVerifierad e-postadress på sydney.edu.au
- Josef WidderInformal SystemsVerifierad e-postadress på informal.systems
- Marijana LazićPostdoc, TU MünchenVerifierad e-postadress på in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherVerifierad e-postadress på konnov.phd
- Asaf CidonColumbia UniversityVerifierad e-postadress på columbia.edu
- Mathias LécuyerUniversity of British ColumbiaVerifierad e-postadress på ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityVerifierad e-postadress på columbia.edu
- Francis BachInria - Ecole Normale SupérieureVerifierad e-postadress på inria.fr
- Théo RyffelEcole Normale SupérieureVerifierad e-postadress på ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaVerifierad e-postadress på ens.fr
- Rob van GlabbeekUNSWVerifierad e-postadress på cs.stanford.edu
- Mingen PanColumbia UniversityVerifierad e-postadress på columbia.edu
- Kelly KostopoulouColumbia UniversityVerifierad e-postadress på cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityVerifierad e-postadress på cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganVerifierad e-postadress på umich.edu
- Huseyin A. InanMicrosoft Research AIVerifierad e-postadress på microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondVerifierad e-postadress på cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftVerifierad e-postadress på microsoft.com