Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 184 | 184 |
Índice h | 6 | 6 |
Índice i10 | 4 | 4 |
Acesso público
Ver tudo5 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Vincent GramoliUniversity of Sydney and EPFLEmail confirmado em sydney.edu.au
- Josef WidderInformal SystemsEmail confirmado em informal.systems
- Marijana LazićPostdoc, TU MünchenEmail confirmado em in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherEmail confirmado em konnov.phd
- Asaf CidonColumbia UniversityEmail confirmado em columbia.edu
- Mathias LécuyerUniversity of British ColumbiaEmail confirmado em ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityEmail confirmado em columbia.edu
- Francis BachInria - Ecole Normale SupérieureEmail confirmado em inria.fr
- Théo RyffelEcole Normale SupérieureEmail confirmado em ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaEmail confirmado em ens.fr
- Rob van GlabbeekUNSWEmail confirmado em cs.stanford.edu
- Mingen PanColumbia UniversityEmail confirmado em columbia.edu
- Kelly KostopoulouColumbia UniversityEmail confirmado em cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityEmail confirmado em cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganEmail confirmado em umich.edu
- Huseyin A. InanMicrosoft Research AIEmail confirmado em microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondEmail confirmado em cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftEmail confirmado em microsoft.com