내 프로필 만들기
공개 액세스
모두 보기자료 2개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Cédric FournetMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Karthikeyan BhargavanINRIAinria.fr의 이메일 확인됨
- Santiago Zanella-BéguelinMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Antoine Delignat-LavaudMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Cătălin HrițcuTenured Faculty at MPI-SPmpi-sp.org의 이메일 확인됨
- Jonathan ProtzenkoMicrosoft Researchens-lyon.org의 이메일 확인됨
- Jean Karim ZinzindohouéPhD Student at INRIA Rocquencourtinria.fr의 이메일 확인됨
- Pierre-Yves StrubResearch Scientist, PQShieldstrub.nu의 이메일 확인됨
- Markulf KohlweissUniveristy of Edinburghed.ac.uk의 이메일 확인됨
- Georges GonthierPrincipal Researcher, Microsoft Researchmicrosoft.com의 이메일 확인됨
- Gavin BiermanOracleoracle.com의 이메일 확인됨
- Danel AhmanInstitute of Computer Science, University of Tartuut.ee의 이메일 확인됨
- Avik ChaudhuriSoftware Engineer, Metameta.com의 이메일 확인됨
- Bryan ParnoCarnegie Mellon Universitycmu.edu의 이메일 확인됨
- Matteo MaffeiFull Professor at TU Wientuwien.ac.at의 이메일 확인됨
- Samin IshtiaqRiverlaneriverlane.com의 이메일 확인됨
- Ashay RaneGraduate Research Assistant, The University of Texas at Austinutexas.edu의 이메일 확인됨
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburghinf.ed.ac.uk의 이메일 확인됨
- Piotr Mardzielindependentcmu.edu의 이메일 확인됨
- Rob JohnsonVMware Researchvmware.com의 이메일 확인됨