Založit si vlastní profil
Veřejný přístup
Zobrazit všechny5 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Vincent GramoliUniversity of Sydney and EPFLE-mailová adresa ověřena na: sydney.edu.au
- Josef WidderInformal SystemsE-mailová adresa ověřena na: informal.systems
- Marijana LazićPostdoc, TU MünchenE-mailová adresa ověřena na: in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherE-mailová adresa ověřena na: konnov.phd
- Asaf CidonColumbia UniversityE-mailová adresa ověřena na: columbia.edu
- Mathias LécuyerUniversity of British ColumbiaE-mailová adresa ověřena na: ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityE-mailová adresa ověřena na: columbia.edu
- Francis BachInria - Ecole Normale SupérieureE-mailová adresa ověřena na: inria.fr
- Théo RyffelEcole Normale SupérieureE-mailová adresa ověřena na: ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaE-mailová adresa ověřena na: ens.fr
- Rob van GlabbeekUNSWE-mailová adresa ověřena na: cs.stanford.edu
- Mingen PanColumbia UniversityE-mailová adresa ověřena na: columbia.edu
- Kelly KostopoulouColumbia UniversityE-mailová adresa ověřena na: cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityE-mailová adresa ověřena na: cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganE-mailová adresa ověřena na: umich.edu
- Huseyin A. InanMicrosoft Research AIE-mailová adresa ověřena na: microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondE-mailová adresa ověřena na: cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftE-mailová adresa ověřena na: microsoft.com