Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 1564 | 853 |
h-індекс | 23 | 16 |
i10-індекс | 30 | 21 |
Доступні для всіх
Переглянути всі11 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Nick BentonEngineering Manager, FacebookПідтверджена електронна адреса в fb.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusПідтверджена електронна адреса в mpi-sws.org
- Jana DunfieldQueen's UniversityПідтверджена електронна адреса в queensu.ca
- Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityПідтверджена електронна адреса в cs.cmu.edu
- Peter SewellComputer Laboratory, University of CambridgeПідтверджена електронна адреса в cl.cam.ac.uk
- Lars BirkedalDept. of Computer Science, Aarhus UniversityПідтверджена електронна адреса в cs.au.dk
- Aaron TuronMPI-SWSПідтверджена електронна адреса в mpi-sws.org
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Підтверджена електронна адреса в mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteПідтверджена електронна адреса в imdea.org
- Christopher PulteUniversity of CambridgeПідтверджена електронна адреса в cam.ac.uk
- Beta ZilianiFAMAF, UNC and Manas.TechПідтверджена електронна адреса в mpi-sws.org
- Ryan NewtonMIT, Indiana University, FacebookПідтверджена електронна адреса в indiana.edu
- Shaked FlurCambridge UniversityПідтверджена електронна адреса в cl.cam.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghПідтверджена електронна адреса в ed.ac.uk
- Robert NortonUniversity of CambridgeПідтверджена електронна адреса в cl.cam.ac.uk
- Alastair ReidSenior Principal EngineerПідтверджена електронна адреса в intel.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghПідтверджена електронна адреса в ed.ac.uk
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityПідтверджена електронна адреса в itu.dk
- Lindsey KuperUniversity of California, Santa CruzПідтверджена електронна адреса в ucsc.edu
- Jan HoffmannCarnegie Mellon UniversityПідтверджена електронна адреса в cmu.edu
Підписатись
Neelakantan R. Krishnaswami
Підтверджена електронна адреса в cl.cam.ac.uk - Домашня сторінка