내 프로필 만들기
공개 액세스
모두 보기자료 5개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Vincent GramoliUniversity of Sydney and EPFLsydney.edu.au의 이메일 확인됨
- Josef WidderInformal Systemsinformal.systems의 이메일 확인됨
- Marijana LazićPostdoc, TU Münchenin.tum.de의 이메일 확인됨
- Igor KonnovIndependent Security and Formal Methods Researcherkonnov.phd의 이메일 확인됨
- Asaf CidonColumbia Universitycolumbia.edu의 이메일 확인됨
- Mathias LécuyerUniversity of British Columbiaubc.ca의 이메일 확인됨
- Roxana GeambasuAssistant Professor of Computer Science, Columbia Universitycolumbia.edu의 이메일 확인됨
- Francis BachInria - Ecole Normale Supérieureinria.fr의 이메일 확인됨
- Théo RyffelEcole Normale Supérieureens.fr의 이메일 확인됨
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, Inriaens.fr의 이메일 확인됨
- Rob van GlabbeekUNSWcs.stanford.edu의 이메일 확인됨
- Mingen PanColumbia Universitycolumbia.edu의 이메일 확인됨
- Kelly KostopoulouColumbia Universitycs.columbia.edu의 이메일 확인됨
- Junfeng YangAssociate Professor of Computer Science, Columbia Universitycs.columbia.edu의 이메일 확인됨
- Mosharaf ChowdhuryUniversity of Michiganumich.edu의 이메일 확인됨
- Huseyin A. InanMicrosoft Research AImicrosoft.com의 이메일 확인됨
- Janardhan KulkarniMicrosoft Research, Redmondcs.washington.edu의 이메일 확인됨
- Robert SimSr. Principal Research Manager, Microsoftmicrosoft.com의 이메일 확인됨