Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 182 | 182 |
h-индекс | 6 | 6 |
i10-индекс | 4 | 4 |
Публичен достъп
Преглед на всички5 статии
0 статии
налични
неналични
Въз основа на изисквания при финансирането
Съавтори
- Vincent GramoliUniversity of Sydney and EPFLПотвърден имейл адрес: sydney.edu.au
- Josef WidderInformal SystemsПотвърден имейл адрес: informal.systems
- Marijana LazićPostdoc, TU MünchenПотвърден имейл адрес: in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherПотвърден имейл адрес: konnov.phd
- Asaf CidonColumbia UniversityПотвърден имейл адрес: columbia.edu
- Mathias LécuyerUniversity of British ColumbiaПотвърден имейл адрес: ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityПотвърден имейл адрес: columbia.edu
- Francis BachInria - Ecole Normale SupérieureПотвърден имейл адрес: inria.fr
- Théo RyffelEcole Normale SupérieureПотвърден имейл адрес: ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaПотвърден имейл адрес: ens.fr
- Rob van GlabbeekUNSWПотвърден имейл адрес: cs.stanford.edu
- Mingen PanColumbia UniversityПотвърден имейл адрес: columbia.edu
- Kelly KostopoulouColumbia UniversityПотвърден имейл адрес: cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityПотвърден имейл адрес: cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganПотвърден имейл адрес: umich.edu
- Huseyin A. InanMicrosoft Research AIПотвърден имейл адрес: microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondПотвърден имейл адрес: cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftПотвърден имейл адрес: microsoft.com