Crea el meu perfil
Accés públic
Mostra-ho tot5 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Vincent GramoliUniversity of Sydney and EPFLCorreu electrònic verificat a sydney.edu.au
- Josef WidderInformal SystemsCorreu electrònic verificat a informal.systems
- Marijana LazićPostdoc, TU MünchenCorreu electrònic verificat a in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherCorreu electrònic verificat a konnov.phd
- Asaf CidonColumbia UniversityCorreu electrònic verificat a columbia.edu
- Mathias LécuyerUniversity of British ColumbiaCorreu electrònic verificat a ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityCorreu electrònic verificat a columbia.edu
- Francis BachInria - Ecole Normale SupérieureCorreu electrònic verificat a inria.fr
- Théo RyffelEcole Normale SupérieureCorreu electrònic verificat a ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaCorreu electrònic verificat a ens.fr
- Rob van GlabbeekUNSWCorreu electrònic verificat a cs.stanford.edu
- Mingen PanColumbia UniversityCorreu electrònic verificat a columbia.edu
- Kelly KostopoulouColumbia UniversityCorreu electrònic verificat a cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityCorreu electrònic verificat a cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganCorreu electrònic verificat a umich.edu
- Huseyin A. InanMicrosoft Research AICorreu electrònic verificat a microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondCorreu electrònic verificat a cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftCorreu electrònic verificat a microsoft.com