Mijn eigen profiel maken
Openbare toegang
Alles bekijken5 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Vincent GramoliUniversity of Sydney and EPFLGeverifieerd e-mailadres voor sydney.edu.au
- Josef WidderInformal SystemsGeverifieerd e-mailadres voor informal.systems
- Marijana LazićPostdoc, TU MünchenGeverifieerd e-mailadres voor in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherGeverifieerd e-mailadres voor konnov.phd
- Asaf CidonColumbia UniversityGeverifieerd e-mailadres voor columbia.edu
- Mathias LécuyerUniversity of British ColumbiaGeverifieerd e-mailadres voor ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityGeverifieerd e-mailadres voor columbia.edu
- Francis BachInria - Ecole Normale SupérieureGeverifieerd e-mailadres voor inria.fr
- Théo RyffelEcole Normale SupérieureGeverifieerd e-mailadres voor ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaGeverifieerd e-mailadres voor ens.fr
- Rob van GlabbeekUNSWGeverifieerd e-mailadres voor cs.stanford.edu
- Mingen PanColumbia UniversityGeverifieerd e-mailadres voor columbia.edu
- Kelly KostopoulouColumbia UniversityGeverifieerd e-mailadres voor cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityGeverifieerd e-mailadres voor cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganGeverifieerd e-mailadres voor umich.edu
- Huseyin A. InanMicrosoft Research AIGeverifieerd e-mailadres voor microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondGeverifieerd e-mailadres voor cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftGeverifieerd e-mailadres voor microsoft.com