Skaff deg en Google Scholar-profil
Offentlig tilgang
Vis alle5 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Vincent GramoliUniversity of Sydney and EPFLVerifisert e-postadresse på sydney.edu.au
- Josef WidderInformal SystemsVerifisert e-postadresse på informal.systems
- Marijana LazićPostdoc, TU MünchenVerifisert e-postadresse på in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherVerifisert e-postadresse på konnov.phd
- Asaf CidonColumbia UniversityVerifisert e-postadresse på columbia.edu
- Mathias LécuyerUniversity of British ColumbiaVerifisert e-postadresse på ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityVerifisert e-postadresse på columbia.edu
- Francis BachInria - Ecole Normale SupérieureVerifisert e-postadresse på inria.fr
- Théo RyffelEcole Normale SupérieureVerifisert e-postadresse på ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaVerifisert e-postadresse på ens.fr
- Rob van GlabbeekUNSWVerifisert e-postadresse på cs.stanford.edu
- Mingen PanColumbia UniversityVerifisert e-postadresse på columbia.edu
- Kelly KostopoulouColumbia UniversityVerifisert e-postadresse på cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityVerifisert e-postadresse på cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganVerifisert e-postadresse på umich.edu
- Huseyin A. InanMicrosoft Research AIVerifisert e-postadresse på microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondVerifisert e-postadresse på cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftVerifisert e-postadresse på microsoft.com