Crea il mio profilo
Accesso pubblico
Visualizza tutto5 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Vincent GramoliUniversity of Sydney and EPFLEmail verificata su sydney.edu.au
- Josef WidderInformal SystemsEmail verificata su informal.systems
- Marijana LazićPostdoc, TU MünchenEmail verificata su in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherEmail verificata su konnov.phd
- Asaf CidonColumbia UniversityEmail verificata su columbia.edu
- Mathias LécuyerUniversity of British ColumbiaEmail verificata su ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityEmail verificata su columbia.edu
- Francis BachInria - Ecole Normale SupérieureEmail verificata su inria.fr
- Théo RyffelEcole Normale SupérieureEmail verificata su ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaEmail verificata su ens.fr
- Rob van GlabbeekUNSWEmail verificata su cs.stanford.edu
- Mingen PanColumbia UniversityEmail verificata su columbia.edu
- Kelly KostopoulouColumbia UniversityEmail verificata su cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityEmail verificata su cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganEmail verificata su umich.edu
- Huseyin A. InanMicrosoft Research AIEmail verificata su microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondEmail verificata su cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftEmail verificata su microsoft.com