Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1554 | 843 |
h-indeks | 23 | 16 |
i10-indeks | 30 | 21 |
Dostęp publiczny
Wyświetl wszystko11 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Nick BentonEngineering Manager, FacebookZweryfikowany adres z fb.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusZweryfikowany adres z mpi-sws.org
- Jana DunfieldQueen's UniversityZweryfikowany adres z queensu.ca
- Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
- Lars BirkedalDept. of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Peter SewellComputer Laboratory, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Aaron TuronMPI-SWSZweryfikowany adres z mpi-sws.org
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Zweryfikowany adres z mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteZweryfikowany adres z imdea.org
- Christopher PulteUniversity of CambridgeZweryfikowany adres z cam.ac.uk
- Beta ZilianiFAMAF, UNC and Manas.TechZweryfikowany adres z mpi-sws.org
- Ryan NewtonMIT, Indiana University, FacebookZweryfikowany adres z indiana.edu
- Shaked FlurCambridge UniversityZweryfikowany adres z cl.cam.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghZweryfikowany adres z ed.ac.uk
- Robert NortonUniversity of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Alastair ReidSenior Principal EngineerZweryfikowany adres z intel.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghZweryfikowany adres z ed.ac.uk
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityZweryfikowany adres z itu.dk
- Lindsey KuperUniversity of California, Santa CruzZweryfikowany adres z ucsc.edu
- Jan HoffmannCarnegie Mellon UniversityZweryfikowany adres z cmu.edu