Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 182 | 182 |
h-indeks | 6 | 6 |
i10-indeks | 4 | 4 |
Dostęp publiczny
Wyświetl wszystko5 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Vincent GramoliUniversity of Sydney and EPFLZweryfikowany adres z sydney.edu.au
- Josef WidderInformal SystemsZweryfikowany adres z informal.systems
- Marijana LazićPostdoc, TU MünchenZweryfikowany adres z in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherZweryfikowany adres z konnov.phd
- Asaf CidonColumbia UniversityZweryfikowany adres z columbia.edu
- Mathias LécuyerUniversity of British ColumbiaZweryfikowany adres z ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityZweryfikowany adres z columbia.edu
- Francis BachInria - Ecole Normale SupérieureZweryfikowany adres z inria.fr
- Théo RyffelEcole Normale SupérieureZweryfikowany adres z ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaZweryfikowany adres z ens.fr
- Rob van GlabbeekUNSWZweryfikowany adres z cs.stanford.edu
- Mingen PanColumbia UniversityZweryfikowany adres z columbia.edu
- Kelly KostopoulouColumbia UniversityZweryfikowany adres z cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityZweryfikowany adres z cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganZweryfikowany adres z umich.edu
- Huseyin A. InanMicrosoft Research AIZweryfikowany adres z microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondZweryfikowany adres z cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftZweryfikowany adres z microsoft.com