Izradite svoj profil
Javni pristup
Prikaži sve5 članaka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Vincent GramoliUniversity of Sydney and EPFLPotvrđena adresa e-pošte na sydney.edu.au
- Josef WidderInformal SystemsPotvrđena adresa e-pošte na informal.systems
- Marijana LazićPostdoc, TU MünchenPotvrđena adresa e-pošte na in.tum.de
- Igor KonnovIndependent Security and Formal Methods ResearcherPotvrđena adresa e-pošte na konnov.phd
- Asaf CidonColumbia UniversityPotvrđena adresa e-pošte na columbia.edu
- Mathias LécuyerUniversity of British ColumbiaPotvrđena adresa e-pošte na ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityPotvrđena adresa e-pošte na columbia.edu
- Francis BachInria - Ecole Normale SupérieurePotvrđena adresa e-pošte na inria.fr
- Théo RyffelEcole Normale SupérieurePotvrđena adresa e-pošte na ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaPotvrđena adresa e-pošte na ens.fr
- Rob van GlabbeekUNSWPotvrđena adresa e-pošte na cs.stanford.edu
- Mingen PanColumbia UniversityPotvrđena adresa e-pošte na columbia.edu
- Kelly KostopoulouColumbia UniversityPotvrđena adresa e-pošte na cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityPotvrđena adresa e-pošte na cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganPotvrđena adresa e-pošte na umich.edu
- Huseyin A. InanMicrosoft Research AIPotvrđena adresa e-pošte na microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondPotvrđena adresa e-pošte na cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftPotvrđena adresa e-pošte na microsoft.com