Obter 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 todos5 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Vincent GramoliUniversity of Sydney and EPFLE-mail confirmado em sydney.edu.au
- Josef WidderInformal SystemsE-mail confirmado em informal.systems
- Marijana LazićPostdoc, TU MünchenE-mail confirmado em in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherE-mail confirmado em konnov.phd
- Asaf CidonColumbia UniversityE-mail confirmado em columbia.edu
- Mathias LécuyerUniversity of British ColumbiaE-mail confirmado em ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityE-mail confirmado em columbia.edu
- Francis BachInria - Ecole Normale SupérieureE-mail confirmado em inria.fr
- Théo RyffelEcole Normale SupérieureE-mail confirmado em ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaE-mail confirmado em ens.fr
- Rob van GlabbeekUNSWE-mail confirmado em cs.stanford.edu
- Mingen PanColumbia UniversityE-mail confirmado em columbia.edu
- Kelly KostopoulouColumbia UniversityE-mail confirmado em cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityE-mail confirmado em cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganE-mail confirmado em umich.edu
- Huseyin A. InanMicrosoft Research AIE-mail confirmado em microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondE-mail confirmado em cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftE-mail confirmado em microsoft.com