Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2393 | 1739 |
h-indeks | 14 | 13 |
i10-indeks | 14 | 14 |
Dostęp publiczny
Wyświetl wszystko2 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Cédric FournetMicrosoft ResearchZweryfikowany adres z microsoft.com
- Karthikeyan BhargavanINRIAZweryfikowany adres z inria.fr
- Santiago Zanella-BéguelinMicrosoft ResearchZweryfikowany adres z microsoft.com
- Antoine Delignat-LavaudMicrosoft ResearchZweryfikowany adres z microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPZweryfikowany adres z mpi-sp.org
- Jonathan ProtzenkoMicrosoft ResearchZweryfikowany adres z ens-lyon.org
- Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtZweryfikowany adres z inria.fr
- Pierre-Yves StrubResearch Scientist, PQShieldZweryfikowany adres z strub.nu
- Markulf KohlweissUniveristy of EdinburghZweryfikowany adres z ed.ac.uk
- Georges GonthierPrincipal Researcher, Microsoft ResearchZweryfikowany adres z microsoft.com
- Gavin BiermanOracleZweryfikowany adres z oracle.com
- Danel AhmanInstitute of Computer Science, University of TartuZweryfikowany adres z ut.ee
- Avik ChaudhuriSoftware Engineer, MetaZweryfikowany adres z meta.com
- Bryan ParnoCarnegie Mellon UniversityZweryfikowany adres z cmu.edu
- Matteo MaffeiFull Professor at TU WienZweryfikowany adres z tuwien.ac.at
- Samin IshtiaqRiverlaneZweryfikowany adres z riverlane.com
- Ashay RaneGraduate Research Assistant, The University of Texas at AustinZweryfikowany adres z utexas.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
- Piotr MardzielindependentZweryfikowany adres z cmu.edu
- Rob JohnsonVMware ResearchZweryfikowany adres z vmware.com
Obserwuj