Crear mi propio perfil
Acceso público
Ver todo5 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Vincent GramoliUniversity of Sydney and EPFLDirección de correo verificada de sydney.edu.au
- Josef WidderInformal SystemsDirección de correo verificada de informal.systems
- Marijana LazićPostdoc, TU MünchenDirección de correo verificada de in.tum.de
- Asaf CidonColumbia UniversityDirección de correo verificada de columbia.edu
- Mathias LécuyerUniversity of British ColumbiaDirección de correo verificada de ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityDirección de correo verificada de columbia.edu
- Igor KonnovIndependent Security and Formal Methods ResearcherDirección de correo verificada de konnov.phd
- Francis BachInria - Ecole Normale SupérieureDirección de correo verificada de inria.fr
- Théo RyffelEcole Normale SupérieureDirección de correo verificada de ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaDirección de correo verificada de ens.fr
- Rob van GlabbeekUNSWDirección de correo verificada de cs.stanford.edu
- Mingen PanColumbia UniversityDirección de correo verificada de columbia.edu
- Kelly KostopoulouColumbia UniversityDirección de correo verificada de cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityDirección de correo verificada de cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganDirección de correo verificada de umich.edu
- Huseyin A. InanMicrosoft Research AIDirección de correo verificada de microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondDirección de correo verificada de cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftDirección de correo verificada de microsoft.com